RedPRL
Results
15
repositories owned by
RedPRL
sml-redprl
227
Stars
18
Forks
Watchers
The People's Refinement Logic
redtt
204
Stars
12
Forks
Watchers
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
algaeff
44
Stars
0
Forks
Watchers
🦠 Reusable components based on algebraic effects
algaett
30
Stars
0
Forks
Watchers
🦠 An experimental elaborator for dependent type theory using effects and handlers
kado
19
Stars
1
Forks
Watchers
🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory
mugen
30
Stars
0
Forks
Watchers
♾️ A library for universe levels and universe polymorphism
sml-typed-abts
31
Stars
9
Forks
Watchers
second-order abstract syntax
yuujinchou
24
Stars
1
Forks
Watchers
👹 A library for hierarchical names and lexical scoping