Repositori open source terpantau milik apalache-mc, diurutkan berdasarkan bintang.
APALACHE: pemeriksa model simbolik untuk TLA+ dan Quint
