ECPP
An Elliptic Curve Primality Proving program by François Morain. Author has later implemented fastECPP which is not publicly available.

No queries for www.lix.polytechnique.fr/~morain/Prgms/ecpp.english.html