cubical-type-theory
Here are 29 public repositories matching this topic...
Experimental implementation of Cubical Type Theory
-
Updated
Sep 21, 2023 - Haskell
The People's Refinement Logic
-
Updated
Jan 1, 2023 - Standard ML
😎TT
-
Updated
Oct 21, 2023 - OCaml
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
-
Updated
Mar 25, 2022 - OCaml
IntelliJ plugin for several experimental programming languages here
-
Updated
Oct 18, 2021 - Kotlin
Towards changing things and see if it proofs
-
Updated
Jul 12, 2021 - Scala
🧊 Модальний гомотопічний верифікатор математики
-
Updated
Apr 2, 2024 - OCaml
🧊 An indexed construction of semi-simplicial and semi-cubical types
-
Updated
May 27, 2024 - TeX
-
Updated
Jul 21, 2023 - Haskell
🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory
-
Updated
Nov 19, 2023 - OCaml
Experiments with Realizability in Univalent Type Theory
-
Updated
May 20, 2024 - Agda
Diagnostic extension for redtt prover
-
Updated
Feb 26, 2022 - TypeScript
Experiments with Cubical Agda
-
Updated
Mar 3, 2024 - Agda
Experimental implementation of a Cubical Type Theory modeled by presheaves over posets
-
Updated
May 24, 2024 - Haskell
Anders: Cubical Type Checker
-
Updated
Oct 23, 2023 - OCaml
Ground Zero: Lean 4 HoTT Library
-
Updated
Apr 17, 2024 - Lean
quotient types in cubical Agda
-
Updated
Feb 4, 2019 - Agda
Fintie Sets in Cubical Agda
-
Updated
Aug 30, 2019 - Agda
Type Theory in Type Theory using Cubical Agda
-
Updated
Feb 21, 2019 - Agda
Improve this page
Add a description, image, and links to the cubical-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 cubical-type-theory topic, visit your repo's landing page and select "manage topics."