cilkplus.github.com The body of the html is generated from Markdown, using the Github Markdown API. To generate index.html from index.md, run $ ./autogen.py index