🚀 State-of-the-art parsers for natural language.
A ReasonML/Ocaml library for category theory and abstract algebra
multiplex: algebraic tools for the analysis of multiple social networks
💫 A library for working with ring-like algebraic structures that implements some common semirings
A language whose denoted programs form a dioid under program concatenation [BSD license]
Open protocol and reference runtime for the agentic economy. Sovereign identity via Ed25519, algebraic trust routing, and verifiable execution receipts — fail-closed by design.
Some Tropical Matrices
Implementation and proof that Set category is semiring with product and coproduct.
Algebraic Structures in pure Python
A Python library implementing provenance-aware relational algebra (σ, π, ×, ⊎, δ) over K-relations, supporting Boolean, Boolean Function, Counting, and Polynomial semirings.
Add a description, image, and links to the semiring topic page so that developers can more easily learn about it.
To associate your repository with the semiring topic, visit your repo's landing page and select "manage topics."