π©Ί A library for compiler diagnostics
β55Jun 19, 2026Updated last month
Alternatives and similar repositories for asai
Users that are interested in asai are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- π§ kado γ«γ: Cofibrations in Cartesian Cubical Type Theoryβ22Nov 20, 2025Updated 8 months ago
- π¦ An experimental elaborator for dependent type theory using effects and handlersβ38Jun 19, 2026Updated last month
- A simple implementation of XTT, "A cubical language for Bishop sets"β28Apr 22, 2022Updated 4 years ago
- π A library for managing libraries and resolving unit pathsβ17Jun 19, 2026Updated last month
- Organize mathematical thoughtsβ21Oct 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.
- An implementation of "A Pretty Expressive Printer" in OCamlβ26Mar 13, 2024Updated 2 years ago
- A fancy diagnostics library that allows your compilers to exit with graceβ91Updated this week
- A formalization of the theory behind the mugen libraryβ20Jul 5, 2026Updated last month
- πͺ A Staged Type Theoryβ36Sep 4, 2023Updated 2 years ago
- π¦ Reusable components based on algebraic effectsβ52Jun 19, 2026Updated last month
- πΉ A library for hierarchical names and lexical scopingβ28Jun 19, 2026Updated last month
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Genericallyβ21Jan 30, 2024Updated 2 years ago
- βΎοΈ A library for universe levels and universe polymorphismβ42Jun 19, 2026Updated last month
- Experiments with preordered set models of (directed) type theoriesβ16Jul 10, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform β’ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A balanced binary search tree library for OCamlβ24Jun 20, 2026Updated last month
- An attempt towards univalent classical mathematics in Cubical Agda.β32Jul 11, 2026Updated 3 weeks ago
- Pretty-printing for error source locationsβ39Jun 1, 2022Updated 4 years ago
- Simple, in-memory, monomorphic and heterogeneous search indexes in OCamlβ25Jan 11, 2023Updated 3 years ago
- An English translation of Deligne's three "Hodge theory" papersβ15Feb 7, 2026Updated 6 months ago
- Menhir polishing toolbox, for experienced druidsβ44Updated this week
- β13Mar 30, 2026Updated 4 months ago
- Intrinsic Verification of Formal Grammar Theoryβ28Updated this week
- β16Oct 31, 2023Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI β’ AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A formalization of System FΟ in Agdaβ20Dec 23, 2025Updated 7 months ago
- OCaml bindings to the number theory library PARI/GPβ12Jan 11, 2025Updated last year
- antifunextβ41Jun 27, 2024Updated 2 years ago
- β44Apr 8, 2025Updated last year
- Experimental type-checker for internally parametric type theoryβ32Mar 27, 2025Updated last year
- Benchmarking tool for compile-time performance of Agda programsβ20Jan 26, 2022Updated 4 years ago
- Portable implementation of the Irmin Watch APIβ17Apr 24, 2026Updated 3 months ago
- Experimenting on ornamentation in Agda via reflection.β12Jul 1, 2023Updated 3 years ago
- Direct-style parser combinator library for OCaml 5β55Apr 15, 2026Updated 3 months 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 pedagogic implementation of abstract bidirectional elaboration for dependent type theory.β89Sep 13, 2021Updated 4 years ago
- A proof assistant for higher-dimensional type theoryβ289Updated this week
- Toy implementation of Martin-LΓΆf Type Theoryβ30Mar 3, 2026Updated 5 months ago
- β31Jul 21, 2023Updated 3 years ago
- generic I/O streams of bytesβ26May 28, 2026Updated 2 months ago
- macOS bindings to the FSEvents APIβ18Nov 24, 2025Updated 8 months ago
- high-performance cubical evaluationβ86Jun 9, 2026Updated 2 months ago