GitHub repository: Glg-corp/eventb-vscode-extension
Primary language: JavaScript
Description: A Visual Studio Code Extension for Event-B