apalache-mc's tracked open-source repos, sorted by stars.
APALACHE: symbolic model checker for TLA+ and Quint
