Thin, efficient wrapper around Arb library (http://arblib.org/)

An implementation of finitely-presented groups

Pure Julia implementation of the Knuth-Bendix completion (focused primarily on groups and monoids)

Amazing package to compute decompositions into irreducibles of explicit group representations and the Wedderburn decomposition for endomorphisms thereof!

Interface for abstract groups

A package for computation in *-algebras with basis

Basic Schreier-Sims implementation (mostly for educational purposes)

A package for working with cyclotomic numbers

Computations in Group Rings with basis