Add LanguageGood First Issue
Repository metrics
- Stars
- (13,466 個のスター)
- PR merge metrics
- (PR metrics pending)
説明
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
Most popular extensions
.qnt
Detected language
Not detected (files are unrecognized)