Visual Studio Code extension for Maude, includes snippets and syntax highlighting.
Based on the
Includes language declarations and textmate tokenizers, providing highlighting for the Maude language.
Also includes some snippets adapted to better work on Visual Studio Code. Removing regular expression substitution on placeholder text, see issue #34683