ROSCoq – Robots Powered by Constructive Reals

Opinion Mining with Deep Recurrent Neural Networks

Foundations of Data Science by John Hopcroft [pdf]

Trickles – Stateless High Performance Networking

Category Theory for Computer Scientists (Cornell Course)

Networks, Crowds, and Markets: Reasoning About a Highly Connected World (2009)

OpenSurfaces – A Richly Annotated Catalog of Surface Appearance

The Original Swift: A Tutorial