Skip to content
@RedPRL

RedPRL

Uphold Cubical Thought!

Pinned Loading

  1. cooltt Public

    😎TT

    OCaml 230 14

  2. algaeff Public

    🦠 Reusable components based on algebraic effects

    OCaml 51 1

  3. redtt Public

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

    OCaml 210 12

  4. algaett Public

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

    OCaml 37

Repositories

Showing 10 of 27 repositories
View all repositories

People

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