CommonMark spec[1] is laaarge and not formal (no grammar). StrictMark has block-level[2] and inline[3] grammars, 100+ and 200+ lines of Ragel code respectively.

CommonMark spec[1] is laaarge and not formal (no grammar). StrictMark has block-level[2] and inline[3] grammars, 100+ and 200+ lines of Ragel code respectively. May parse with regexes too, and results will be identical. [1]: https://spec.commonmark.org/0.31.2/ https://spec.commonmark.org/0.31.2/ [2]: https://github.com/gritzko/beagle/blob/main/dog/tok/MKDTB.c.rl https://github.com/gritzko/beagle/blob/main/dog/tok/MKDTB.c.... [3]: https://github.com/gritzko/beagle/blob/main/dog/tok/MKDT.c.rl https://github.com/gritzko/beagle/blob/main/dog/tok/MKDT.c.r...