2 results found Sort:

AlgebraicJulia
Catlab.jl AlgebraicJulia
58
611
mit
19
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
2,996 commits to main branch, last one 12 days ago
homotopy-io
homotopy-rs homotopy-io
7
84
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,757 commits to master branch, last one 19 days ago