Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/AlgebraicJulia/Catlab.jl
A framework for applied category theory in the Julia language
applied-category-theory category-theory compositionality julia string-diagrams wiring-diagrams
Last synced: 11 Jun 2024
![](https://github.com/AlgebraicJulia.png)
https://github.com/homotopy-io/homotopy-rs
A Rust/WASM implementation of homotopy.io
category-theory diagram diagrams higher-category-theory math mathematics maths proof-assistant proof-assistants rust string-diagram string-diagrams
Last synced: 22 May 2024
![](https://github.com/homotopy-io.png)