Popular repositories Loading

1. plzoo plzoo Public

   Programming Languages Zoo

   OCaml 1.5k 98

2. homotopy-type-theory-course homotopy-type-theory-course Public

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

   TeX 295 8

3. spartan-type-theory spartan-type-theory Public

   Spartan type theory

   OCaml 265 19

4. marshall marshall Public

   Real number computation software

   OCaml 123 14

5. Homotopy Homotopy Public archive

   Homotopy theory in Coq.

   Verilog 92 8

6. coop coop Public

   A prototype programming language for programming with runners

   OCaml 89 2