quint-co/quint

quint

✅ Recently maintained

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

1,905Stars
155Forks
+257-day stars

TypeScript · Apache-2.0 · Last push 2026-11-02

Official repository & installation ↗
languagetlaplusquintapalachespecificationformal-methodsverificationspecification-languageformal-verification

GitValue · Value evidence

Unscored · Evidence coverage 0%

Provisional rubric; documentation and runtime testing are separate. Missing evidence does not imply low value.

Star history

2025-09-292026-11-03
View historical data
DateStars
2026-10-051,805
2026-10-061,809
2026-10-071,813
2026-10-081,818
2026-10-091,820
2026-10-101,821
2026-10-111,821
2026-10-121,826
2026-10-131,829
2026-10-141,832
2026-10-151,834
2026-10-161,836
2026-10-171,839
2026-10-181,846
2026-10-191,853
2026-10-201,853
2026-10-211,860
2026-10-221,865
2026-10-231,870
2026-10-241,875
2026-10-251,879
2026-10-261,880
2026-10-271,881
2026-10-281,888
2026-10-291,894
2026-10-301,895
2026-10-311,897
2026-11-011,899
2026-11-021,902
2026-11-031,905

Get the project

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

Cloning downloads the source. For dependencies and installation, follow the project README.

Related projects & alternative candidates

Related domains do not imply feature parity. Review official documentation and licenses.