This repository contains Python code that generates machine-readable JSON from the WHATWG HTML Living Standard and Accessible Rich Internet Applications (WAI-ARIA)
This is a work-in-progress and incomplete without a stable format. Contributions are very welcome. Regardless, even in this undeveloped state, this project is still a good basis for many real-world applications.
Type make to download and parse the spec.
This repo currently contains a spec as of 2020, and only small updates are needed to support the spec as of December 2024.
- strictdom - uses this repo to create a strict wrapper over dominate, a Python library for creating and manipulating HTML documents .
- HTML5 Relax NG schema
- Gostar - a fluent HTML builder for Go built directly from the HTML Living Standard
- similarly, this contains a spec encoded as Go
Much of HTML5 depends on context and subtle semantics. Checking this may either be extremely computationally expensive, or express the intention of the author in a way that not even a human reader can validate for certain. Additionally, it is challenging to represent complex rules in a language-agnostic way.
This machine-readable specification will, therefore, always be incomplete. Sometimes the best we can practically do is provide human-readable hints in descriptions. Therefore, this machine-readable specification aims to assist a human author and catch obvious errors - but not replace the human author entirely.