Popular repositoriesLoading

1. counterexamplescounterexamplesPublic

   Counterexamples in Type Systems

   JavaScript 409 26

2. malfunctionmalfunctionPublic

   Malfunctional Programming

   OCaml 352 22

3. mlsubmlsubPublic

   Prototype type inference engine

   OCaml 204 21

4. crowbarcrowbarPublic

   Property fuzzing for OCaml

   OCaml 198 29

5. bf.sedbf.sedPublic

   A brainfuck compiler, written in sed

   160 4

6. ppx_stageppx_stagePublic

   Staged metaprogramming in stock OCaml

   OCaml 155 10