Các kho mã nguồn mở đang theo dõi của dafny-lang, sắp xếp theo số sao.
Dafny là một ngôn ngữ lập trình hỗ trợ kiểm chứng
