π A library for managing libraries and resolving unit paths
β17Jun 19, 2026Updated last month
Alternatives and similar repositories for bantorra
Users that are interested in bantorra are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- βΎοΈ A library for universe levels and universe polymorphismβ42Jun 19, 2026Updated last month
- π§ kado γ«γ: Cofibrations in Cartesian Cubical Type Theoryβ22Nov 20, 2025Updated 8 months ago
- Experimental normalisation via schemeβ12Jul 25, 2021Updated 5 years ago
- Organize mathematical thoughtsβ21Oct 6, 2023Updated 2 years ago
- π Backward lists for OCamlβ22Jun 19, 2026Updated last month
- 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.
- πΉ A library for hierarchical names and lexical scopingβ28Jun 19, 2026Updated last month
- macOS bindings to the FSEvents APIβ18Nov 24, 2025Updated 8 months ago
- A work-in-progress structure editor for the cooltt proof assistant.β18Jul 28, 2022Updated 4 years ago
- π¦ Reusable components based on algebraic effectsβ52Jun 19, 2026Updated last month
- implementation deriving for idris2β12Feb 21, 2021Updated 5 years ago
- π¦ An experimental elaborator for dependent type theory using effects and handlersβ38Jun 19, 2026Updated last month
- π©Ί A library for compiler diagnosticsβ55Jun 19, 2026Updated last month
- Content-addressed identifiers in OCamlβ17Mar 23, 2023Updated 3 years ago
- A formalization of the theory behind the mugen libraryβ20Jul 5, 2026Updated last month
- 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.
- An English translation of Deligne's three "Hodge theory" papersβ15Feb 7, 2026Updated 6 months ago
- Experimental type-checker for internally parametric type theoryβ32Mar 27, 2025Updated last year
- Experiment with synthetic domain theory in cubical agdaβ15Nov 8, 2022Updated 3 years ago
- Experiments with preordered set models of (directed) type theoriesβ16Jul 10, 2019Updated 7 years ago
- Toy implementation of Martin-LΓΆf Type Theoryβ30Mar 3, 2026Updated 5 months ago
- β16Aug 2, 2023Updated 3 years ago
- A TOML parser for Idris 2β17Jun 27, 2024Updated 2 years ago
- β17Apr 4, 2024Updated 2 years ago
- Effectful Streaming for Idrisβ15Dec 13, 2020Updated 5 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.
- Idris 2 bindings to various C librariesβ15Jun 28, 2021Updated 5 years ago
- β16Oct 31, 2023Updated 2 years ago
- A server for the forester toolβ19Dec 10, 2024Updated last year
- β24Sep 22, 2021Updated 4 years ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.β89Sep 13, 2021Updated 4 years ago
- Probabilistic music composition in Idris2β16Dec 23, 2022Updated 3 years ago
- Notes (and implementation) of unification with bindersβ17Feb 10, 2026Updated 6 months ago
- Command line interface library in Idrisβ34Jul 26, 2024Updated 2 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Arrayβ28May 26, 2021Updated 5 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.
- β16Feb 18, 2025Updated last year
- The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of unβ¦β20Dec 8, 2021Updated 4 years ago
- πͺ A Staged Type Theoryβ36Sep 4, 2023Updated 2 years ago
- Portable implementation of the Irmin Watch APIβ17Apr 24, 2026Updated 3 months ago
- Congruence Closure Procedure in Cubical Agdaβ20Aug 19, 2020Updated 5 years ago
- Generalized syntax & semantics for universe hierarchiesβ32Dec 11, 2023Updated 2 years ago
- Efficient effect handlers based on Evidence Passing Semantics.β33Mar 16, 2021Updated 5 years ago