GeezerVison is showing github.com — RedPRL
Pinned
Loading
🦠 Reusable components based on algebraic effects
OCaml
55
1
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
OCaml
224
12
🦠 An experimental elaborator for dependent type theory using effects and handlers
OCaml
40
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
Agda
HTML
OCaml
Standard ML
Sort
Showing 10 of 27 repositories
asai
Public
🩺 A library for compiler diagnostics
RedPRL/asai's past year of commit activity
mugen
Public
♾️ A library for universe levels and universe polymorphism
RedPRL/mugen's past year of commit activity
OCaml
44
Apache-2.0
1
1
0
Updated Sep 24, 2026
agda-mugen
Public
A formalization of the theory behind the mugen library
RedPRL/agda-mugen's past year of commit activity
Agda
20
1
4
0
Updated Jul 5, 2026
yuujinchou
Public
👹 A library for hierarchical names and lexical scoping
RedPRL/yuujinchou's past year of commit activity
OCaml
29
Apache-2.0
4
10
2
Updated Jun 19, 2026
bantorra
Public
📚 A library for managing libraries and resolving unit paths
RedPRL/bantorra's past year of commit activity
OCaml
17
Apache-2.0
1
9
0
Updated Jun 19, 2026
algaett
Public
🦠 An experimental elaborator for dependent type theory using effects and handlers
RedPRL/algaett's past year of commit activity
OCaml
40
Apache-2.0
0
8
2
Updated Jun 19, 2026
algaeff
Public
🦠 Reusable components based on algebraic effects
RedPRL/algaeff's past year of commit activity
OCaml
55
Apache-2.0
1
3
2
Updated Jun 19, 2026
RedPRL/ocaml-bwd's past year of commit activity
OCaml
22
Apache-2.0
3
2
3
Updated Jun 19, 2026
kado
Public
🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory
RedPRL/kado's past year of commit activity
RedPRL/cooltt's past year of commit activity
OCaml
251
Apache-2.0
14
28
6
Updated Nov 20, 2025
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.