π¦ An experimental elaborator for dependent type theory using effects and handlers
β38Jun 19, 2026Updated last week
Alternatives and similar repositories for algaett
Users that are interested in algaett are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Setoid type theory implementationβ41Aug 24, 2023Updated 2 years ago
- πͺ A Staged Type Theoryβ36Sep 4, 2023Updated 2 years ago
- Experimental type-checker for internally parametric type theoryβ32Mar 27, 2025Updated last year
- π§ kado γ«γ: Cofibrations in Cartesian Cubical Type Theoryβ22Nov 20, 2025Updated 7 months ago
- Organize mathematical thoughtsβ20Oct 6, 2023Updated 2 years 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.
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Genericallyβ21Jan 30, 2024Updated 2 years ago
- A simple implementation of XTT, "A cubical language for Bishop sets"β28Apr 22, 2022Updated 4 years ago
- A work-in-progress structure editor for the cooltt proof assistant.β18Jul 28, 2022Updated 3 years ago
- π A library for managing libraries and resolving unit pathsβ17Jun 19, 2026Updated last week
- β15Oct 31, 2023Updated 2 years ago
- A server for the forester toolβ19Dec 10, 2024Updated last year
- π©Ί A library for compiler diagnosticsβ54Jun 19, 2026Updated last week
- VSCode support for Foresterβ23Nov 17, 2025Updated 7 months ago
- β12Jan 25, 2022Updated 4 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.
- βΎοΈ A library for universe levels and universe polymorphismβ41Jun 19, 2026Updated last week
- A type theory with native support for Polynomial Functors.β43Oct 8, 2023Updated 2 years ago
- πTTβ246Nov 20, 2025Updated 7 months ago
- my phd thesisβ26Aug 7, 2024Updated last year
- β12Mar 13, 2025Updated last year
- π¦ Reusable components based on algebraic effectsβ52Jun 19, 2026Updated last week
- An extension of the NbE algorithm to produce computational tracesβ22May 5, 2022Updated 4 years ago
- Experiments with preordered set models of (directed) type theoriesβ16Jul 10, 2019Updated 6 years ago
- The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of unβ¦β20Dec 8, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI β’ AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Toy implementation of Martin-LΓΆf Type Theoryβ30Mar 3, 2026Updated 3 months ago
- A cost-aware logical framework, embedded in Agda.β78Updated this week
- Experiments with Realizability in Univalent Type Theoryβ20Oct 21, 2024Updated last year
- A formalized proof of a version of the initiality conjectureβ46Sep 10, 2020Updated 5 years ago
- Intrinsic Verification of Formal Grammar Theoryβ28May 20, 2026Updated last month
- Benchmarking various normalization algorithms for the lambda calculusβ48Sep 1, 2022Updated 3 years ago
- β31Jul 21, 2023Updated 2 years ago
- Formalisations for simplicial HoTT and synthetic β-categories.β63Jun 24, 2026Updated last week
- An attempt towards univalent classical mathematics in Cubical Agda.β32Sep 15, 2023Updated 2 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.
- Generalized syntax & semantics for universe hierarchiesβ32Dec 11, 2023Updated 2 years ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categoriesβ76Jun 15, 2026Updated 2 weeks ago
- high-performance cubical evaluationβ85Jun 9, 2026Updated 3 weeks ago
- Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future grβ¦β16Jun 8, 2025Updated last year
- HoTT Book formalisations in Rzk.β23Jun 15, 2026Updated 2 weeks ago
- Experimental normalisation via schemeβ12Jul 25, 2021Updated 4 years ago
- This aims to be the most pretentious implementation of stlc in existenceβ66Mar 5, 2022Updated 4 years ago