Pinned

1. cooltt cooltt Public

   😎TT

   OCaml 211 15

2. algaeff algaeff Public

   🦠 Reusable components based on algebraic effects

   OCaml 44

3. redtt redtt Public

   "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

   OCaml 203 12

4. algaett algaett Public

   🦠 An experimental elaborator for dependent type theory using effects and handlers

   OCaml 30