DaFont es una de muchas
En lo personal, uso varias.. las que más visito son
DaFont y
FontSquirrel.. y como ultima opción y ya deseando tener suerte si no consegui lo que queria en las anteriores, me paso por
1001FreeFonts o
Google Fonts.
Las 4 son buenas opciones, pero yo me inclino por las primeras. Además FontSquirrel tiene un generador de fuentes, que por ejemplo si tienen un solo archivo ttf u otf (no probé con otro formato), el generador les arma un zip con todos los formatos menos el que ustedes ya tienen claro (ttf, otf, woff, woff2, svg y eot). Se los recomiendo.
Saludos
Por cierto, fitipladi si no conseguís lo que necesitas usando "eroded" en el filtro de búsqueda, usa "grunge".. te puede servir!