Topic · quint

quint

Tracked open-source repos tagged quint, sorted by stars.

Repos

2

Total stars

2,249

Avg. stars

1,125

Share

0.00%

Topics that frequently appear alongside quint on the same repo.

Recent risers

Repos created in the last 90 days, tagged quint.

No new repos tagged with this topic in the last 90 days.

#1
quint ↗@quint-coTypeScript
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
★ 1,654+16Star change over the last 7 days
#2
apalache ↗@apalache-mcScala
APALACHE: symbolic model checker for TLA+ and Quint
★ 595+3Star change over the last 7 days

← Back to topics