madnight / awesome-category-theoryView external linksLinks
A curated list of awesome Category Theory resources.
☆130Jan 26, 2026Updated 3 weeks ago
Alternatives and similar repositories for awesome-category-theory
Users that are interested in awesome-category-theory are comparing it to the libraries listed below
Sorting:
- List of resources for learning Category Theory☆280Nov 26, 2024Updated last year
- Web Framework accelerates the development process with its flexibility & speed of use. Written as a library in C language. You can custom…☆15Dec 30, 2025Updated last month
- ☆44Dec 6, 2022Updated 3 years ago
- Category Theory in Programming☆13Jan 22, 2026Updated 3 weeks ago
- SPAKE2 key exchange protocol for Haskell☆14May 24, 2023Updated 2 years ago
- Sources for "Applied Category Theory for Engineering"☆40Jan 29, 2026Updated 2 weeks ago
- Very accurate disassembler of PowerPC-based processors☆16Sep 27, 2020Updated 5 years ago
- Talking about classical logic and abstract algebra in Haskell☆16Feb 12, 2021Updated 5 years ago
- (early experiments toward) a version-control system for structured data☆19Jul 23, 2023Updated 2 years ago
- ACT community resources☆25Oct 3, 2019Updated 6 years ago
- The theory of groups☆81Sep 8, 2023Updated 2 years ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆21Apr 3, 2024Updated last year
- The agda-unimath library☆284Updated this week
- Category theory applied to functional programming (undergraduate project)☆34May 1, 2025Updated 9 months ago
- The Iowa Agda Library☆53Nov 11, 2025Updated 3 months ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆67Jul 21, 2025Updated 6 months ago
- A Rust/WASM implementation of homotopy.io☆113Feb 8, 2026Updated last week
- A functional scripting language compiling to pure Lambda Calculus☆33Nov 25, 2025Updated 2 months ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Mar 12, 2021Updated 4 years ago
- ASCII terminal line charts with no dependencies☆27Jan 6, 2024Updated 2 years ago
- CS410 "Advanced Functional Programming"☆30Feb 10, 2026Updated last week
- ☆28May 19, 2022Updated 3 years ago
- Commutative Applicatives and Semigroups☆31Apr 30, 2018Updated 7 years ago
- Destiny 2 weapon rolls for DIM☆12Updated this week
- ☆27May 6, 2024Updated last year
- Haskell library for semigroup actions and torsors☆64Feb 3, 2025Updated last year
- An Open Encyclopedia of Proof Systems☆120Jul 4, 2022Updated 3 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆32Jan 11, 2022Updated 4 years ago
- Proof theory seminar☆36Apr 6, 2021Updated 4 years ago
- BlipMQ simplifies real-time communication between microservices and distributed systems with a lightweight, blazing-fast broker that just…☆21Feb 3, 2026Updated 2 weeks ago
- A proof assistant for higher-dimensional type theory☆235Jan 26, 2026Updated 3 weeks ago
- Haskell package for handling various feed (RSS) formats.☆31Feb 16, 2024Updated 2 years ago
- Resources for learning Category Theory for an enthusiast☆662Apr 5, 2023Updated 2 years ago
- A blazingly fast Bun.js filesystem router, with an unpleasantly smooth experience!☆38Jul 31, 2022Updated 3 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Jun 6, 2025Updated 8 months ago
- A book about category theory☆454Updated this week
- Visual Novel Interpreter for iOS☆16Feb 15, 2012Updated 14 years ago
- Real-ESRGAN aims at developing Practical Algorithms for General Image/Video Restoration.☆10Jul 24, 2024Updated last year
- A compiler and run-time system to compile and run Curry programs as Go programs☆38Oct 30, 2025Updated 3 months ago