Popular repositories Loading

1. peppermint-prover peppermint-prover Public

   Experimental proof assistant (and architecture) for dependent linear logic

   Haskell 47 3

2. haskell-benign haskell-benign Public

   A library for benign effects in Haskell

   Haskell 20

3. finset finset Public

   A Coq library for extensional finite sets and comprehension

   Coq 8 1

4. assert-plugin assert-plugin Public

   A GHC plugin for rich, switchable assertions

   Haskell 7

5. fulltrees fulltrees Public

   Balancing lists: a proof pearl

   TeX 6

6. randomizer-engine randomizer-engine Public

   generic, declarative randomizer engine which draws shuffles uniformely

   OCaml 6