Learning platform for category theory in python
☆17Mar 17, 2026Updated this week
Alternatives and similar repositories for category-theory-python
Users that are interested in category-theory-python are comparing it to the libraries listed below
Sorting:
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 4 years ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆19Nov 21, 2018Updated 7 years ago
- ERC721 變體測試（ERC721, ERC721A, ERC721Solmate, ERC721Psi ...）☆10Jul 18, 2022Updated 3 years ago
- Code examples for "Under the hood of calling C/C++ from Python"☆13Sep 16, 2020Updated 5 years ago
- A Riks arclength solver implemented in FEniCS☆15Jan 8, 2026Updated 2 months ago
- TeX files for summary of category theory☆15Apr 9, 2016Updated 9 years ago
- Category theory concepts in type classes and instances.☆23Mar 13, 2026Updated last week
- Category Theory for Quantum Natural Language Processing☆11Feb 22, 2023Updated 3 years ago
- There are many category theory implementations, but this one is mine☆16Aug 22, 2024Updated last year
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆17Jan 6, 2026Updated 2 months ago
- Turn dataclasses into not-dataclasses☆23Jun 18, 2022Updated 3 years ago
- Leo code snippets☆13Apr 27, 2020Updated 5 years ago
- Usage examples for Viz.js☆12Dec 8, 2018Updated 7 years ago
- A framework to compress classical machine learning model during training by quantum machine learning☆19Aug 1, 2024Updated last year
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Aug 3, 2019Updated 6 years ago
- Personal PKGBUILDs☆17Feb 17, 2026Updated last month
- sometimes math is just too much fun☆22Jun 25, 2015Updated 10 years ago
- Prototype for a Category Theory-based GNN Library☆15Apr 20, 2022Updated 3 years ago
- Category theory formalized in cubical agda☆21Feb 16, 2020Updated 6 years ago
- Semantic search web application with graph visualization in Django☆12Aug 2, 2017Updated 8 years ago
- A software for solving problems in cardiac mechanics☆17Mar 9, 2026Updated last week
- An implementation of a simple Neural network in Idris using category theory.☆25Sep 18, 2024Updated last year
- Plugin for integration of PlantUML in TiddlyWiki☆14Nov 15, 2012Updated 13 years ago
- A desktop solution for BPMN modeling☆12Jan 13, 2021Updated 5 years ago
- A list of (detailed, non-stochastic) action potential models, with links to papers, source code, CellML and Myokit implementations☆11Updated this week
- FEniCS code for inverse FEM hyper-elasticity☆21Mar 26, 2022Updated 3 years ago
- ACT community resources☆27Oct 3, 2019Updated 6 years ago
- A list of works and resources about double category theory, with a particular focus on applications.☆31Oct 19, 2022Updated 3 years ago
- Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski☆26Jan 4, 2023Updated 3 years ago
- Algebraic structures, higher-kinded types and other category theory bad ideas☆28Mar 31, 2023Updated 2 years ago
- Next generation ODE translator☆12Updated this week
- Material Definition with Automatic Differentiation☆32Aug 28, 2025Updated 6 months ago
- Jupyter Notebook for Natural Language Processing learning☆11Apr 28, 2017Updated 8 years ago
- A JSON extension plugin for TiddlyWiki5☆17Dec 28, 2020Updated 5 years ago
- Fuzzy cognitive maps python library☆11Jan 14, 2022Updated 4 years ago
- A system for computational category theory and applications☆40Jun 27, 2016Updated 9 years ago
- A threat modeling tool that implements the Trike v2 methodology in Smalltalk☆16Nov 18, 2019Updated 6 years ago
- C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱☆38Oct 28, 2025Updated 4 months ago
- Python scripts for using mindmup JSON as a medium for developing attack trees☆15Aug 25, 2021Updated 4 years ago