21st Century C
Ben Klemens
The Logic of Chemical Synthesis
Corey E.G., Chelg X.
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Data Management on New Hardware
Spyros Blanas, Rajesh Bordawekar, Tirthankar Lahiri, Justin ...
Four lectures on relativity and space
Steinmetz, Charles Proteus, 1865-1923