Project Everest

Project Everest's repositories

Verified Assembly Language for Everest

Language:F#Apache-2.0268 32 40

Automated generation of provably secure, zero-copy parsers from format specifications

Language:F*Apache-2.0245 30 44

Language:ShellApache-2.0193 26 63

Verified implementation of TLS 1.3 in F*

Language:F*NOASSERTION173 34 185

An implementation of the IETF QUIC protocol in F*

Language:F*Apache-2.018 10 1

Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.

Language:F*Apache-2.013 9 2

Landing page for Project Everest

Language:HTML12 23 5

F* proofs of Ethereum

Language:SolidityApache-2.011 6 1

OCaml adapters for crypto providers used in Everest

Language:OCaml10 50

CI scripts for project everest

Language:Shell3 24 94

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

Language:CNOASSERTION3 40

Distribution files of Project Everest

Language:CApache-2.01 80

The CI logs for Project Everest

Language:HTML023 1

Default Community Health Files for the Project-Everest organization on GitHub

000

Language:Nix060

Zeta: A Provably Correct Monitor for Concurrent Key-Value Stores

Language:F*Apache-2.0000