GitHub repository: GaloisInc/cryptol-vscode
Primary language: TypeScript
Description: Visual Studio Code plugin for Cryptol