https://github.com/smimram/ocaml-alg

Algebraic structures in OCaml.
https://github.com/smimram/ocaml-alg

algebra ocaml rewriting

Last synced: 3 months ago
JSON representation

Algebraic structures in OCaml.

• Host: GitHub
• URL: https://github.com/smimram/ocaml-alg
• Owner: smimram
• Created: 2017-05-10T12:37:16.000Z (over 7 years ago)
• Default Branch: main
• Last Pushed: 2024-09-12T09:08:30.000Z (4 months ago)
• Last Synced: 2024-09-12T18:52:33.628Z (4 months ago)
• Topics: algebra, ocaml, rewriting
• Language: OCaml
• Homepage: https://smimram.github.io/ocaml-alg/
• Size: 23.3 MB
• Stars: 17
• Watchers: 5
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGES.md

Awesome Lists containing this project

README

        
OCaml algebra

=========

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

implements structures such as

- monoids

- groups

- rings

- modules

- algebras

- matrices

- graphs

- automata

- and so on...

It also features some free and presented such structures.

Documentation

-------------

You can have a look at the [generated documentation for the

modules](https://smimram.github.io/ocaml-alg/alg/).

Tools

-----

Some online tools are implemented using this library:

- [Bergman 2](https://smimram.github.io/ocaml-alg/bergman/) is a new

  implementation for a Gröbner basis calculator

- [KB](https://smimram.github.io/ocaml-alg/kb/) implements Knuth-Bendix and

  Squier completion on term rewriting systems

- [Rewr 2](https://smimram.github.io/ocaml-alg/rewr2/) implements Knuth-Bendix completion for string rewriting systems