awalterschulze / category-theory-for-programmers-challengesView external linksLinks
Challenges from Category Theory for Programmers
☆127Oct 24, 2024Updated last year
Alternatives and similar repositories for category-theory-for-programmers-challenges
Users that are interested in category-theory-for-programmers-challenges are comparing it to the libraries listed below
Sorting:
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆33Apr 21, 2019Updated 6 years ago
- HoTT Note-taking action☆25Mar 24, 2019Updated 6 years ago
- This module contains common packages for Contiamo projects written in Go☆10Jun 12, 2024Updated last year
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- NES programming in Haskell? No way!☆39Dec 2, 2015Updated 10 years ago
- First Haskell implementations of Fran/FRP☆34Jan 31, 2019Updated 7 years ago
- Deep learning via category theory and functional programming☆151May 4, 2020Updated 5 years ago
- 🧮 Polynomial Calculator☆12Jan 3, 2023Updated 3 years ago
- Lua implemented in Mercury☆15Mar 17, 2024Updated last year
- GFWX: Good, Fast Wavelet Codec (Rust)☆14Oct 29, 2025Updated 3 months ago
- Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source☆11,486Jan 24, 2026Updated 3 weeks ago
- Beseder: make impossible state transitions impossible☆31Mar 21, 2020Updated 5 years ago
- A simple package to format Backus-Naur form☆15Feb 9, 2026Updated last week
- 极速VPN☆21Aug 6, 2020Updated 5 years ago
- Simple setup for deploying Haskell to Amazon Lambda☆14Jun 25, 2020Updated 5 years ago
- a little category theory in Idris☆10Jun 27, 2016Updated 9 years ago
- ☆15Jan 22, 2017Updated 9 years ago
- An Haskell oriented introduction to Category Theory (with basket of cats!)☆63Oct 6, 2025Updated 4 months ago
- The theory of algebraic graphs formalised in Agda☆91Jul 15, 2018Updated 7 years ago
- Category theory concepts in type classes and instances.☆23Updated this week
- Simple app demonstrating web server that communicates with sql database using zio-sql library.☆14Feb 13, 2023Updated 3 years ago
- Source code for "Writing a concurrent LRU Cache with ZIO blogpost"☆15Jun 16, 2023Updated 2 years ago
- There are many category theory implementations, but this one is mine☆16Aug 22, 2024Updated last year
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Sep 1, 2025Updated 5 months ago
- Haskell bindings to the Eigen C++ library☆16May 23, 2024Updated last year
- Declarative Reactive Functional Architecture for iOS Application☆16Dec 7, 2020Updated 5 years ago
- Stable types conversions generator☆23Jan 15, 2026Updated last month
- exercises for the book - the little typer☆21May 15, 2025Updated 9 months ago
- Solving the 1 Billion Row Challenge in MPL☆17Jan 9, 2024Updated 2 years ago
- Awesome Agda Programming☆18Sep 22, 2025Updated 4 months ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆793Jan 9, 2026Updated last month
- A lambda calculus to explore type-directed program synthesis.☆85Jan 20, 2020Updated 6 years ago
- a smol (quick) git status prompt plugin☆22Jun 1, 2025Updated 8 months ago
- experimental middleware-based minimalism async HTTP server framework☆22Mar 28, 2021Updated 4 years ago
- Haskell module for K-D trees☆29Dec 4, 2017Updated 8 years ago
- e-book version of Bartosz Milewski's Category Theory for Programmers☆498Oct 19, 2018Updated 7 years ago
- https://mitchellwrosen.github.io/haskell-papers☆22Dec 15, 2018Updated 7 years ago
- A playground for type theory implementations in Racket☆20Dec 2, 2015Updated 10 years ago