406 skills found · Page 1 of 14
hmemcpy / Milewski Ctfp PdfBartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
steshaw / PltProgramming Language Theory λΠ
varkor / QuiverA modern commutative diagram editor for the web.
yishn / Tikzcd EditorA simple visual editor for creating commutative diagrams.
bgavran / Category Theory Machine LearningList of papers studying machine learning through the lens of category theory
JasonShin / Fp Core.rsA library for functional programming in Rust
thma / LtuPatternFactoryLambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
funcool / CatsCategory Theory and Algebraic abstractions for Clojure and ClojureScript.
jwiegley / Category TheoryAn axiom-free formalization of category theory in Coq for personal study and practical work
AlgebraicJulia / Catlab.jlA framework for applied category theory in the Julia language
prathyvsh / Category Theory ResourcesResources for learning Category Theory for an enthusiast
bow-swift / Bow🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
demystifyfp / FsToolkit.ErrorHandlingAn opinionated F# Library for error handling
jwbuurlage / Category Theory ProgrammersCategory theory in the context of (functional) programming
onlurking / Category Theory For Programmerse-book version of Bartosz Milewski's Category Theory for Programmers
mmenestret / Fp ResourcesFunctional programming great resources
uncomplicate / FluokittenCategory theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
statebox / Awesome Applied CtACT community resources
zio / Zio PreludeA lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
abuseofnotation / Category Theory IllustratedA book about category theory
