Skip to content
@RedPRL

RedPRL

Uphold Cubical Thought!

Pinned Loading

  1. cooltt cooltt Public

    😎TT

    OCaml 241 14

  2. algaeff algaeff Public

    🦠 Reusable components based on algebraic effects

    OCaml 51 1

  3. redtt redtt Public

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

    OCaml 214 12

  4. algaett algaett Public

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

    OCaml 37

Repositories

Showing 10 of 27 repositories
  • bantorra Public

    📚 A library for managing libraries and resolving unit paths

    RedPRL/bantorra’s past year of commit activity
    OCaml 17 Apache-2.0 0 9 1 Updated Nov 21, 2025
  • mugen Public

    ♾️ A library for universe levels and universe polymorphism

    RedPRL/mugen’s past year of commit activity
    OCaml 36 Apache-2.0 1 1 1 Updated Nov 21, 2025
  • yuujinchou Public

    👹 A library for hierarchical names and lexical scoping

    RedPRL/yuujinchou’s past year of commit activity
    OCaml 26 Apache-2.0 4 10 2 Updated Nov 21, 2025
  • asai Public

    🩺 A library for compiler diagnostics

    RedPRL/asai’s past year of commit activity
    OCaml 52 Apache-2.0 2 23 (1 issue needs help) 3 Updated Nov 21, 2025
  • algaett Public

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

    RedPRL/algaett’s past year of commit activity
    OCaml 37 Apache-2.0 0 8 2 Updated Nov 21, 2025
  • algaeff Public

    🦠 Reusable components based on algebraic effects

    RedPRL/algaeff’s past year of commit activity
    OCaml 51 Apache-2.0 1 3 2 Updated Nov 21, 2025
  • ocaml-bwd Public

    🔙 Backward lists for OCaml

    RedPRL/ocaml-bwd’s past year of commit activity
    OCaml 22 Apache-2.0 3 2 3 Updated Nov 21, 2025
  • kado Public

    🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory

    RedPRL/kado’s past year of commit activity
    OCaml 21 Apache-2.0 1 4 (1 issue needs help) 1 Updated Nov 20, 2025
  • cooltt Public

    😎TT

    RedPRL/cooltt’s past year of commit activity
    OCaml 241 Apache-2.0 14 28 6 Updated Nov 20, 2025
  • redprl.github.io Public

    Souce of RedPRL website

    RedPRL/redprl.github.io’s past year of commit activity
    HTML 0 0 1 0 Updated Jun 5, 2025
View all repositories

People

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