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

Direzione di ricerca
Studia le definizioni linguistiche esistenti in Linguist, in particolare i file YAML e il formato della grammatica. Quindi crea una nuova definizione per Quint con la sua estensione .qnt e la grammatica di evidenziazione della sintassi.
Tech stack
ruby
Dominio
tooling
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
RubyGit
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
60