Repositori open source terpantau milik quint-co, diurutkan berdasarkan bintang.
Bahasa spesifikasi yang dapat dieksekusi dengan perkakas yang menyenangkan berdasarkan logika temporal tindakan (TLA)
