🚀 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

Open protocol for sovereign AI agents. Persistent Ed25519 identity, signed execution receipts, semantic memory, policy governance, and a two-sided agent market. 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.