π¦ An experimental elaborator for dependent type theory using effects and handlers
β37Apr 7, 2026Updated this 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β40Aug 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 4 months ago
- Organize mathematical thoughtsβ20Oct 6, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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 3 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β17Updated this week
- β15Oct 31, 2023Updated 2 years ago
- A server for the forester toolβ18Dec 10, 2024Updated last year
- π©Ί A library for compiler diagnosticsβ53Nov 21, 2025Updated 4 months ago
- VSCode support for Foresterβ22Nov 17, 2025Updated 4 months ago
- β12Jan 25, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- βΎοΈ A library for universe levels and universe polymorphismβ39Updated this week
- A type theory with native support for Polynomial Functors.β42Oct 8, 2023Updated 2 years ago
- πTTβ242Nov 20, 2025Updated 4 months ago
- my phd thesisβ26Aug 7, 2024Updated last year
- β12Mar 13, 2025Updated last year
- π¦ Reusable components based on algebraic effectsβ52Nov 21, 2025Updated 4 months ago
- An extension of the NbE algorithm to produce computational tracesβ22May 5, 2022Updated 3 years ago
- Experiments with preordered set models of (directed) type theoriesβ15Jul 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
- Wordpress hosting with auto-scaling on Cloudways β’ AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A cost-aware logical framework, embedded in Agda.β78Mar 19, 2026Updated 3 weeks ago
- Toy implementation of Martin-LΓΆf Type Theoryβ30Mar 3, 2026Updated last month
- 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
- β29Jul 21, 2023Updated 2 years ago
- Formalisations for simplicial HoTT and synthetic β-categories.β60Mar 17, 2026Updated 3 weeks ago
- An attempt towards univalent classical mathematics in Cubical Agda.β32Sep 15, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient β’ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Generalized syntax & semantics for universe hierarchiesβ32Dec 11, 2023Updated 2 years ago
- high-performance cubical evaluationβ81Feb 27, 2026Updated last month
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categoriesβ74Feb 1, 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 10 months ago
- HoTT Book formalisations in Rzk.β20Dec 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