http://rok.strnisa.com/lj/
This is an unofficial reimagining of the Archive of Formal Proofs
Lightweight Javaby Rok Strniša and Matthew Parkinson