github-linguist/linguist

Add Quint language support

Open

#7 748 ouverte le 10 janv. 2026

Voir sur GitHub
 (1 commentaire) (0 réactions) (0 assignés)Ruby (5 166 forks)batch import
Add LanguageGood First Issue

Métriques du dépôt

Stars
 (13 466 stars)
Métriques de merge PR
 (Merge moyen 102j 5h) (19 PRs mergées en 30 j)

Description

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)

Guide contributeur

Direction de recherche
Étudiez les définitions de langage existantes dans Linguist, en particulier les fichiers YAML et le format de grammaire. Créez ensuite une nouvelle définition de langage pour Quint avec son extension .qnt et la grammaire de coloration syntaxique.
Stack technique
ruby
Domaine
tooling
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-2 jours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
RubyGit
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
60