Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
-
Updated
Jul 10, 2026 - TeX
GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — Build software better, together
#
category-theoryHere are 564 public repositories matching this topic...Language: All
Filter by language
Sort: Most stars
Sort options
Programming Language Theory λΠ
A modern commutative diagram editor for the web.
editor latex diagram category-theory tikz fletcher commutative-diagrams tikzcd typst tikz-cd pasting-diagrams commutative
A simple visual editor for creating commutative diagrams.
List of papers studying machine learning through the lens of category theory
A library for functional programming in Rust
rust functional-programming lambda-calculus monad functor category-theory monoid hkt applicative homomorphism comonad morphism
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
haskell functional-languages design-patterns monad functor category-theory typeclasses monoids monad-transformers strategy-pattern builder-pattern traversable factory-pattern function-composition pattern-language reader-monad gof-patterns functors iterator-pattern typeclassopedia
An axiom-free formalization of category theory in Coq for personal study and practical work
construction comonads coq monad functor category-theory monoid categories category cartesian-closed-category cartesian profunctor profunctor-composition
A framework for applied category theory in the Julia language
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
swift swift-library functional-programming cocoapods carthage composition effects fp reactive-programming monad functor category-theory free-monad bow spm hacktoberfest mtl tagless-final declarative-programming
An opinionated F# Library for error handling
Category theory in the context of (functional) programming
A book about category theory
Functional programming great resources
scala algebra functional-programming monad category-theory recursion-schemes monoid typeclass typeclasses monad-transformers free-monads
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
ACT community resources
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
The Python toolkit for computing with string diagrams.
Programming language agnostic type construction language based on polynomials.
serialization types marshalling type-theory category-theory serialization-library f-algebras type-definitions
Categorical Query Language IDE
data-science etl functional-programming category-theory data-integration cql data-exchange data-migratation
Add this topic to your repoTo associate your repository with the category-theory topic, visit your repo's landing page and select "manage topics." |
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |