We’ve just starter transferring all of our resources to our GitHub organisation. You can find there source code for this website and Simply Logical textbook, among others. We also use GitHub Pages to host our websites.