2 results found Sort:

AlgebraicJulia
Catlab.jl AlgebraicJulia
57
622
mit
20
A framework for applied category theory in the Julia language
julia category-theory string-diagrams wiring-diagrams compositionality applied-category-theory
Created 2017-04-04
3,055 commits to main branch, last one 12 days ago
homotopy-io
homotopy-rs homotopy-io
7
91
bsd-3-clause
5
A Rust/WASM implementation of homotopy.io
math rust maths diagram diagrams mathematics string-diagram category-theory proof-assistant string-diagrams proof-assistants higher-category-theory
Created 2020-09-17
1,761 commits to master branch, last one 28 days ago