Add Quint language support

[christophercampbell]

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

• https://github.com/informalsystems/quint/tree/main/examples
• https://github.com/christophercampbell/blockchain-specs

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)

[christophercampbell]

I guess it does not qualify yet, not enough repos use it.

$ gh search code --extension qnt --json repository --limit 1000 | jq -r '.[].repository.nameWithOwner' | sort -u | wc -l
      96

And only about half of those are unique (non-forks)

$ gh search code --extension qnt --json repository --limit 100 | jq -r '.[] | select(.repository.isFork == false) | .repository.nameWithOwner' | sort -u | wc -l
      47