GitHub repository: tamarin-prover/vscode-tamarin
Primary language: TypeScript
Description: A VSCode plugin for Tamarin files