project-everest/everest

Language: Shell - Size: 2.3 MB - Last synced: 2 days ago - Pushed: 2 days ago - Stars: 191 - Forks: 28

project-everest/everparse

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

Language: F* - Size: 75.8 MB - Last synced: 7 days ago - Pushed: 7 days ago - Stars: 235 - Forks: 11

project-everest/everquic-crypto

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

Language: F* - Size: 2.95 MB - Last synced: 17 days ago - Pushed: 17 days ago - Stars: 11 - Forks: 4

project-everest/mitls-fstar

Verified implementation of TLS 1.3 in F*

Language: F* - Size: 72.9 MB - Last synced: 24 days ago - Pushed: 24 days ago - Stars: 172 - Forks: 17

project-everest/vale

Verified Assembly Language for Everest

Language: F# - Size: 62.1 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 243 - Forks: 20

project-everest/zeta

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

Language: F* - Size: 56.5 MB - Last synced: 22 days ago - Pushed: 23 days ago - Stars: 0 - Forks: 0

project-everest/project-everest.github.io

Landing page for Project Everest

Language: HTML - Size: 18 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 12 - Forks: 5

project-everest/QUIC-FStar

An implementation of the IETF QUIC protocol in F*

Language: F* - Size: 194 KB - Last synced: 8 months ago - Pushed: almost 5 years ago - Stars: 17 - Forks: 1

project-everest/MLCrypto

OCaml adapters for crypto providers used in Everest

Language: OCaml - Size: 229 KB - Last synced: 8 months ago - Pushed: over 5 years ago - Stars: 10 - Forks: 0

project-everest/mbedtls Fork of Mbed-TLS/mbedtls 📦

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

Language: C - Size: 34.9 MB - Last synced: 8 months ago - Pushed: almost 5 years ago - Stars: 3 - Forks: 4

project-everest/everest-nix

Language: Nix - Size: 108 KB - Last synced: 8 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

project-everest/everest-dist

Distribution files of Project Everest

Language: C - Size: 1.06 MB - Last synced: 8 months ago - Pushed: about 4 years ago - Stars: 1 - Forks: 3

project-everest/everest-ci

CI scripts for project everest

Language: Shell - Size: 580 KB - Last synced: 8 months ago - Pushed: over 1 year ago - Stars: 3 - Forks: 8

project-everest/ethereum-star

F* proofs of Ethereum

Language: Solidity - Size: 4.72 MB - Last synced: 8 months ago - Pushed: over 2 years ago - Stars: 6 - Forks: 0

project-everest/ci-logs 📦

The CI logs for Project Everest

Language: HTML - Size: 1.01 GB - Last synced: 8 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 2

project-everest/.github

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

Size: 2.93 KB - Last synced: 8 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0