This is the main repository for the Viper IDE extension for VS Code. - View it on GitHub