#category-theory (20 Repositories)
Ranked open-source repositories tagged with #category-theory, scored by pull request acceptance likelihood and maintainer engagement velocity.
29.0%
9.9h
20 repositories tagged #category-theory
discopy/discopy
The Python toolkit for computing with string diagrams.
rzk-lang/rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
CategoricalData/CQL
Categorical Query Language IDE
FluxML/Functors.jl
Parameterise all the things
demystifyfp/FsToolkit.ErrorHandling
An opinionated F# Library for error handling
jameshaydon/lawvere
A categorical programming language with effects
zio/zio-prelude
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
varkor/quiver
A modern commutative diagram editor for the web.
AlgebraicJulia/Catlab.jl
A framework for applied category theory in the Julia language
yishn/tikzcd-editor
A simple visual editor for creating commutative diagrams.
abuseofnotation/category-theory-illustrated
A book about category theory
uncomplicate/fluokitten
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
xvw/preface
Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
statebox/cql
CQL: Categorical Query Language implementation in Haskell
AlgebraicJulia/Semagrams.jl
A graphical editor for graph-like structures
msakai/cpl
An interpreter of Hagino's Categorical Programming Language (CPL).
bow-swift/bow
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Risto-Stevcev/bastet
A ReasonML/Ocaml library for category theory and abstract algebra
chshersh/ccl
📜 CCL: Categorical Configuration Language, The most elegant configuration language
JasonShin/fp-core.rs
A library for functional programming in Rust