quint-grammars

April 29, 2026 · View on GitHub

Syntax-highlighting grammars for the Quint specification language.

This repository is the canonical source for syntax-highlighting support for Quint. Each subdirectory holds a grammar in a different format. Today it contains a TextMate grammar; other formats may be added later.

grammars/quint.tmLanguage.json — TextMate grammar (scopeName: source.quint). Consumed by GitHub Linguist for syntax highlighting on GitHub.

License

MIT — see LICENSE.