quint-co's tracked open-source repos, sorted by stars.
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
