Pinned Repositories
assert-plugin
A GHC plugin for rich, switchable assertions
cosa
A thing about Coq-verified Shape Analysis
dissection-of-l
A dissection of L: article about focalised sequent calculus and dependent types
finset
A Coq library for extensional finite sets and comprehension
fulltrees
Balancing lists: a proof pearl
haskell-ann
Haskell library for nformative annotations which don't change equality
haskell-benign
A library for benign effects in Haskell
ocaml-hollow-heap
An implementation of hollow heaps in Ocaml
peppermint-prover
Experimental proof assistant (and architecture) for dependent linear logic
randomizer-engine
generic, declarative randomizer engine which draws shuffles uniformely
aspiwack's Repositories
aspiwack/peppermint-prover
Experimental proof assistant (and architecture) for dependent linear logic
aspiwack/haskell-benign
A library for benign effects in Haskell
aspiwack/randomizer-engine
generic, declarative randomizer engine which draws shuffles uniformely
aspiwack/haskell-ann
Haskell library for nformative annotations which don't change equality
aspiwack/dissection-of-l
A dissection of L: article about focalised sequent calculus and dependent types
aspiwack/cadence-of-hyrule
Cadence of Hyrule technical sheets
aspiwack/combining-logics
aspiwack/information-stream
aspiwack/notebooks
A bunch of notebooks on stuff
aspiwack/counterexamples
Counterexamples in Type Systems
aspiwack/doom-modeline
A fancy and fast mode-line inspired by minimalism design.
aspiwack/dotfiles
My home configuration, controled by home-manager
aspiwack/emacs-application-framework
Emacs application framework
aspiwack/emacs-overlay
Bleeding edge emacs overlay [maintainer=@adisbladis]
aspiwack/ephemeral-linear-data
aspiwack/gatsbyjs-notes
Trying gatsbyjs & some of my speedrunning notes customized
aspiwack/ghc-dev-tools
Tools for the ghc developper
aspiwack/hegg
Fast equality saturation in Haskell
aspiwack/hslogger
Logging infrastructure [Haskell]
aspiwack/icfp-captioning
aspiwack/MarXup
Markup language on top of Haskell
aspiwack/obs-livesplit-one
A plugin for OBS Studio that allows adding LiveSplit One as a source.
aspiwack/ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
aspiwack/prometheus-haskell
Haskell client library for exposing prometheus.io metrics.
aspiwack/reflection
Reifies arbitrary Haskell terms into types that can be reflected back into terms
aspiwack/routes
Routes for video games
aspiwack/rules_purescript
PureScript rules for Bazel
aspiwack/stack-templates
Project templates for stack new
aspiwack/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
aspiwack/tldr
📚 Collaborative cheatsheets for console commands