AlgebraicJulia/Catlab.jl

A framework for applied category theory in the Julia language

语言：Julia · GitHub 星标：730 · Fork：73

话题：applied-category-theory · category-theory · compositionality · julia · string-diagrams · wiring-diagrams

在 GitHub 上查看原仓库