github-linguist/linguist

Add Quint language support

Open

#7.748 geöffnet am 10. Jan. 2026

Auf GitHub ansehen
 (1 Kommentar) (0 Reaktionen) (0 zugewiesene Personen)Ruby (5.166 Forks)batch import
Add LanguageGood First Issue

Repository-Metriken

Stars
 (13.466 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 102T 5h) (19 gemergte PRs in 30 T)

Beschreibung

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)

Contributor Guide

Research-Richtung
Studieren Sie die vorhandenen Sprachdefinitionen in Linguist, insbesondere die YAML Dateien und das Grammatikformat. Erstellen Sie dann eine neue Sprachdefinition für Quint mit der Erweiterung .qnt und der Syntaxhervorhebungsgrammatik.
Tech Stack
ruby
Domain
tooling
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-2 Tage
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
RubyGit
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
60