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/finset
A Coq library for extensional finite sets and comprehension
aspiwack/assert-plugin
A GHC plugin for rich, switchable assertions
aspiwack/fulltrees
Balancing lists: a proof pearl
aspiwack/ocaml-hollow-heap
An implementation of hollow heaps in Ocaml
aspiwack/ocaml-heavn
An edn parser and data model in Ocaml
aspiwack/tacengine
My unfinished and unpolished reflection on designing and implementing a tactic engine
aspiwack/topocircuit
aspiwack/axhurkens
aspiwack/num-from
A game of finding numbers with arithmetic expressions? Let me ruin it for you.
aspiwack/realisability
Krivine realisability, explained
aspiwack/acid-state
Add ACID guarantees to any serializable Haskell data structure
aspiwack/attrap
ATtempt To Repair At Point (emacs flycheck extension)
aspiwack/boon
Ergonomic Command Mode for Emacs
aspiwack/ceps
Coq Enhancement Proposals
aspiwack/coq
When I have branches to Coq they appear here. But most of the time, this repository is out of sync.
aspiwack/docker-haskell
Haskell on Docker
aspiwack/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
aspiwack/lens
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens
aspiwack/mSAT
A modular sat/smt solver with proof output.
aspiwack/nixops
NixOps, the NixOS-based cloud deployment tool
aspiwack/nixpkgs
Nix Packages collection
aspiwack/Notes-for-Rapport-de-Stage
Repertoire of the infomation I need for my rapport
aspiwack/nunchaku-coq
Coq plugin for using Nunchaku from Coq
aspiwack/opam2nix-packages
Packages generated by opam2nix
aspiwack/ounit
aspiwack/patat
Terminal-based presentations using Pandoc
aspiwack/quickcheck
Automatic testing of Haskell programs.
aspiwack/ty
dynamic representation of types (draft)
aspiwack/weechat.el
Chat via weechat's relay protocol in Emacs
aspiwack/zfoh.ch
Our homepage