A modern editor with a backend written in Rust.
-
Updated
Jan 5, 2020 - Rust
A modern editor with a backend written in Rust.
A library for functional programming in Rust
Utilities for cospans, wiring diagrams, frobenius algebras , spans, en operads and petri nets along with more basic utilities for morphisms in (symmetric) monoidal categories, flavors of FinSet, operads and nicely presented monoids
Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
A library for functional programming in Rust
Add a description, image, and links to the monoid topic page so that developers can more easily learn about it.
To associate your repository with the monoid topic, visit your repo's landing page and select "manage topics."