http://www.cl.cam.ac.uk/~caw77/
This is an unofficial reimagining of the Archive of Formal Proofs
WebAssemblyby Conrad Watt