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