🚀 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

[Version 0.5.0][Registered Package][Functional] (max,+) and (min,+) algebra toolbox for Julia from Scilab toolbox

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.

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.

Algebraic Structures in pure Python

A Python library implementing provenance-aware relational algebra (σ, π, ×, ⊎, δ) over K-relations, supporting Boolean, Boolean Function, Counting, and Polynomial semirings.