The Hash programming language compiler ⚡
-
Updated
May 30, 2024 - Rust
The Hash programming language compiler ⚡
♾️ A library for universe levels and universe polymorphism
Agda is a dependently typed programming language / interactive theorem prover.
A research project in path semantics, a re-interpretation of functions for expressing mathematics
Logical manifestations of topological concepts, and other things, via the univalent point of view.
A Logical Relation for Martin-Löf Type Theory in Agda
A Coq library for Homotopy Type Theory
Experimental implementation of a Cubical Type Theory modeled by presheaves over posets
Protobufs for functional programming
GitHub Pages website for https://github.com/Blaisorblade/dot-iris.
Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
The Agda Universal Algebra Library (html docs available at the url below)
Cicada Language (PLCT little team)
A next-gen functional language
My personal repository of formally verified mathematics.
Cicada Language (solo version)
My Zettelkasten - The Rabbit Hole
Add a description, image, and links to the type-theory topic page so that developers can more easily learn about it.
To associate your repository with the type-theory topic, visit your repo's landing page and select "manage topics."