Project Everest

Repositories

• hacl-star

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

  security cryptography high-performance verification formal-methods verified-primitives formal-verification
  F* Apache-2.0 117 1,303 31 (2 issues need help) 7 Updated Jul 21, 2020

• everparse

  Automated generation of provably secure, zero-copy parsers from format specifications
  1 package F* Apache-2.0 2 83 8 1 Updated Jul 21, 2020

• everest
  Shell Apache-2.0 17 159 13 1 Updated Jul 21, 2020

• vale

  Verified Assembly Language for Everest
  F# Apache-2.0 14 160 10 0 Updated Jul 21, 2020

• project-everest.github.io

  Landing page for Project Everest
  HTML 5 7 0 2 Updated Jul 21, 2020

• mitls-fstar

  Verified implementation of TLS 1.3 in F*
  F* 14 141 66 3 Updated Jul 21, 2020

• everest-ci

  CI scripts for project everest
  Shell 8 3 7 0 Updated Jul 13, 2020

• everquic-crypto

  Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.
  F* Apache-2.0 1 1 0 0 Updated Jul 11, 2020

• everest-dist

  Distribution files of Project Everest
  C Apache-2.0 3 1 0 0 Updated Feb 18, 2020

• QUIC-FStar

  An implementation of the IETF QUIC protocol in F*
  F* Apache-2.0 0 14 1 0 Updated Aug 8, 2019

• mbedtls

  Forked from ARMmbed/mbedtls

  An open source, portable, easy to use, readable and flexible SSL library
  C 1,436 3 0 0 Updated Jul 24, 2019

• ci-logs Archived

  The CI logs for Project Everest
  HTML 2 0 0 0 Updated Oct 10, 2018

• MLCrypto

  OCaml adapters for crypto providers used in Everest
  OCaml 0 9 0 0 Updated Sep 13, 2018

• ethereum-star

  F* proofs of Ethereum
  Apache-2.0 0 5 0 0 Updated Nov 7, 2016