Notes on Category Theory For Programmers by Bartosz Milewski
☆56May 27, 2018Updated 8 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Notes from Category Theory for Programmers lessons by Bartosz Milewski☆29Sep 15, 2017Updated 9 years ago
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 8 years ago
- Three-dimensional category theory diagram server using Haskell and Yesod☆10Jan 31, 2018Updated 8 years ago
- Should I water my balcony?☆13Aug 6, 2018Updated 8 years ago
- A library simplifying user management for Haskell web applications☆51Oct 10, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A uniform collection of API bindings for various cryptocurrency exchanges☆13Mar 14, 2018Updated 8 years ago
- Reverse proxy that handles authentication☆37Sep 9, 2018Updated 8 years ago
- A digital archive of category theory papers.☆37Jun 27, 2026Updated 3 months ago
- A category polymorphic `Functor` typeclass.☆11Jul 27, 2026Updated 2 months ago
- A small in-terminal dungeon crawler written in Haskell☆11Aug 29, 2018Updated 8 years ago
- ↔️ tight ghci integration for vim☆17Oct 21, 2022Updated 4 years ago
- TeX files for summary of category theory☆15Apr 9, 2016Updated 10 years ago
- Tools for functors from Hask^k to Hask☆23Aug 25, 2019Updated 7 years ago
- Explaining category theory by example☆10Jun 30, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Category theory applied to functional programming (undergraduate project)☆35May 1, 2025Updated last year
- Lean Haskell Benchmarking☆90Aug 30, 2022Updated 4 years ago
- ☆12Jan 2, 2026Updated 9 months ago
- Extensions to cubical for categorical logic/type theory☆41Oct 13, 2026Updated last week
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 10 years ago
- an Octopress blog by Jake Zimmerman☆16Jan 21, 2026Updated 8 months ago
- ☆10Feb 27, 2026Updated 7 months ago
- A natural transformation package☆16Jan 8, 2026Updated 9 months ago
- A small example of using mtl style to unit test effectful code☆107Oct 29, 2017Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Haskell priority queue package☆17Apr 16, 2026Updated 6 months ago
- Slides and code examples for a talk☆22Dec 19, 2017Updated 8 years ago
- ☆11Sep 19, 2017Updated 9 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Jun 8, 2018Updated 8 years ago
- Safe web routing in haskell☆30Apr 25, 2023Updated 3 years ago
- experiments with pext/pdep and codebruijn syntax☆17Nov 17, 2019Updated 6 years ago
- ☆21Jan 3, 2025Updated last year
- Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.☆138Dec 2, 2019Updated 6 years ago
- Haskell Dockerfile linter, parser, pretty-printer and EDSL, forked from https://github.com/lukasmartinelli/hadolint.☆19Nov 18, 2017Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 8 years ago
- Haskell library for doing category theory with a central role for profunctors☆31Updated this week
- Monitor nginx access logs in real time.☆25Dec 9, 2019Updated 6 years ago
- A system for computational category theory and applications☆41Jun 27, 2016Updated 10 years ago
- 2D physics and rendering for apecs☆45Nov 22, 2018Updated 7 years ago
- Using Luxor.jl to design common diagrams found in Category Theory 🐱☆13Mar 26, 2022Updated 4 years ago
- Literature review of GHC's Core language, System FC☆67Jun 27, 2018Updated 8 years ago