Pinned Repositories
ethereum-star
F* proofs of Ethereum
everest
everest-ci
CI scripts for project everest
everparse
Automated generation of provably secure, zero-copy parsers from format specifications
everquic-crypto
Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.
mitls-fstar
Verified implementation of TLS 1.3 in F*
MLCrypto
OCaml adapters for crypto providers used in Everest
project-everest.github.io
Landing page for Project Everest
QUIC-FStar
An implementation of the IETF QUIC protocol in F*
vale
Verified Assembly Language for Everest
Project Everest's Repositories
project-everest/vale
Verified Assembly Language for Everest
project-everest/everparse
Automated generation of provably secure, zero-copy parsers from format specifications
project-everest/everest
project-everest/mitls-fstar
Verified implementation of TLS 1.3 in F*
project-everest/QUIC-FStar
An implementation of the IETF QUIC protocol in F*
project-everest/everquic-crypto
Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.
project-everest/project-everest.github.io
Landing page for Project Everest
project-everest/ethereum-star
F* proofs of Ethereum
project-everest/MLCrypto
OCaml adapters for crypto providers used in Everest
project-everest/everest-ci
CI scripts for project everest
project-everest/mbedtls
An open source, portable, easy to use, readable and flexible SSL library
project-everest/everest-dist
Distribution files of Project Everest
project-everest/ci-logs
The CI logs for Project Everest
project-everest/.github
Default Community Health Files for the Project-Everest organization on GitHub
project-everest/everest-nix
project-everest/zeta
Zeta: A Provably Correct Monitor for Concurrent Key-Value Stores