In the Overalgebras GitHub repo resides the article Expansions of finite algebras and their congruence lattices, Algebra Universalis, 69, 2013. Also included is the GAP software I wrote for constructing new finite algebras by extending and expanding transitive G-sets, as described in the paper.
In the file gap2uacalc.g is a GAP program that can be used on its own to convert GAP groups and G-sets into UACalc .ua files, which can then be imported into the Universal Algebra Calculator. See universalalgebra.org for more information about gap2uacalc.g.
For questions, comments, or suggestions please submit an issue.
Thanks for your interest in this work!