Coradoc is the Core AsciiDoc Parser used by Metanorma - View it on GitHub