This repo contains the XText bundles/plugins for CoreDSL. The OSGI bundles can be installed from https://minres.github.io/CoreDSL/repository.
https://www.lysator.liu.se/c/ANSI-C-grammar-y.html
The generated ANTLR grammar (DebugInternalCoreDsl.g) can be converted into EBNF using https://bottlecaps.de/convert/ to create a formal specification of the language