github-linguist/linguist

Add Quint language support

Open

#7.748 aberto em 10 de jan. de 2026

Ver no GitHub
 (1 comment) (0 reactions) (0 assignees)Ruby (5.166 forks)batch import
Add LanguageGood First Issue

Métricas do repositório

Stars
 (13.466 stars)
Métricas de merge de PR
 (Mesclagem média 102d 5h) (19 fundiu PRs em 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)

Guia do colaborador

Direção de pesquisa
Estude as definições de linguagem existentes no Linguist, particularmente os arquivos YAML e o formato da gramática. Em seguida, crie uma nova definição de linguagem para Quint com sua extensão .qnt e gramática de realce de sintaxe.
Pilha de tecnologia
ruby
Domain
tooling
Tipo Issue
Funcionalidade
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
2
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-2 dias
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
RubyGit
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
60