Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with cubical-type-theory
A curated list of projects in awesome lists tagged with cubical-type-theory .
https://github.com/agda/cubical
An experimental library for Cubical Agda
agda cubical-type-theory library
Last synced: 04 Aug 2024
https://github.com/RedPRL/sml-redprl
The People's Refinement Logic
cubical-type-theory nuprl proof-assistant type-theory
Last synced: 20 Aug 2024
https://github.com/redprl/cooltt
😎TT
cubical-type-theory homotopy-type-theory ocaml ocaml-program proof-assistant type-theory
Last synced: 29 Sep 2024
https://github.com/forked-from-1kasper/ground_zero
Ground Zero: Lean 4 HoTT Library
ctt cubical-type-theory homotopy-type-theory hott lean lean4 leanprover math
Last synced: 09 Aug 2024
https://github.com/owo-lang/intellij-dtlc
IntelliJ plugin for several experimental programming languages here
cubical-type-theory cubicaltt dependent-types intellij-plugin minitt mlpolyr owo redprl voile
Last synced: 09 Aug 2024
https://github.com/ReubenHillyard/beta
Dependently-typed programming language.
cubical-type-theory dependent-types homotopy-type-theory programming-language
Last synced: 03 Aug 2024
