Acknowledgement: Many thanks to Antoine Petiteau for introducing me to the Docker technology and teaching me how to use it; this is a very convenient solution for making nonstandard languages usable.
MoKa ("monoid calculus")
This program implements various algorithms for working in a monoid defined by a complemented presentation, typically an Artin-Tits monoid. One can work with elements of the monoid, and with multifractions, which are sequences of elements of the monoid representing the elements of its enveloping group. The main tools are subword reversing and multifraction reduction as defined in arXiv 1606.08991, 1606.08995, 1606.09018, and 1701.06413.
Braids
This rudimentary program performs simple braid operations, in particular involving orders. The main comparison tool is handle reduction, which, starting with an arbitrary braid word, returns an equivalent sigma-definite word (the generator with lowest index does not appear both positively and negatively).
(with Jean Fromentin) Handle reduction of braids
This program demonstrates some aspects of the mathematical theory of braids. It allows the user to draw braid diagrams and to perform a few basic operations, namely ecognizing if a braid diagram is really braided or, more generally, if a braid diagram can be continuously deformed into another one.