A framework for applied category theory in the Julia language
-
Updated
Dec 26, 2024 - Julia
#
applied-category-theory
Here are 22 public repositories matching this topic...
ACT community resources
-
Updated
Nov 26, 2019
A curated list of awesome Category Theory resources.
monads mathematics type-theory functor category-theory awesome-list monoids category applicative abstract-algebra functors applied-category-theory category-theory-for-programmers natural-transformations
-
Updated
Feb 24, 2024
Tangent bundle, vector space and Submanifold definition
math linear-algebra functor category-theory tensors type-system manifold tensor-algebra abstract-algebra manifolds applied-category-theory compositionality
-
Updated
Dec 21, 2024 - Julia
Tensor algebra abstract type interoperability setup
math linear-algebra functor category-theory tensor type-system manifold tensor-algebra manifolds applied-category-theory compositionality
-
Updated
Nov 18, 2024 - Julia
Sources for "Applied Category Theory for Engineering"
-
Updated
Dec 16, 2024 - TeX
A list of works and resources about double category theory, with a particular focus on applications.
-
Updated
Oct 19, 2022
Bayesian inference on wiring diagrams.
julia inference category-theory bayesian-inference probabilistic-graphical-models bayesian-statistics message-passing applied-category-theory
-
Updated
Sep 28, 2023 - Julia
A specialised computer algebra system for topos theory.
research functional-programming functions cubes research-project squares topos-theory categorical-logic double-category applied-category-theory topos first-class-functions higher-dimensional hypercubes presheaf-theory double-categories sierpinski-topos
-
Updated
Jun 23, 2024 - Clojure
Sheaves library for graph abstractions based on NetworkX
-
Updated
May 5, 2019 - Jupyter Notebook
Maurer-Cartan-Lie frame connections ∇ Grassmann.jl TensorField derivations
topology calculus computational-geometry differential-geometry curvature tensor lie-groups tensor-algebra general-relativity hyperbolic-geometry mesh-processing geometric-algebra manifolds computational-topology clifford-algebras non-euclidean-geometry riemannian-geometry applied-category-theory discrete-exterior-calculus compositionality
-
Updated
Dec 22, 2024 - Julia
Open Markov Proceses as TensorFlow objects, Petri Nets and Chemical Rxn Nets in Haskell
markov reaction-network petri-nets tensorflow-models double-category applied-category-theory evolutionary-graph-theory
-
Updated
May 7, 2022 - Jupyter Notebook
For Azimuth ACT course
prism concurrency lenses optics azimuth backprop posets hasse-diagram parameterized-systems backpropogation applied-category-theory quantale
-
Updated
Apr 3, 2019 - Haskell
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
-
Updated
Aug 5, 2022 - TeX
Implementation of concepts from Applied Category Theory
-
Updated
Jan 3, 2023 - Idris
Extended abstract for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'
streams category-theory digital-circuits applied-category-theory extended-abstract mealy-machines syco syco8
-
Updated
Dec 6, 2021 - TeX
Exercise solutions and notes related to "An Invitation to Applied Category Theory"
haskell solutions category-theory applied-mathematics haskell-learning haskell-exercises applied-category-theory
-
Updated
Sep 19, 2019 - Haskell
Emacs language support mode for CQL (Categorical Query Language), formerly called AQL. See https://www.categoricaldata.net.
-
Updated
Apr 7, 2018 - Emacs Lisp
Slides for my talk at the LFCS seminar, 'A compositional theory of digital circuits'
-
Updated
Feb 7, 2023 - TeX
A module of applied basic category theory in the Julia language
-
Updated
Dec 17, 2024 - Julia
Improve this page
Add a description, image, and links to the applied-category-theory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the applied-category-theory topic, visit your repo's landing page and select "manage topics."