everest. A mathematical puzzle game
fgb_sage. A Sage interface for FGb (Gröbner basis computations)
guptri_py. Singular generalized eigenvalue problems.