π©Ί A library for compiler diagnostics
β56Oct 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 11 months ago
- A formalization of the theory behind the mugen libraryβ20Jul 5, 2026Updated 3 months ago
- π¦ An experimental elaborator for dependent type theory using effects and handlersβ39Jun 19, 2026Updated 4 months ago
- Elaboration of cumulative universe hierarchiesβ13Oct 12, 2026Updated 2 weeks ago
- π¦ Reusable components based on algebraic effectsβ53Jun 19, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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 4 months ago
- πΉ A library for hierarchical names and lexical scopingβ28Jun 19, 2026Updated 4 months ago
- An implementation of "A Pretty Expressive Printer" in OCamlβ26Mar 13, 2024Updated 2 years ago
- πͺ A Staged Type Theoryβ36Sep 4, 2023Updated 3 years ago
- A fancy diagnostics library that allows your compilers to exit with graceβ91Sep 2, 2026Updated last month
- Experiments with preordered set models of (directed) type theoriesβ16Jul 10, 2019Updated 7 years ago
- Organize mathematical thoughtsβ21Oct 6, 2023Updated 3 years ago
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Genericallyβ23Jan 30, 2024Updated 2 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.
- Experiments on implementing Dependent Pattern Matching under Normalization by Evaluation setup.β15Oct 3, 2026Updated 3 weeks ago
- βΎοΈ A library for universe levels and universe polymorphismβ42Sep 24, 2026Updated last month
- Toy implementation of Martin-LΓΆf Type Theoryβ30Mar 3, 2026Updated 7 months ago
- An attempt towards univalent classical mathematics in Cubical Agda.β32Jul 11, 2026Updated 3 months ago
- An English translation of Deligne's three "Hodge theory" papersβ15Sep 21, 2026Updated last month
- A balanced binary search tree library for OCamlβ24Jun 20, 2026Updated 4 months ago
- Intrinsic Verification of Formal Grammar Theoryβ29Aug 4, 2026Updated 2 months ago
- algebraic typechecking and elaboration of type systemsβ13Jan 25, 2025Updated last year
- β16Oct 31, 2023Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive β’ AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Benchmarking tool for compile-time performance of Agda programsβ20Jan 26, 2022Updated 4 years ago
- β17Jun 10, 2022Updated 4 years ago
- Menhir polishing toolbox, for experienced druidsβ48Sep 14, 2026Updated last month
- β16Aug 2, 2023Updated 3 years ago
- Work in progress on semi-simplicial typesβ25Dec 15, 2022Updated 3 years ago
- high-performance cubical evaluationβ90Sep 22, 2026Updated last month
- A work-in-progress structure editor for the cooltt proof assistant.β18Jul 28, 2022Updated 4 years ago
- β14Mar 30, 2026Updated 7 months ago
- A comparison of Js_of_ocaml libraries for building reactive UIsβ10May 3, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient β’ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Examples of divide-and-conquer recursion in Coq, based on our POPL 2023 paper "A Type-Based Approach to Divide-and-Conquer Recursion in Cβ¦β10Dec 16, 2024Updated last year
- Experimental type-checker for internally parametric type theoryβ33Mar 27, 2025Updated last year
- A Logical Relation for Martin-LΓΆf Type Theory in Agdaβ60Sep 11, 2025Updated last year
- macOS bindings to the FSEvents APIβ18Aug 13, 2026Updated 2 months ago
- Wob extended wtih effect handlersβ14Sep 25, 2023Updated 3 years ago
- being an implementation of the calculus of constructionsβ17Mar 9, 2023Updated 3 years ago
- β32Jul 21, 2023Updated 3 years ago