The Prime Pages' Links - A set of links to programs to prescreen, test, and prove primality for large primes.
OpenPFGW - Open PrimeForm for Windows - A primality-testing program for general mathematical expressions based on the libraries of Yves Gallot. Pentium and higher processor systems for Windows, BeOS and Linux.
ECPP - The Elliptic Curve Primality Proving program by François Morain.
CYCLOPROV - Primality proving using cyclotomy (Alpha only) by Preda Mihailescu.
Titanix - A general purpose ECPP primality proving program for Windows.
NewPGen - A fast sieving program, to remove composites before they are passed to Proth, PrimeForm, PFGW, PRP, or Titanix.
PrimeForm for Windows - Chris Nash's primality-testing program for general mathematical expressions. Available for all 32-bit Windows operating systems and tested under Windows 95, 98, NT3.51, NT4.0, and Windows 2000. Free download.
Yves Gallot's Proth.exe - An implementation of Proth's Theorem for Windows that allows anyone to find very large primes. It has been used to find record primes of several forms.