Popular repositories

1. malfunction Public

   Malfunctional Programming

   OCaml 317 18

2. counterexamples Public

   Counterexamples in Type Systems

   JavaScript 266 17

3. mlsub Public

   Prototype type inference engine

   OCaml 180 19

4. crowbar Public

   Property fuzzing for OCaml

   OCaml 172 30

5. bf.sed Public

   A brainfuck compiler, written in sed

   152 7

6. ppx_stage Public

   Staged metaprogramming in stock OCaml

   OCaml 142 7