Popular repositories

1. plzoo

   Programming Languages Zoo

   OCaml 1k 57

2. homotopy-type-theory-course

   A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

   TeX 215 6

3. spartan-type-theory

   Spartan type theory

   OCaml 179 15

4. marshall

   Real number computation software

   OCaml 99 12

5. Homotopy Archived

   Homotopy theory in Coq.

   Verilog 80 8

6. coop

   A prototype programming language for programming with runners

   OCaml 72 2