There are 42 repositories under type-theory topic.
A next-gen functional language
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Lean Theorem Prover
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
A fast functional language based on two level type theory
My personal repository of formally verified mathematics.
Lecture notes on univalent foundations of mathematics with Agda
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Variant types in TypeScript
List of resources about foundational knowledge for programmers (supposed to last a few decades)
A research project in path semantics, a re-interpretation of functions for expressing mathematics
Cicada Language (solo version)
A SuperCompiler for Martin-Löf's Type Theory
Cicada Language
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Formalising Type Theory in a modular way for translations between type theories
A curated list of awesome Category Theory resources.
List of papers and other resources at the intersection of Category Theory and NLP.