bgavran / Agda_Category_TheoryView external linksLinks
Formalization of category theory in Agda
☆17Feb 20, 2023Updated 2 years ago
Alternatives and similar repositories for Agda_Category_Theory
Users that are interested in Agda_Category_Theory are comparing it to the libraries listed below
Sorting:
- Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda☆21Updated this week
- Directed type theory for formal category theory☆17Apr 7, 2017Updated 8 years ago
- Category theory formalized in cubical agda☆21Feb 16, 2020Updated 6 years ago
- Algebraic structures, higher-kinded types and other category theory bad ideas☆27Mar 31, 2023Updated 2 years ago
- A list of works and resources about double category theory, with a particular focus on applications.☆31Oct 19, 2022Updated 3 years ago
- A place to collect work on dialectica categories.☆29Jan 11, 2026Updated last month
- Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski☆26Jan 4, 2023Updated 3 years ago
- Extensions to cubical for categorical logic/type theory☆36Updated this week
- ☆35Sep 16, 2022Updated 3 years ago
- Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory☆32Apr 29, 2023Updated 2 years ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆41Jul 30, 2025Updated 6 months ago
- The Shapez Industries mod for shapez.io☆11Jun 17, 2022Updated 3 years ago
- utilities☆15Jul 2, 2013Updated 12 years ago
- ☆17Jan 3, 2025Updated last year
- Navier-Stokes implementation for Processing based on Jos Stam work☆13Feb 1, 2019Updated 7 years ago
- OpenPix/Woovi Java SDK☆10Jul 25, 2024Updated last year
- ☆52May 19, 2024Updated last year
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- A generic Either type implementation for Rust☆14Jan 4, 2023Updated 3 years ago
- OpenPix Plugin Demo using React☆13Jan 8, 2025Updated last year
- FFT for PyCuda and PyOpenCL. The package is deprecated and its functionality is merged into Reikna.☆37Feb 17, 2014Updated 12 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- ESLint plugin for linting n8n nodes☆12Jan 30, 2026Updated 2 weeks ago
- i2p c++ implementation☆19Feb 21, 2015Updated 10 years ago
- Kuiper test and other tools from circular statistics☆14May 6, 2015Updated 10 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated last year
- ☆10Dec 16, 2020Updated 5 years ago
- Prefer class arrow functions to binding in the constructor☆12Mar 4, 2023Updated 2 years ago
- Python library for natural language processing☆10May 8, 2022Updated 3 years ago
- Use the same module system that leverages NixOS to configure your emacs customization☆11Aug 6, 2022Updated 3 years ago
- Type-safe PubSub wrapper for GraphQL subscriptions☆14Feb 22, 2022Updated 3 years ago
- Topics related to Deep Learning☆12Jul 6, 2023Updated 2 years ago
- guarded interaction trees☆10Jul 4, 2025Updated 7 months ago
- The technical paper for the Spark protocol☆11Mar 5, 2024Updated last year
- Replace content before bundling with support for Filefilter, Namespace, Regex and Functions.☆12Mar 26, 2023Updated 2 years ago
- A great starting point for building a p5.js project☆13Aug 16, 2014Updated 11 years ago
- API para pagamentos com PIX junto a empresa Cellcoin☆12Aug 25, 2024Updated last year
- ☆12Jan 26, 2024Updated 2 years ago
- Shalmaneser is a Shallow Semantic Parser.☆11Nov 14, 2016Updated 9 years ago