Add LanguageGood First Issue
仓库指标
- 星标
- (13,466 个星标)
- PR 合并指标
- (PR 指标待抓取)
描述
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)