π©Ί A library for compiler diagnostics
β53Apr 6, 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 5 months ago
- π¦ An experimental elaborator for dependent type theory using effects and handlersβ37Apr 7, 2026Updated last month
- A simple implementation of XTT, "A cubical language for Bishop sets"β27Apr 22, 2022Updated 4 years ago
- π A library for managing libraries and resolving unit pathsβ17Apr 6, 2026Updated last month
- An implementation of "A Pretty Expressive Printer" in OCamlβ26Mar 13, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean β’ AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Organize mathematical thoughtsβ20Oct 6, 2023Updated 2 years ago
- A fancy diagnostics library that allows your compilers to exit with graceβ91May 7, 2026Updated last week
- A formalization of the theory behind the mugen libraryβ19Apr 25, 2026Updated 3 weeks ago
- πͺ A Staged Type Theoryβ35Sep 4, 2023Updated 2 years ago
- π¦ Reusable components based on algebraic effectsβ52Apr 6, 2026Updated last month
- πΉ A library for hierarchical names and lexical scopingβ28Apr 7, 2026Updated last month
- Menhir polishing toolbox, for experienced druidsβ40Apr 7, 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β40Apr 6, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Experiments with preordered set models of (directed) type theoriesβ16Jul 10, 2019Updated 6 years ago
- A balanced binary search tree library for OCamlβ24Nov 27, 2025Updated 5 months ago
- Pretty-printing for error source locationsβ38Jun 1, 2022Updated 3 years ago
- An attempt towards univalent classical mathematics in Cubical Agda.β32Sep 15, 2023Updated 2 years ago
- Simple, in-memory, monomorphic and heterogeneous search indexes in OCamlβ25Jan 11, 2023Updated 3 years ago
- β13Mar 30, 2026Updated last month
- β20Feb 10, 2026Updated 3 months ago
- A formalization of System FΟ in Agdaβ20Dec 23, 2025Updated 4 months ago
- OCaml bindings to the number theory library PARI/GPβ12Jan 11, 2025Updated last year
- 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.
- β15Oct 31, 2023Updated 2 years ago
- Intrinsic Verification of Formal Grammar Theoryβ28Updated this week
- antifunextβ41Jun 27, 2024Updated 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β16Apr 24, 2026Updated 3 weeks ago
- Experimenting on ornamentation in Agda via reflection.β12Jul 1, 2023Updated 2 years ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.β89Sep 13, 2021Updated 4 years ago
- An English translation of Deligne's three "Hodge theory" papersβ15Feb 7, 2026Updated 3 months 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.
- Toy implementation of Martin-LΓΆf Type Theoryβ30Mar 3, 2026Updated 2 months ago
- generic I/O streams of bytesβ27Jul 3, 2025Updated 10 months ago
- Framework for benchmarking on multiple cores on current-benchβ14Jun 14, 2025Updated 11 months ago
- macOS bindings to the FSEvents APIβ18Nov 24, 2025Updated 5 months ago
- high-performance cubical evaluationβ84Feb 27, 2026Updated 2 months ago
- Little cli to convert md files into mld filesβ27Feb 6, 2025Updated last year
- IO should be just a libraryβ26Jul 17, 2023Updated 2 years ago