A framework for applied category theory in the Julia language
-
Updated
Jul 17, 2024 - Julia
A framework for applied category theory in the Julia language
Parameterise all the things
Tangent bundle, vector space and Submanifold definition
Relational Algebra, now with more algebra!
Tensor algebra abstract type interoperability setup
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
Bayesian inference on wiring diagrams.
Theories of social science expressed in Catlab.jl formalisms
Julia package for building composable DSLs with multiple interpretations.
The homalg project compatibility package for Julia
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."