The slides and course notes of the course General Computer Science at Jacobs University.
Logic Atlas, Version 2
Slides and notes for talks held by Michael Kohlhase
The metadata for the MiKoMH project at MathHub.info
The Metadata for the MMATh formalizations and active documents.
Shabbar Raza's code for finding alignments based on matching names.
The upper library ontology for theorem prover libraries.