Repositori open source terpantau milik uwplse, diurutkan berdasarkan bintang.
Kerangka kerja untuk memverifikasi secara formal implementasi sistem terdistribusi di Coq
