Popular repositories Loading

1. girards-paradox girards-paradox Public

   A "implementation" of Girard's paradox in OCaml

   OCaml 105 2

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

   OCaml with typed algebraic effects

   OCaml 49 4

3. namespaces namespaces Public

   Proposal for namespacing in OCaml

   38 2

4. prof_spacetime prof_spacetime Public

   Prof. Spacetime

   OCaml 28 12

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

   Work on modular implicits

   TeX 23 2

6. shifted-names shifted-names Public

   Coq library for handling names

   Coq 18 2