Các kho mã nguồn mở đang theo dõi của uwplse, sắp xếp theo số sao.
Một framework để xác minh chính thức các triển khai hệ thống phân tán trong Coq.
