Popular repositories Loading

1. girards-paradox girards-paradox Public

   A "implementation" of Girard's paradox in OCaml

   OCaml 114 2

2. ocaml-typed-effects ocaml-typed-effects Public

   OCaml with typed algebraic effects

   OCaml 53 4

3. namespaces namespaces Public

   Proposal for namespacing in OCaml

   39 2

4. prof_spacetime prof_spacetime Public

   Prof. Spacetime

   OCaml 33 12

5. implicits-module-system implicits-module-system Public

   Work on modular implicits

   TeX 25 2

6. shifted-names shifted-names Public

   Coq library for handling names

   Coq 19 2