title: Is there a machine-readable version of HTML5 specs?
body: <p>I'm looking for a machine-readable version of the HTML5 specs, akin to a DTD, although any format would do as long as it's parsable.</p>
  
  <p>The <a href="http://dev.w3.org/html5/spec/spec.html" rel="noreferrer">HTML5 specs</a> don't seem to contain anything of the sort so my first idea was to look into validators. I dug into <a href="https://bitbucket.org/validator" rel="noreferrer">the sources of the validator.nu validator</a> but it seems that the schema they use is build by parsing the specs (e.g. parsing its HTML and its english text) and I'll have to build the validator to generate it.</p>
  
  <p>More specifically, I'm looking for a list of elements, their content models, and a list of their attributes with their type and whether they are required or they have a default value.</p>
  
  <p>Finally, I should mention that I'm not looking for validating specific documents. I would use W3C's validator, or validator.nu directly. I'm looking for the specs so that I can use them in my own applications.</p>