github-linguist/linguist

Add Quint language support

Open

#7748 opened on Jan 10, 2026

View on GitHub
 (1 comment) (0 reactions) (0 assignees)Ruby (13,466 stars) (5,166 forks)batch import
Add LanguageGood First Issue

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)

Contributor guide

Tech stack
None
Domain
tooling
Issue type
feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
2
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
half day
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
fresh
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
clear
Prerequisites
Ruby knowledgeLinguist contribution guideQuint language basicsLocal testing environment
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
70
Research direction
First, read the Linguist contribution guidelines (CONTRIBUTING.md) to understand how to add a new language. Then, examine the existing language definitions in lib/linguist/languages.yml to see the structure. Add an entry for Quint with the provided extensions (.qnt) and reference the syntax highlighting grammar from the URL in the issue. Use the example repositories to test detection. There is one comment on the issue that may offer further clarification. No linked PRs exist yet.