category-theory
There are 366 repositories under category-theory topic.
hmemcpy/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
steshaw/plt
Programming Language Theory λΠ
varkor/quiver
A modern commutative diagram editor for the web.
yishn/tikzcd-editor
A simple visual editor for creating commutative diagrams.
JasonShin/fp-core.rs
A library for functional programming in Rust
bgavran/Category_Theory_Machine_Learning
List of papers studying machine learning through the lens of category theory
thma/LtuPatternFactory
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
jwiegley/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
bow-swift/bow
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
AlgebraicJulia/Catlab.jl
A framework for applied category theory in the Julia language
jwbuurlage/category-theory-programmers
Category theory in the context of (functional) programming
mmenestret/fp-resources
Functional programming great resources
demystifyfp/FsToolkit.ErrorHandling
An opinionated F# Library for error handling
uncomplicate/fluokitten
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
statebox/awesome-applied-ct
ACT community resources
zio/zio-prelude
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
typedefs/typedefs
Programming language agnostic type construction language based on polynomials.
discopy/discopy
The Python toolkit for computing with string diagrams.
abuseofnotation/category-theory-illustrated
A book about category theory
sderosiaux/every-single-day-i-tldr
A daily digest of the articles or videos I've found interesting, that I want to share with you.
CategoricalData/CQL
Categorical Query Language IDE
jameshaydon/lawvere
A categorical programming language with effects
statebox/idris-ct
formally verified category theory library
UniMath/agda-unimath
The agda-unimath library
Risto-Stevcev/bastet
A ReasonML/Ocaml library for category theory and abstract algebra
rzk-lang/rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
dmitriz/functional-examples
Examples with Functional JavaScript, following Professor Frisby's course
err0r500/foundational-knowledge-for-programmers
List of resources about foundational knowledge for programmers (supposed to last a few decades)
adamnemecek/adjoint
Thoughts on adjoint, norm and such.
statebox/cql
CQL: Categorical Query Language implementation in Haskell
copumpkin/categories
Categories parametrized by morphism equality, in Agda
xvw/preface
Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
rafbcampos/naive_functional_programming
A naive approach to functional programming using TypeScript
Anton-Latukha/Fundamental-Haskell
Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meaning. Zen kōan-like meditations of understanding. For quick or memory curve spaced repetition learning.
FluxML/Functors.jl
Parameterise all the things
functionalland/functional
Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno.