RedPRL

Pinned Loading

1. cooltt cooltt Public

   😎TT

   OCaml 246 14

2. algaeff algaeff Public

   🦠 Reusable components based on algebraic effects

   OCaml 52 1

3. redtt redtt Public

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

   OCaml 220 12

4. algaett algaett Public

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

   OCaml 38

This organization has no public members. You must be a member to see who’s a part of this organization.