Popular repositories Loading

1. counterexamples counterexamples Public

   Counterexamples in Type Systems

   JavaScript 374 24

2. malfunction malfunction Public

   Malfunctional Programming

   OCaml 341 19

3. mlsub mlsub Public

   Prototype type inference engine

   OCaml 197 19

4. crowbar crowbar Public

   Property fuzzing for OCaml

   OCaml 186 27

5. bf.sed bf.sed Public

   A brainfuck compiler, written in sed

   158 5

6. ppx_stage ppx_stage Public

   Staged metaprogramming in stock OCaml

   OCaml 150 7