π¦ An experimental elaborator for dependent type theory using effects and handlers
β37Apr 7, 2026Updated last month
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β35Sep 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 6 months ago
- Organize mathematical thoughtsβ20Oct 6, 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.
- 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"β27Apr 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β17Apr 6, 2026Updated last month
- β15Oct 31, 2023Updated 2 years ago
- A server for the forester toolβ19Dec 10, 2024Updated last year
- π©Ί A library for compiler diagnosticsβ53Apr 6, 2026Updated last month
- VSCode support for Foresterβ22Nov 17, 2025Updated 6 months ago
- β12Jan 25, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting β’ AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- βΎοΈ A library for universe levels and universe polymorphismβ40Apr 6, 2026Updated last month
- A type theory with native support for Polynomial Functors.β43Oct 8, 2023Updated 2 years ago
- πTTβ244Nov 20, 2025Updated 6 months ago
- my phd thesisβ26Aug 7, 2024Updated last year
- β12Mar 13, 2025Updated last year
- π¦ Reusable components based on algebraic effectsβ52Apr 6, 2026Updated last month
- 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
- 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 cost-aware logical framework, embedded in Agda.β78Updated this week
- Toy implementation of Martin-LΓΆf Type Theoryβ30Mar 3, 2026Updated 2 months ago
- Experiments with Realizability in Univalent Type Theoryβ19Oct 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β28Updated this week
- Benchmarking various normalization algorithms for the lambda calculusβ49Sep 1, 2022Updated 3 years ago
- β30Jul 21, 2023Updated 2 years ago
- Formalisations for simplicial HoTT and synthetic β-categories.β61May 14, 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β74Feb 1, 2026Updated 3 months ago
- high-performance cubical evaluationβ84Feb 27, 2026Updated 2 months 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 11 months ago
- HoTT Book formalisations in Rzk.β22Dec 15, 2023Updated 2 years 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