Alloy LSP ↗ ↖
A language server for the Alloy specification language, providing features like syntax highlighting, autocompletion, and error checking for Alloy files in various editors. It is based on Langium workbench and integrates with the Alloy Analyzer.
