F* ben írt könyvtárak

FStar

Proof-orientált programozási nyelv.
  • 2.5k
  • Apache License 2.0

hacl-star

HACL*, egy formálisan ellenőrzött, F* nyelven írt kriptográfiai könyvtár.
  • 1.5k
  • Apache License 2.0

mitls-fstar

A TLS 1.3 ellenőrzött megvalósítása F*-ban.
  • 169
  • GNU General Public License v3.0