π A library for managing libraries and resolving unit paths
β17Apr 6, 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β40Apr 6, 2026Updated last month
- π§ kado γ«γ: Cofibrations in Cartesian Cubical Type Theoryβ22Nov 20, 2025Updated 6 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β22Apr 6, 2026Updated last month
- 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β28Apr 7, 2026Updated last month
- macOS bindings to the FSEvents APIβ18Nov 24, 2025Updated 5 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β52Apr 6, 2026Updated last month
- π¦ An experimental elaborator for dependent type theory using effects and handlersβ37Apr 7, 2026Updated last month
- implementation deriving for idris2β12Feb 21, 2021Updated 5 years ago
- A server for the forester toolβ19Dec 10, 2024Updated last year
- quotient types in cubical Agdaβ24Feb 4, 2019Updated 7 years ago
- Content-addressed identifiers in OCamlβ17Mar 23, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits β’ AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- β24Sep 22, 2021Updated 4 years ago
- π©Ί A library for compiler diagnosticsβ53Apr 6, 2026Updated last month
- A formalization of the theory behind the mugen libraryβ19Apr 25, 2026Updated 3 weeks ago
- 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β16Jul 10, 2019Updated 6 years ago
- Toy implementation of Martin-LΓΆf Type Theoryβ30Mar 3, 2026Updated 2 months ago
- A type theory with native support for Polynomial Functors.β43Oct 8, 2023Updated 2 years ago
- β16Aug 2, 2023Updated 2 years ago
- 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.
- An English translation of Deligne's three "Hodge theory" papersβ15Feb 7, 2026Updated 3 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β52May 4, 2026Updated 2 weeks ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.β89Sep 13, 2021Updated 4 years ago
- 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.
- 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