In F* geschriebene Bibliotheken

FStar

Eine beweisorientierte Programmiersprache.
  • 2.5k
  • Apache License 2.0

hacl-star

HACL*, eine formal verifizierte kryptografische Bibliothek, die in F* geschrieben ist.
  • 1.5k
  • Apache License 2.0

mitls-fstar

Verifizierte Implementierung von TLS 1.3 in F*.
  • 169
  • GNU General Public License v3.0