Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Accepted Projects
- Recently synced
- Ranking

https://github.com/smimram/strid

A string diagram generator for LaTeX.

latex ocaml string-diagram

Last synced: 19 Jun 2024

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