applied-category-theory
There are 20 repositories under applied-category-theory topic.
AlgebraicJulia/Catlab.jl
A framework for applied category theory in the Julia language
statebox/awesome-applied-ct
ACT community resources
madnight/awesome-category-theory
A curated list of awesome Category Theory resources.
chakravala/DirectSum.jl
Tangent bundle, vector space and Submanifold definition
chakravala/AbstractTensors.jl
Tensor algebra abstract type interoperability setup
mattecapu/awesome-double-categories
A list of works and resources about double category theory, with a particular focus on applications.
ACT4E/ACT4E
Sources for "Applied Category Theory for Engineering"
samuelsonric/AlgebraicInference.jl
Bayesian inference on wiring diagrams.
locusmath/locus
A specialised computer algebra system for topos theory.
arquicanedo/graph2sheaves
Sheaves library for graph abstractions based on NetworkX
chakravala/Cartan.jl
Maurer-Cartan-Lie frame connections ∇ Grassmann.jl TensorField derivations
Cobord/OpenMarkov-PetriNet-RxnNet
Open Markov Proceses as TensorFlow objects, Petri Nets and Chemical Rxn Nets in Haskell
Cobord/Azimuth-Applied-Category-Theory
For Azimuth ACT course
georgejkaye/act2022-slides
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
georgejkaye/syco8-abstract
Extended abstract for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'
lemastero/Idris-Applied-Category-Theory
Implementation of concepts from Applied Category Theory
dogonthehorizon/seven-applied-cats
Exercise solutions and notes related to "An Invitation to Applied Category Theory"
georgejkaye/lfcs-seminar
Slides for my talk at the LFCS seminar, 'A compositional theory of digital circuits'
georgejkaye/syco8-slides
Slides for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'