🚀 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

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

Some Tropical Matrices

A language whose denoted programs form a dioid under program concatenation [BSD license]

Implementation and proof that Set category is semiring with product and coproduct.