- Poppler. Specifically, the executable
pdftotext
. - Python 3
cstdtohtml <C Standard Draft PDF file> [output HTML file]
If omitted, the output filename will be similar to the input, with the '.html' extension.
A version of the C17 standard passed through this tool is currently hosted at cigix.me/c17.
This software is published under the GNU General Public Licence v3.0. This license applies to all "source code" in this repository.