Topos Institute
Home
Work
Collaborative modelling
Collective intelligence
Research ethics
Community building
Our output
Team
Events
Blog
Get Involved
Catlab.jl
A framework for applied category theory
Topos maintainer:
Evan Patterson
Paper:
Categorical Data Structures for Technical Computing
(2021)
Repository:
https://github.com/AlgebraicJulia/Catlab.jl