GitHub repository: runtimeverification/simbolik-vscode
Primary language: TypeScript
Description: VSCode extension for debugging Solidity using Simbolik API server