applied-category-theory
There are 7 repositories under applied-category-theory topic.
AlgebraicJulia / Catlab.jl
A framework for applied category theory in the Julia language
Language:Julia 670statebox / 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
Language:Julia 51Tensor algebra abstract type interoperability setup
Language:Julia 44- Language:TeX 35
mattecapu / awesome-double-categories
A list of works and resources about double category theory, with a particular focus on applications.
- Language:Clojure 18
samuelsonric / AlgebraicInference.jl
Bayesian inference on wiring diagrams.
Language:Julia 18arquicanedo / graph2sheaves
Sheaves library for graph abstractions based on NetworkX
Language:Jupyter Notebook 15- Cartan.jl
TensorField topology over FrameBundle ∇ with Grassmann.jl finite elements
applied-category-theorycalculuscompositionalitydifferential-geometrydiscrete-exterior-calculusmanifoldstensorgeometric-algebraclifford-algebrastensor-algebratopologycomputational-geometryriemannian-geometrygeneral-relativitycurvaturelie-groupsnon-euclidean-geometrycomputational-topologymesh-processinglie-algebraLanguage:Julia 8 Cobord / OpenMarkov-PetriNet-RxnNet
Open Markov Proceses as TensorFlow objects, Petri Nets and Chemical Rxn Nets in Haskell
Language:Jupyter Notebook 7For Azimuth ACT course
Language:Haskell 6georgejkaye / act2022-slides
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
Language:TeX 5lemastero / Idris-Applied-Category-Theory
Implementation of concepts from Applied Category Theory
Language:Idris 5dogonthehorizon / seven-applied-cats
Exercise solutions and notes related to "An Invitation to Applied Category Theory"
Language:Haskell 3epost / aql-mode
Emacs language support mode for CQL (Categorical Query Language), formerly called AQL. See https://www.categoricaldata.net.
Language:Emacs Lisp 3Extended abstract for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'
Language:TeX 3Slides for my talk at the LFCS seminar, 'A compositional theory of digital circuits'
Language:TeX 1FumitakaIwaki / CategoryModule.jl
A module of applied basic category theory in the Julia language
Language:JuliaSlides for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'
Language:TeX- Language:Scala
