Skip to main content

Open source releases from Microsoft

Project Everest aims to build and deploy a verified HTTPS stack. From Microsoft Research.

project-everest/hacl-star

HACL*, a formally verified cryptographic library written in F*

26425

project-everest/vale

Verified Assembly Language for Everest

1098

project-everest/mitls-fstar

Verified implementation of TLS 1.3 in F*

10912

project-everest/mbedtls

An open source, portable, easy to use, readable and flexible SSL library

11

project-everest/quackyducky

Automated generation of verified F* parsers from RFC specifications

71

project-everest/QUIC-FStar

An implementation of the IETF QUIC protocol in F*

3

project-everest/MLCrypto

OCaml adapters for crypto providers used in Everest

6


Project Everest


Project Everest aims to build and deploy a verified HTTPS stack. From Microsoft Research.