F* ile yazılmış kütüphaneler

FStar

Kanıta Yönelik Bir Programlama Dili.
  • 2.5k
  • Apache License 2.0

hacl-star

HACL*, F* ile yazılmış, resmi olarak doğrulanmış bir kriptografik kitaplık.
  • 1.5k
  • Apache License 2.0

mitls-fstar

TLS 1.3'ün F*'de doğrulanmış uygulaması.
  • 169
  • GNU General Public License v3.0