OCaml algebra

A library to manipulate and compute with algebraic structures in OCaml. It implements structures such as

It also features some free and presented such structures.

Documentation

You can have a look at the generated documentation for the modules.

Tools

Some online tools are implemented using this library: