Computational algebraic number theory
Julia bindings for various mathematical libraries (including flint2)
The Agda standard library
Transmission Electron Microscope Image Simulation
semi-analytical finite element dispersion calculator of guided wave
Non-Locality of Group Field Theory Symmetries and Representations.
exceptional group unipotent toolkit
Experimental Java library for reading and writing GrAF/XML files.
library for Bilinear Pairing