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