Tamarin Extension for Visual Studio Code

A Visual Studio Code extension for the Tamarin language. Only syntax highlighting is supported right now. More to come.

Quick start

1. Install Tamarin on your system.
2. Install the Tamarin extension for Visual Studio Code.
3. Open or create a Tamarin file (with a .tm extension) and get to work!

Feature details

Currently, only syntax highlighting is supported.

Questions, Issues, and Feature Requests

• Ask questions in the Tamarin GitHub discussions.
• Open issues in GitHub or leave a 👍 reaction if one already exists for your request.

Contributions

All feedback is welcome 🙏 and please reach out to chat about any contributions you have in mind.

Data and Telemetry

No data or telemetry are collected.