Quint is a programming language recognized by GitHub Linguist and used with .qnt.
Quick facts
What is Quint
Quint is a programming language recognized by GitHub Linguist and used with .qnt.
GitHub Linguist classifies Quint as a programming language, typically using extensions such as .qnt.
File extensions:
Related languages
Frequently asked questions
Quint is a programming language recognized by GitHub Linguist and used with .qnt.
Common extensions include .qnt.
Sources & standards
Updated 2026-08-18
Explore this reference