Các kho mã nguồn mở đang theo dõi của hacl-star, sắp xếp theo số sao.
HACL*, một thư viện mã hóa được kiểm chứng chính thức viết bằng F*
