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