π¦ An experimental elaborator for dependent type theory using effects and handlers
β38Jun 19, 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β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 8 months ago
- Organize mathematical thoughtsβ21Oct 6, 2023Updated 2 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.
- 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 4 years ago
- π A library for managing libraries and resolving unit pathsβ17Jun 19, 2026Updated last month
- β16Oct 31, 2023Updated 2 years ago
- A server for the forester toolβ19Dec 10, 2024Updated last year
- π©Ί A library for compiler diagnosticsβ55Jun 19, 2026Updated last month
- VSCode support for Foresterβ23Nov 17, 2025Updated 8 months ago
- β12Jan 25, 2022Updated 4 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.
- Notes (and implementation) of unification with bindersβ17Feb 10, 2026Updated 6 months ago
- βΎοΈ A library for universe levels and universe polymorphismβ42Jun 19, 2026Updated last month
- πTTβ246Nov 20, 2025Updated 8 months ago
- my phd thesisβ26Aug 7, 2024Updated 2 years ago
- π¦ Reusable components based on algebraic effectsβ52Jun 19, 2026Updated last month
- β12Mar 13, 2025Updated last year
- An extension of the NbE algorithm to produce computational tracesβ22May 5, 2022Updated 4 years ago
- β31Jul 21, 2023Updated 3 years ago
- Experiments with preordered set models of (directed) type theoriesβ16Jul 10, 2019Updated 7 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.
- The Coq formalization of the paper Reasoning about the garden of forking paths.β25Feb 7, 2025Updated last year
- A cost-aware logical framework, embedded in Agda.β78Updated this week
- 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
- Toy implementation of Martin-LΓΆf Type Theoryβ30Mar 3, 2026Updated 5 months ago
- An English translation of Deligne's three "Hodge theory" papersβ15Feb 7, 2026Updated 6 months ago
- Intrinsic Verification of Formal Grammar Theoryβ28Aug 4, 2026Updated last week
- A formalized proof of a version of the initiality conjectureβ48Sep 10, 2020Updated 5 years ago
- Benchmarking various normalization algorithms for the lambda calculusβ48Sep 1, 2022Updated 3 years ago
- An attempt towards univalent classical mathematics in Cubical Agda.β32Jul 11, 2026Updated 3 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer β’ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categoriesβ78Jun 15, 2026Updated last month
- Experiments with Realizability in Univalent Type Theoryβ20Oct 21, 2024Updated last year
- Generalized syntax & semantics for universe hierarchiesβ32Dec 11, 2023Updated 2 years ago
- high-performance cubical evaluationβ86Jun 9, 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 last year
- β24Sep 22, 2021Updated 4 years ago
- HoTT Book formalisations in Rzk.β23Jun 15, 2026Updated last month