Các thư viện được viết bằng F*

FStar

Ngôn ngữ lập trình hướng chứng minh.
  • 2.5k
  • Apache License 2.0

hacl-star

HACL*, một thư viện mật mã được xác minh chính thức được viết bằng F*.
  • 1.5k
  • Apache License 2.0

mitls-fstar

Đã xác minh triển khai TLS 1.3 trong F*.
  • 169
  • GNU General Public License v3.0