apalache-mc की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
APALACHE: TLA+ और Quint के लिए प्रतीकात्मक मॉडल चेकर
