awesome-applied-ct
github.com/statebox/awesome-applied-ct ↗ACT community resources
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me articles resources from awesome-applied-ct"
Installation instructions →What's inside
Articles
- A categorical approach to open and interconnected dynamical systems
by
- A categorical approach to probability theory
by Michèle Giry
- Algebraic databases
by
- Algebraic Model Management: A survey
by
- A semantical approach to equilibria and rationality
by
- A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
by
Conferences
- ACT
Applied Category Theory Conference
- Statebox Summit
An yearly gathering of category theorists and functional programmers
- SYCO
Symposium on Compositional Structures
Lectures
Tools
- Cartographer.id
a tool for string diagrammatic reasoning
- Catlab.jl
an experimental framework for applied category theory
- Homotopy.io
a web-based proof assistant for finitely-presented globular n-categories
- KdMonCat
a tool for drawing morphisms in monoidal categories
Books
Journals
- Compositionality
open-access journal for research using compositional ideas, most notably of a category-theoretic origin, in any discipline
Companies
- Conexus
A start-up developing
- IOHK
builds cryptocurrencies and blockchain solutions, based on peer reviewed papers; formally verified specifications in
- RChain
blockchain ecosystem it's foundational language - Rholang is implementation of
- Statebox
building a formally verified process language using robust mathematical principles to prevent errors, allow compositionality and ensure termination
Showing a sample of 43 resources. View the full list on GitHub →