Useful latex templates
CSFML Binding in Cython
Program logic for developing and verifying distributed systems