Topic · tlaplus

tlaplus

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

Repos

5

Total stars

4,928

Avg. stars

986

Share

0.00%

Topics that frequently appear alongside tlaplus on the same repo.

Recent risers

Repos created in the last 90 days, tagged tlaplus.

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+12Star change over the last 7 days
#2
Examples ↗@tlaplusTLA
A collection of TLA⁺ specifications of varying complexities.
★ 1,564+5Star change over the last 7 days
#3
practical-fm ↗@ligurio
A gently curated list of companies using verification formal methods in industry
★ 610+1Star change over the last 7 days
#4
apalache ↗@apalache-mcScala
APALACHE: symbolic model checker for TLA+ and Quint
★ 596+2Star change over the last 7 days
#5
BlockingQueue ↗@lemmyTLA
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
★ 506+0Star change over the last 7 days

← Back to topics