π 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 4 years ago
- Organize mathematical thoughtsβ20Oct 6, 2023Updated 2 years ago
- π Backward lists for OCamlβ22Jun 19, 2026Updated last month
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- πΉ A library for hierarchical names and lexical scopingβ28Jun 19, 2026Updated last month
- macOS bindings to the FSEvents APIβ18Nov 24, 2025Updated 7 months ago
- A work-in-progress structure editor for the cooltt proof assistant.β18Jul 28, 2022Updated 3 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
- Content-addressed identifiers in OCamlβ17Mar 23, 2023Updated 3 years ago
- π©Ί A library for compiler diagnosticsβ54Jun 19, 2026Updated last month
- A formalization of the theory behind the mugen libraryβ20Jul 5, 2026Updated 2 weeks ago
- 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.
- An English translation of Deligne's three "Hodge theory" papersβ15Feb 7, 2026Updated 5 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 4 months ago
- A type theory with native support for Polynomial Functors.β43Oct 8, 2023Updated 2 years ago
- β16Aug 2, 2023Updated 2 years ago
- A TOML parser for Idris 2β17Jun 27, 2024Updated 2 years ago
- β17Apr 4, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting β’ AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Effectful Streaming for Idrisβ15Dec 13, 2020Updated 5 years ago
- Idris 2 bindings to various C librariesβ15Jun 28, 2021Updated 5 years ago
- β15Oct 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 5 months ago
- Command line interface library in Idrisβ34Jul 26, 2024Updated last year
- 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.
- Functional Pearl: Certified Binary Search in a Read-Only Arrayβ29May 26, 2021Updated 5 years ago
- β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
- Congruence Closure Procedure in Cubical Agdaβ20Aug 19, 2020Updated 5 years ago
- Portable implementation of the Irmin Watch APIβ17Apr 24, 2026Updated 2 months ago
- Generalized syntax & semantics for universe hierarchiesβ32Dec 11, 2023Updated 2 years ago