Software contributions

Stephen

Rudimentary implementation of three algorithms for finitely generated monoids and inverse monoids by J. B. Stephen. https://github.com/james-d-mitchell/step_hen

Libsemigroups

Contributed to the Knuth-Bendix implementation, and related algorithms for the class ActionDigraph. https://github.com/libsemigroups/libsemigroups