π§ kado γ«γ: Cofibrations in Cartesian Cubical Type Theory
β22Nov 20, 2025Updated 11 months ago
Alternatives and similar repositories for kado
Users that are interested in kado are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A work-in-progress structure editor for the cooltt proof assistant.β18Jul 28, 2022Updated 4 years ago
- A simple implementation of XTT, "A cubical language for Bishop sets"β28Apr 22, 2022Updated 4 years ago
- β16Aug 2, 2023Updated 3 years ago
- A formalization of the theory behind the mugen libraryβ20Jul 5, 2026Updated 3 months ago
- π A library for managing libraries and resolving unit pathsβ17Jun 19, 2026Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Experimental type-checker for internally parametric type theoryβ33Mar 27, 2025Updated last year
- An attempt towards univalent classical mathematics in Cubical Agda.β32Jul 11, 2026Updated 3 months ago
- formalization of an equivariant cartesian cubical set model of type theoryβ21Jan 3, 2025Updated last year
- Work in progress on semi-simplicial typesβ25Dec 15, 2022Updated 3 years ago
- π¦ An experimental elaborator for dependent type theory using effects and handlersβ39Jun 19, 2026Updated 4 months ago
- π©Ί A library for compiler diagnosticsβ56Oct 19, 2026Updated last week
- My Agda/Mikan stuffβ13Updated this week
- Experiments with preordered set models of (directed) type theoriesβ16Jul 10, 2019Updated 7 years ago
- PL syntax macros.β22Oct 8, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- π Backward lists for OCamlβ21Jun 19, 2026Updated 4 months ago
- πΉ A library for hierarchical names and lexical scopingβ28Jun 19, 2026Updated 4 months ago
- β24Sep 22, 2021Updated 5 years ago
- βΎοΈ A library for universe levels and universe polymorphismβ42Sep 24, 2026Updated last month
- β17Jun 10, 2022Updated 4 years ago
- Type Theory in Type Theory using Cubical Agdaβ15Feb 21, 2019Updated 7 years ago
- Meta-theory and normalization for Fitch-style modal lambda calculiβ19May 27, 2024Updated 2 years ago
- Intrinsic Verification of Formal Grammar Theoryβ29Aug 4, 2026Updated 2 months ago
- Organize mathematical thoughtsβ21Oct 6, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Directed type theory for formal category theoryβ19Apr 7, 2017Updated 9 years ago
- The Coq formalization of the paper Reasoning about the garden of forking paths.β25Feb 7, 2025Updated last year
- β16Oct 31, 2023Updated 2 years ago
- My PhD thesis.β14Jun 30, 2023Updated 3 years ago
- high-performance cubical evaluationβ90Sep 22, 2026Updated last month
- π¦ Reusable components based on algebraic effectsβ53Jun 19, 2026Updated 4 months ago
- β14Aug 5, 2026Updated 2 months ago
- β32Jul 21, 2023Updated 3 years ago
- Haskell implementation of a version of cubical type theory developed for my master thesisβ16Nov 19, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- πͺ A Staged Type Theoryβ36Sep 4, 2023Updated 3 years ago
- Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.β20Feb 26, 2021Updated 5 years ago
- antifunextβ41Jun 27, 2024Updated 2 years ago
- Simply typed lambda calculus in cubical agdaβ23Feb 22, 2020Updated 6 years ago
- Dependently typed programming language written in Haskellβ22Feb 14, 2022Updated 4 years ago
- Toy implementation of Martin-LΓΆf Type Theoryβ30Mar 3, 2026Updated 7 months ago
- Anders: Cubical Type Checkerβ23Oct 23, 2023Updated 3 years ago