RedPRL

Results 15 repositories owned by


                                            RedPRL

Stars

Forks

Watchers

🩺 A library for compiler diagnostics

Stars

Forks

Watchers

🔙 Backward lists for OCaml

Stars

Forks

Watchers

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

Stars

Forks

Watchers

A formalization of the theory behind the mugen library

Stars

Forks

Watchers

📚 A library for managing libraries and resolving unit paths