jaybutera / Category-Theory-NotesView external linksLinks
Notes on Category Theory For Programmers by Bartosz Milewski
☆56May 27, 2018Updated 7 years ago
Alternatives and similar repositories for Category-Theory-Notes
Users that are interested in Category-Theory-Notes are comparing it to the libraries listed below
Sorting:
- Should I water my balcony?☆13Aug 6, 2018Updated 7 years ago
- A library simplifying user management for Haskell web applications☆51Oct 10, 2022Updated 3 years ago
- Category theory applied to functional programming (undergraduate project)☆34May 1, 2025Updated 9 months ago
- Minimal blockchain in Haskell☆13Oct 14, 2017Updated 8 years ago
- ☆10Nov 21, 2025Updated 2 months ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- A uniform collection of API bindings for various cryptocurrency exchanges☆13Mar 14, 2018Updated 7 years ago
- Model-view-controller☆64Sep 4, 2022Updated 3 years ago
- 2D physics and rendering for apecs☆45Nov 22, 2018Updated 7 years ago
- Explaining category theory by example☆10Jun 30, 2017Updated 8 years ago
- Functor-parametric containers☆20Jan 19, 2025Updated last year
- Extensions to cubical for categorical logic/type theory☆35Updated this week
- Mustache templates for Haskell. megaparsec -> parsec; stache -> microstache☆17Jan 15, 2025Updated last year
- WAI middleware that intercepts requests to static files and serves them if they exist.☆18Jan 10, 2026Updated last month
- Executable examples for Elerea.☆18Jun 19, 2016Updated 9 years ago
- Haskell interface to Kinect.☆25Aug 26, 2015Updated 10 years ago
- a little category theory in Idris☆10Jun 27, 2016Updated 9 years ago
- ↔️ tight ghci integration for vim☆17Oct 21, 2022Updated 3 years ago
- A tutorial for reflex-dom with small code bits☆115Jan 19, 2023Updated 3 years ago
- Lean Haskell Benchmarking☆90Aug 30, 2022Updated 3 years ago
- A partial transpiler from Haskell to Julia.☆16Sep 1, 2020Updated 5 years ago
- A natural transformation package☆16Jan 8, 2026Updated last month
- TeX files for summary of category theory☆15Apr 9, 2016Updated 9 years ago
- Haskell Dockerfile linter, parser, pretty-printer and EDSL, forked from https://github.com/lukasmartinelli/hadolint.☆19Nov 18, 2017Updated 8 years ago
- Haskell priority queue package☆17Jan 3, 2026Updated last month
- Reverse proxy that handles authentication☆37Sep 9, 2018Updated 7 years ago
- An implementation of the game Love Letter in the terminal, written in Haskell.☆16May 27, 2019Updated 6 years ago
- ☆14Jan 12, 2018Updated 8 years ago
- Functional GPU programming - DSEL & compiler☆22Sep 9, 2016Updated 9 years ago
- Example of using the servant web framework in Eta☆16Feb 5, 2018Updated 8 years ago
- ☆21Dec 8, 2022Updated 3 years ago
- A Haskell binding to MeCab☆23Feb 19, 2017Updated 8 years ago
- Benchmarks to compare Haskell streaming library performance☆107Sep 9, 2025Updated 5 months ago
- A project comparing the Tagless Final approach with the Free Monad one, using the Monix's Task as the target monad☆14May 20, 2017Updated 8 years ago
- 🎞️ Sprite frames to spritesheet & metadata☆18Jun 17, 2018Updated 7 years ago
- Example purescript-reactnative Movie app☆38Dec 9, 2018Updated 7 years ago
- A course-worth of notes☆202Jul 3, 2024Updated last year
- Haskell Configuration Loader☆19Feb 3, 2026Updated last week
- 2D game engine written in Haskell☆93Apr 26, 2021Updated 4 years ago