GitHub repository: Dayveed117/vscode-whylson-connector
Primary language: TypeScript
Description: VSCode extension enabling formal verification of Tezos smart contracts through the use of Whylson tool.