quint
There are 4 repositories under quint topic.
informalsystems/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
gruhn/tree-sitter-quint
Tree Sitter grammar for Quint
FaridZelli/CarX-Street-ReShade
ZINHAR ReShade for CarX Street PC