Tamarin
Syntax highlighting for Tamarin.
Languages
How to install
With Forge Super installed, the button above opens the app on this extension, where you press Install. Nothing is installed until you do.
You can also open the Extensions panel in the app and search for Tamarin. The extension's id is tamarin.
Don't have Forge Super yet? Download it here.
README
From the extension's repository, written by its authors and not by Mentenaz. See the source.
zed-tamarin
Syntax highlighting for Tamarin files (.spthy) in Zed editor. This is ported from the official Tamarin Visual Studio Code extension (tamarin-prover/vscode-tamarin).