github-linguist/linguist

Add Quint language support

Open

#7,748 opened on Jan 10, 2026

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

Repository metrics

Stars
 (13,466 stars)
PR merge metrics
 (Avg merge 102d 5h) (19 merged PRs in 30d)

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

Research direction
Study the existing language definitions in Linguist, particularly the YAML files and the grammar format. Then create a new language definition for Quint with its .qnt extension and syntax highlighting grammar.
Tech stack
ruby
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.
1-2 days
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Active
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
RubyGit
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
60