用 F* 编写的库

FStar

面向证明的编程语言。
  • 2.5k
  • Apache License 2.0

hacl-star

HACL*,一个用 F* 编写的经过正式验证的密码库。
  • 1.5k
  • Apache License 2.0

mitls-fstar

已验证 F* 中 TLS 1.3 的实现。
  • 169
  • GNU General Public License v3.0