Programming Language Theory λΠ
A next-gen functional language
Building a modern functional compiler from first principles. (http://dev...
Agda is a dependently typed programming language / interactive theorem p...
Lean Theorem Prover
A Coq library for Homotopy Type Theory
A friendly little systems language with first-class types. Very WIP! 🚧 ...
Experimental implementation of Cubical Type Theory
Research on integrating datalog & lambda calculus via monotonicity types
Programming language agnostic type construction language based on polyno...
My personal repository of formally verified mathematics.
The People's Refinement Logic
Lecture notes on univalent foundations of mathematics with Agda
Logical manifestations of topological concepts, and other things, via th...
😎TT