More nominations:

Hashlife (golly)

SAT-solvers (minisat, glucose, lingeling, ...)

Convex optimization (CVXOPT, ...)