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*

24020

project-everest/mitls-fstar

Verified implementation of TLS 1.3 in F*

9411

project-everest/mbedtls

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

1

project-everest/quackyducky

Automated generation of verified F* parsers from RFC specifications

71

project-everest/vale

Verified Assembly Language for Everest

937

project-everest/MLCrypto

OCaml adapters for crypto providers used in Everest

6

project-everest/ci-logs

The CI logs for Project Everest

2


Project Everest


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