Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with partially-commutative-monoids
A curated list of projects in awesome lists tagged with partially-commutative-monoids .
https://github.com/annenkov/trace-monoids
Trace monoids in Cubical Agda
concurrency homotopy-type-theory monoids partially-commutative-monoids trace-monoids
Last synced: 06 Nov 2024
