Source code for LDP lectures