π©Ί A library for compiler diagnostics
β54Jun 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β20Oct 6, 2023Updated 2 years 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.
- 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β93May 7, 2026Updated 2 months ago
- A formalization of the theory behind the mugen libraryβ20Jul 5, 2026Updated 2 weeks ago
- πͺ 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
- Menhir polishing toolbox, for experienced druidsβ43Updated this week
- 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
- Deploy open-source AI quickly and easily - Special Bonus Offer β’ AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Experiments with preordered set models of (directed) type theoriesβ16Jul 10, 2019Updated 7 years ago
- 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 last week
- 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 5 months ago
- β13Mar 30, 2026Updated 3 months ago
- Intrinsic Verification of Formal Grammar Theoryβ28May 20, 2026Updated 2 months ago
- β15Oct 31, 2023Updated 2 years ago
- End-to-end encrypted email - Proton Mail β’ AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 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
- 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 2 months ago
- Experimenting on ornamentation in Agda via reflection.β12Jul 1, 2023Updated 3 years ago
- Direct-style parser combinator library for OCaml 5β54Apr 15, 2026Updated 3 months ago
- End-to-end encrypted email - Proton Mail β’ AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 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β283Updated this week
- Toy implementation of Martin-LΓΆf Type Theoryβ30Mar 3, 2026Updated 4 months ago
- generic I/O streams of bytesβ26May 28, 2026Updated last month
- macOS bindings to the FSEvents APIβ18Nov 24, 2025Updated 7 months ago
- high-performance cubical evaluationβ85Jun 9, 2026Updated last month
- Framework for benchmarking on multiple cores on current-benchβ15Jun 14, 2025Updated last year