🚀 State-of-the-art parsers for natural language.
A ReasonML/Ocaml library for category theory and abstract algebra
Adding support for provenance and uncertainty management to PostgreSQL databases
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 stratified, semiring-parameterized Datalog and its reference engine — the symbolic core of a neuro-symbolic logic system. Bool/Trop semirings, stratified negation, aggregates, exact probabilistic (?prob) queries, and a stable-model (@asp) solver.
Algebraic Primitives for Sparse Data Structures in Python
Open protocol + reference runtime for sovereign AI agents. Persistent cryptographic identity, signed execution receipts, governance at the boundary. The intelligence is pluggable; the identity is the asset.
A language whose denoted programs form a dioid under program concatenation [BSD license]
Some Tropical Matrices
Implementation and proof that Set category is semiring with product and coproduct.
Weighted finite-state transducers in Rust, file-compatible with OpenFst, and a speech decoder built on them
A Python library implementing provenance-aware relational algebra (σ, π, ×, ⊎, δ) over K-relations, supporting Boolean, Boolean Function, Counting, and Polynomial semirings.
To associate your repository with the semiring topic, visit your repo's landing page and select "manage topics."