Topic · apalache

apalache

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

Repos

2

Total stars

2,249

Avg. stars

1,125

Share

0.00%

Topics that frequently appear alongside apalache on the same repo.

Recent risers

Repos created in the last 90 days, tagged apalache.

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