OpenGOAL for VSCode
Provides syntax highlighting, snippets, and more for the OpenGOAL language and it's related languages as well - https://open-goal.github.io
Therefore, this repo also contains TextMate grammars for the languages that you should be able to use for any other editor if you so choose.
OpenGOAL Syntax Highlighting:
OpenGOAL IR Syntax Highlighting: