WHATWG's repositories
platform.html5.org
Moved to https://html-now.github.io/
javascript
Obsolete
web-history
Milestones in the history of the modern Web platform
html-differences
HTML differences from HTML4
meta-theme-color
Obsolete
domparsing
DOM Parsing and Serialization Standard
misc-server
Miscellaneous resources for the servers hosting *.whatwg.org domains
resources.whatwg.org
Obsolete
old-google-code-html5
Automatically exported from code.google.com/p/html5
whattweetbot-keys
Command-line utility to associate a Twitter account with a Twitter app.
wiki.whatwg.org
Resources used to run the WHATWG Wiki