GAP
computer algebra system
Haskell
programming language
Kenzo
algebraic topology software
Magma
computer algebra system
Magnus
computational group theory software
Polymake
computational geometry software
Simplicial homology
software