π A library for managing libraries and resolving unit paths
β17Jun 19, 2026Updated last week
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β41Jun 19, 2026Updated last week
- π§ kado γ«γ: Cofibrations in Cartesian Cubical Type Theoryβ22Nov 20, 2025Updated 7 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 week
- 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.
- πΉ A library for hierarchical names and lexical scopingβ28Jun 19, 2026Updated last week
- 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 week
- π¦ An experimental elaborator for dependent type theory using effects and handlersβ38Jun 19, 2026Updated last week
- implementation deriving for idris2β12Feb 21, 2021Updated 5 years ago
- A server for the forester toolβ19Dec 10, 2024Updated last year
- Content-addressed identifiers in OCamlβ17Mar 23, 2023Updated 3 years ago
- β24Sep 22, 2021Updated 4 years ago
- 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.
- π©Ί A library for compiler diagnosticsβ54Jun 19, 2026Updated last week
- A formalization of the theory behind the mugen libraryβ20Jun 22, 2026Updated last week
- 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 6 years ago
- Toy implementation of Martin-LΓΆf Type Theoryβ30Mar 3, 2026Updated 3 months ago
- A type theory with native support for Polynomial Functors.β43Oct 8, 2023Updated 2 years ago
- β16Aug 2, 2023Updated 2 years ago
- An English translation of Deligne's three "Hodge theory" papersβ15Feb 7, 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 TOML parser for Idris 2β17Jun 27, 2024Updated 2 years ago
- β17Apr 4, 2024Updated 2 years ago
- β15Oct 31, 2023Updated 2 years ago
- Idris 2 bindings to various C librariesβ15Jun 28, 2021Updated 5 years ago
- Effectful Streaming for Idrisβ15Dec 13, 2020Updated 5 years ago
- Experiments with Realizability in Univalent Type Theoryβ20Oct 21, 2024Updated last year
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.β89Sep 13, 2021Updated 4 years ago
- OCaml notebooks as a WebComponentβ55May 4, 2026Updated last month
- Probabilistic music composition in Idris2β16Dec 23, 2022Updated 3 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.
- Command line interface library in Idrisβ34Jul 26, 2024Updated last year
- Functional Pearl: Certified Binary Search in a Read-Only Arrayβ29May 26, 2021Updated 5 years ago
- Congruence Closure Procedure in Cubical Agdaβ20Aug 19, 2020Updated 5 years ago
- 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
- Generalized syntax & semantics for universe hierarchiesβ32Dec 11, 2023Updated 2 years ago
- Live-reloading server for static sites (eventually also dynamic)β49May 25, 2023Updated 3 years ago