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.
Currently, only syntax highlighting is supported.
Questions, Issues, and Feature Requests
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.