"Between the darkness and the dawn, a red cube rises!": a proof assista...
Exercises from Benjamin Pierce's "Types and Programming Languages" textb...
A Super Kawaii Dependently Typed Programming Language
List of resources about foundational knowledge for programmers (supposed...
Dependently-typed lambda calculus, Mini-TT, extended and implemented in ...
Dependently-typed row-polymorphic programming language, evolved from min...
Formalising Type Theory in a modular way for translations between type t...
Normalization by evaluation for Martin-Löf Type Theory with dependent re...
(WIP) Dependently-typed programming language with Agda style dependent p...
A collection of papers on modules.
Book: Introduction to Dependent Types with Idris
Towards changing things and see if it proofs
A Logical Relation for Martin-Löf Type Theory in Agda
Fine-grain implementations of common lambda calculi in Haskell, tested w...
Temporary repository for Kind2's refactor based on HVM2