A repository for (mainly) permutation groups algorithms, with a focus on stabilizer chains and benchmarking - View it on GitHub