GitHub repository: CptWesley/vscode-mcrl2
Primary language: JavaScript
Description: Visual Studio Code Extension for mCRL2