π©Ί A library for compiler diagnostics
β54Jun 19, 2026Updated last week
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 7 months ago
- π¦ An experimental elaborator for dependent type theory using effects and handlersβ38Jun 19, 2026Updated last week
- 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 week
- An implementation of "A Pretty Expressive Printer" in OCamlβ26Mar 13, 2024Updated 2 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.
- Organize mathematical thoughtsβ20Oct 6, 2023Updated 2 years ago
- A fancy diagnostics library that allows your compilers to exit with graceβ93May 7, 2026Updated last month
- A formalization of the theory behind the mugen libraryβ20Jun 22, 2026Updated last week
- πͺ A Staged Type Theoryβ36Sep 4, 2023Updated 2 years ago
- π¦ Reusable components based on algebraic effectsβ52Jun 19, 2026Updated last week
- πΉ A library for hierarchical names and lexical scopingβ28Jun 19, 2026Updated last week
- Menhir polishing toolbox, for experienced druidsβ42May 26, 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β41Jun 19, 2026Updated last week
- 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.
- Experiments with preordered set models of (directed) type theoriesβ16Jul 10, 2019Updated 6 years ago
- A balanced binary search tree library for OCamlβ24Jun 20, 2026Updated last week
- Pretty-printing for error source locationsβ39Jun 1, 2022Updated 4 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 2 months ago
- β20Feb 10, 2026Updated 4 months ago
- A formalization of System FΟ in Agdaβ20Dec 23, 2025Updated 6 months ago
- OCaml bindings to the number theory library PARI/GPβ12Jan 11, 2025Updated last year
- 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.
- β15Oct 31, 2023Updated 2 years ago
- antifunextβ41Jun 27, 2024Updated 2 years ago
- Intrinsic Verification of Formal Grammar Theoryβ28May 20, 2026Updated last month
- 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 2 months 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 4 months 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.
- Toy implementation of Martin-LΓΆf Type Theoryβ30Mar 3, 2026Updated 3 months ago
- generic I/O streams of bytesβ26May 28, 2026Updated last month
- Framework for benchmarking on multiple cores on current-benchβ15Jun 14, 2025Updated last year
- macOS bindings to the FSEvents APIβ18Nov 24, 2025Updated 7 months ago
- high-performance cubical evaluationβ84Jun 9, 2026Updated 2 weeks 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