RedPRL

cooltt Public
😎TT

OCaml 138 Apache-2.0 9 34 10 Updated Jan 19, 2022
bantorra Public
📚 Library Management and 🔖 Path Resolution

OCaml 10 Apache-2.0 0 8 0 Updated Jan 15, 2022
yuujinchou Public
📛 Name Patterns 👹

OCaml 13 Apache-2.0 0 1 0 Updated Jan 15, 2022
redtt Public
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

OCaml 181 Apache-2.0 12 66 (2 issues need help) 1 Updated Nov 29, 2021
sml-typed-abts Public
second-order abstract syntax

Standard ML 28 9 14 1 Updated Sep 15, 2021
redprl.github.io Public

HTML 0 0 1 0 Updated Jun 17, 2020
sml-redprl Public
The People's Refinement Logic

Standard ML 217 MIT 19 12 0 Updated Nov 4, 2019
sml-dependent-lcf Public
A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!

Standard ML 12 1 5 0 Updated Feb 13, 2018
sml-final-pretty-printer Public
A Standard ML port of Christiansen, Darais and Ma's Final Pretty Printer

Standard ML 9 MIT 0 1 0 Updated Jan 12, 2018
sml-telescopes Public
an abstract data type for telescopes

Standard ML 1 1 1 0 Updated Dec 31, 2017

Pinned