Category Theory
☆19Oct 24, 2018Updated 8 years ago
Alternatives and similar repositories for categories
Users that are interested in categories 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 system for computational category theory and applications☆41Jun 27, 2016Updated 10 years ago
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Jan 19, 2018Updated 8 years ago
- An experimental HTTP framework for Idris☆14Mar 4, 2020Updated 6 years ago
- Colubridae - A Python package for applied category theory☆15Jan 16, 2020Updated 6 years ago
- Experimental C++11 backend for Idris☆16Nov 29, 2014Updated 11 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- TeX files for summary of category theory☆15Apr 9, 2016Updated 10 years ago
- Propositional logic tools, inspired by the Coq standard library.☆10Dec 19, 2017Updated 8 years ago
- Category Theory in Agda☆13Jan 16, 2018Updated 8 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Jul 28, 2017Updated 9 years ago
- OCaml back end for Idris☆22Jan 24, 2018Updated 8 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆37Dec 31, 2020Updated 5 years ago
- Provides a type-safe way of working with permutations in Idris☆38Oct 3, 2021Updated 5 years ago
- Univalence from scratch in Idris☆19Apr 25, 2018Updated 8 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 7 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.
- Idris, but it's C☆24May 25, 2018Updated 8 years ago
- A formalisation of Restriction Categories in Agda☆12Sep 15, 2016Updated 10 years ago
- Category theory formalized in cubical agda☆22Feb 16, 2020Updated 6 years ago
- ☆13Jan 1, 2015Updated 11 years ago
- Directed type theory for formal category theory☆19Apr 7, 2017Updated 9 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 10 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- A translation of Certified Programming with Dependent Types to Idris.☆13May 2, 2014Updated 12 years ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 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.
- Experimental normalisation via scheme☆11Jul 25, 2021Updated 5 years ago
- An implementation of a simple Neural network in Idris using category theory.☆25Sep 18, 2024Updated 2 years ago
- A proper network library for Idris, now that I know what I'm doing.☆58Sep 27, 2016Updated 10 years ago
- Dependently-typed structures for quantum physics in Idris☆13Nov 25, 2015Updated 10 years ago
- Implementation of Quantitative Type Theory (in TypeScript)☆14Dec 16, 2020Updated 5 years ago
- Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.☆14Apr 5, 2017Updated 9 years ago
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 5 years ago
- Cheat sheet for Haskellers wanting to get up to speed with category theory☆12Mar 4, 2020Updated 6 years ago
- Category Theory & Cobordism Categories in Lean 4☆16Jun 27, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- All higher inductive types can be obtained from three simple HITs.☆17Apr 6, 2018Updated 8 years ago
- Formalization of Tendermint proposer election properties☆14Jan 13, 2019Updated 7 years ago
- 🌋 Idris implementation of patricia tree☆23Nov 6, 2020Updated 6 years ago
- Experiments in implementing functional data structures in Idris☆15Jul 25, 2019Updated 7 years ago
- Recursion schemes for Idris☆64Aug 23, 2018Updated 8 years ago
- Using Luxor.jl to design common diagrams found in Category Theory 🐱☆13Mar 26, 2022Updated 4 years ago
- Idris GraphQL☆17Dec 16, 2017Updated 8 years ago