Knižnice napísané v F* e

FStar

Programovací jazyk orientovaný na dôkazy.
  • 2.5k
  • Apache License 2.0

hacl-star

HACL*, formálne overená kryptografická knižnica napísaná v F*.
  • 1.5k
  • Apache License 2.0

mitls-fstar

Overená implementácia TLS 1.3 v F*.
  • 169
  • GNU General Public License v3.0