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