A language for the joy of programming
-
Updated
Sep 1, 2026 - Rust
#
typetheory
Here are 17 public repositories matching this topic...
The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of universal algebra in dependent type theory using the Agda proof assistant language.
-
Updated
Dec 8, 2021 - TeX
Towards richer dependent types for DOT
-
Updated
Mar 4, 2021 - Coq
An learning project demonstrating a simple implementation of Martin-Löf dependent type theory（MLTT）
-
Updated
Dec 15, 2025 - Rust
Cubical Type Theory in Scala 3 — port of Mortberg's cubicaltt
-
Updated
Apr 4, 2026 - Scala
Locally nameless implementation of the Holy Types and Programming Languages using TLC!
-
Updated
Sep 9, 2022 - Coq
Introduction to formal mathematics in Lean with an example in topology
-
Updated
Mar 23, 2026 - TeX
This is a work in progress of https://plfa.github.io/ course.
-
Updated
Oct 6, 2021 - Agda
13/06. Victory.My ideas are confirmed totally. New v.2 of my engine is ready. Waiting july for CRAN submission.
logic discovery agda formal-methods formalization logic-programming formal-verification formal-languages multidisciplinary typetheory formalized-mathematics
-
Updated
Jul 21, 2026 - R
Programming Language Theory
programming-language programming everything lambda-calculus type backus-naur-form lazyeval typetheory
-
Updated
May 21, 2023 - CSS
An experimental project demonstrating a self-hosting compiler built entirely with Untyped Lambda Calculus.
-
Updated
Nov 15, 2025 - Haskell
This repository contains the formalisation of an extended dependently typed lambda calculus given in the paper below: https://www.cs.princeton.edu/~dpw/papers/TCS04.pdf
-
Updated
May 7, 2026 - Rocq Prover
My agda code to formalise the theorems and exercises in Rijke's Introduction to Homotopy Type Theory.
-
Updated
Aug 25, 2026 - Agda
Working through Andras Kovacs' elaboration zoo in Javascript
-
Updated
Jul 24, 2023 - JavaScript
Add this topic to your repo
To associate your repository with the typetheory topic, visit your repo's landing page and select "manage topics."