A library for functional programming in Rust
A Rust/WASM implementation of homotopy.io
Protobufs for functional programming
Category Theory For Programmers (Bartosz Milewski)
Cospans, spans, hypergraph rewriting (DPO), multiway evolution, discrete curvature, Petri nets, Frobenius algebras, wiring diagrams, E_n operads, compact closed categories, and lattice gauge theory in Rust — applied category theory for compositional systems, with SurrealDB persistence
A visual and textual toolkit for Domain-Driven Design powered by category theory. Build precise domain models with drag-and-drop for domain experts or a DSL for developers. Validates aggregates, context maps, and business rules. Generates code.
A library which provides abstractions for functional programming in Rust. Inspired by Scala library cats.
🛠️ Build domain models visually or with code, bridging the gap between domain experts and developers for precise, validated solutions.
Computational irreducibility as functoriality (Gorard arXiv:2301.04690) — Turing machines, cellular automata, hypergraph rewriting, Fong-Spivak Frobenius verification in Rust, built on catgraph
Algebraic structures, higher-kinded types and other category theory bad ideas
Rustica is a functional programming library for the Rust language.
Implementations of the challenges from the book, Category Theory for Programmers
Code challenges from Bartosz Milewski's Category Theory For Programmers implemented in Rust
Rust HKT playground powered with derive macro generated type families
A modular audio synthesis library using Arrow-style combinators and graph-based patching.
Add a description, image, and links to the category-theory topic page so that developers can more easily learn about it.
To associate your repository with the category-theory topic, visit your repo's landing page and select "manage topics."