This is an unofficial reimagining of the Archive of Formal Proofs
The string search algorithm by Knuth, Morris and Prattby Fabian Hellauer and Peter Lammich