- Computation timepredictability (algorithms based only on linear algebra, no Gröbner basis computations);
- Reusability and extensibility (object oriented programming);
- Efficiency (Use of special properties of permutation groups; use of external specialized libraries for critical sections).

- The former PerMuVAR tutorial.
- Systematic computations of minimal generating sets for small transitive groups
- Publications of the author.

We would like to thank Source Forge who is hosting this project, and providing us with all those neat services.