UPPAAL Language Server for syntax highlighting and auto-completion
Primary LanguageC++GNU Lesser General Public License v2.1LGPL-2.1