Motoko is open source. The repo is here: GitHub - dfinity/motoko: Simple high-level language for writing Internet Computer canisters
IDK if it’s EBNF, but we have a grammar available here: Motoko grammar | Internet Computer
1 Like