GitHub repository: rahildoshi97/apalache
Primary language: Scala
Description: APALACHE: symbolic model checker for TLA+