pinmi.book gathers the source code quoted in the Pinmi book