William Stein: Optimized exact sparse and dense linear algebra (especially for computing modular forms)
Benchmarks to help direct our work
New code written from scratch in C/SageX/Python
IML -- Integer Matrix Library
Linbox
The SmithForm (or invariant factors) algorithm, which gives the invariant factors, is literally a hundred times slower than MAGMA.