quint-co / quint

git clone https://github.com/quint-co/quint.git

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

stars, 24h · #6,006

+~28

stars, 7 days · #6,392

+~120

stars, 30 days · #6,003

1.9k

★ total · +2% this week

152

forks · 256 open issues

2026-10-20 · 1,856 ★ 2026-10-23 · 1,868 ★

LanguageTypeScript

LicenseApache-2.0

Created2021-05-28 (5y ago)

Last push10d ago

OwnerOrganization