type-theory
Here are 206 public repositories matching this topic...
Some nice POCs of categorical constructions in CPP
-
Updated
Aug 29, 2018
Toy theorem prover based on the calculus of constructions
-
Updated
Aug 26, 2021 - OCaml
🦠 An experimental elaborator for dependent type theory using effects and handlers
-
Updated
Oct 3, 2023 - OCaml
seeking to understand patterns behind a normalizer for typed lambda calculus with type affinities.
-
Updated
Mar 4, 2024 - TypeScript
My Notes on the Fibrational Semantics of Simple, Polymorphic, and Dependent Type Theory
-
Updated
Jun 10, 2018 - TeX
Type Theory course homework (2019), ITMO University
-
Updated
Aug 1, 2020 - Haskell
A cheet sheet for all the typing rules covered in the CST Part II Types course
-
Updated
May 30, 2022 - TeX
Lean is a dependently-typed programming language and theorem prover.
-
Updated
Apr 12, 2024 - Lean
Code and examples based on the tutorial 'A Tutorial on [Co-]Inductive Types in Coq' by Eduardo Giménez and Pierre Castéran
-
Updated
May 9, 2017 - Coq
-
Updated
Mar 29, 2019 - OCaml
An experimental typechecker with dependent types, homogeneous path types, and cubical composition
-
Updated
Nov 14, 2019 - Rust
-
Updated
May 16, 2016 - Racket
Normalization by Evaluation for a version of System T with combinatory weak conversion.
-
Updated
Jul 5, 2018 - Agda
An experimental programming language containing a higher-order type system
-
Updated
Jul 23, 2020 - Raku
[Archived] A prototype 3-tier web application written in PureScript.
-
Updated
Dec 11, 2022 - PureScript
"A Basis for Event-Driven Programming" based on Linear Temporal Type Theory
-
Updated
May 21, 2021 - Coq
Improve this page
Add a description, image, and links to the type-theory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-theory topic, visit your repo's landing page and select "manage topics."