madnight / awesome-category-theory
A curated list of awesome Category Theory resources.
☆72Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for awesome-category-theory
- Autoregressive transformers in APL☆89Updated last month
- ☆50Updated 5 months ago
- a categorical deep learning compiler☆108Updated 6 months ago
- List of resources for learning Category Theory☆224Updated last year
- ☆37Updated last month
- A minimal proof checker.☆64Updated 2 months ago
- A book about category theory☆341Updated 2 weeks ago
- Persistence of concurrent activities for Gerbil Scheme☆48Updated 3 weeks ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆26Updated 2 years ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated 9 months ago
- A lisp dialect based on pattern matching and term rewriting☆84Updated last month
- A tiny, self-contained, general-purpose quantum interpreter.☆45Updated last year
- Animations of lambda term reduction sequences☆89Updated 6 years ago
- A List of companies that use Array Languages (J, K, APL, q)☆93Updated 7 months ago
- OCaml code to construct an NFA from a regular expression☆49Updated 4 years ago
- Brzozowski derivative python sketch☆83Updated 7 months ago
- A graphical interactive proof assistant designed for education☆161Updated 2 months ago
- Copies of prolog solvers for use from python☆14Updated 4 months ago
- The Principia Rewrite☆206Updated 5 months ago
- An online IDE for visual programming in Prolog☆234Updated this week
- Catalog of visual lambda calculi☆99Updated last year
- ☆46Updated 3 weeks ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆75Updated 2 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆17Updated 2 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆68Updated last month
- A formal consistency proof of Quine's set theory New Foundations☆66Updated last week
- Resources for learning Category Theory for an enthusiast☆603Updated last year
- ☆89Updated 2 weeks ago
- arthur whitney's b interpreter translated into a more traditional flavor of C☆95Updated 7 years ago
- Theory and Applications of Lenses and Optics☆53Updated 2 years ago