RedPRL's repositories
sml-redprl
The People's Refinement Logic
sml-typed-abts
second-order abstract syntax
yuujinchou
👹 A library for hierarchical names and lexical scoping
sml-dependent-lcf
A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!
agda-mugen
A formalization of the theory behind the mugen library
sml-final-pretty-printer
A Standard ML port of Christiansen, Darais and Ma's Final Pretty Printer
sml-parcom
The People’s Revolutionary Parser Commissariat
sml-telescopes
an abstract data type for telescopes
actions-ocaml
GitHub Action for red* OCaml packages
redprl.github.io
Souce of RedPRL website
sml-unparse
DEPRECATED. Use https://github.com/RedPRL/sml-final-pretty-printer instead.