Cita:
Iniciado por php imagecopyresampled() copia una porción rectangular de una imagen a otra imagen, interpolando de manera suave los valores de los píxeles por lo que, particularmete, al reducir el tamaño de una imagen, ésta todavía conserva mucha nitidez.
Desconozco otras librerías como tal pero puedes usar gimp desde la consola para trabajos del tipo Batch como el que indicas.
Saludos.