RedPRL

Results 15 repositories owned by RedPRL

asai

34
Stars
1
Forks
Watchers

🩺 A library for compiler diagnostics

ocaml-bwd

19
Stars
2
Forks
Watchers

🔙 Backward lists for OCaml

sml-dependent-lcf

16
Stars
1
Forks
Watchers

A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!

agda-mugen

15
Stars
1
Forks
Watchers

A formalization of the theory behind the mugen library

bantorra

17
Stars
0
Forks
Watchers

📚 A library for managing libraries and resolving unit paths