Bibliotecas escritas em F*

FStar

Uma Linguagem de Programação Orientada a Provas.
  • 2.5k
  • Apache License 2.0

hacl-star

HACL*, uma biblioteca criptográfica formalmente verificada escrita em F*.
  • 1.5k
  • Apache License 2.0

mitls-fstar

Implementação verificada de TLS 1.3 em F*.
  • 169
  • GNU General Public License v3.0