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
Fun plugin to play with the Gallina AST.
-
Updated
Feb 27, 2017 - OCaml
Collection of explainatory example proofs for popular proof assistants.
-
Updated
Aug 21, 2018 - Coq
♾️ A library for universe levels and universe polymorphism
-
Updated
Jan 4, 2024 - OCaml
Normalization by Evaluation for a version of System T with combinatory weak conversion.
-
Updated
Jul 5, 2018 - Agda
Homotopy type theory cheatsheets to read the HoTT Book
-
Updated
Jul 27, 2019 - TeX
An experimental programming language containing a higher-order type system
-
Updated
Jul 23, 2020 - Raku
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."