github-linguist/linguist

Add Quint language support

Open

#7748 aperta il 10 gen 2026

Vedi su GitHub
 (1 commento) (0 reazioni) (0 assegnatari)Ruby (5166 fork)batch import
Add LanguageGood First Issue

Metriche repository

Star
 (13.466 star)
Metriche merge PR
 (Merge medio 102g 5h) (19 PR mergiate in 30 g)

Descrizione

Quint is a modern specification language for distributed systems and protocols. It combines the expressive power of TLA+ with a more accessible syntax inspired by TypeScript/JavaScript. Quint specifications can be simulated, tested, and verified using the Quint toolchain.

Language name

Quint

URL of example repository

URL of syntax highlighting grammar

https://github.com/informalsystems/quint/blob/main/vscode/quint-vscode/syntaxes/quint.tmLanguage.json

Most popular extensions

.qnt

Detected language

Not detected (files are unrecognized)

Guida contributor