Project Everest (@project-everest)
Guthub

project-everest

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    885
  • Global Org. Rank 16,664 (Top 6 %)
  • Registered over 8 years ago
  • Most used languages
    F*     36.4 %
    Shell
         18.2 %
    HTML
         9.1 %
    OCaml
         9.1 %
    Solidity
         9.1 %
    C
         9.1 %
    F#
         9.1 %

Top repositories

1

vale

Verified Assembly Language for Everest
F#
262
star
2

everparse

Automated generation of provably secure, zero-copy parsers from format specifications
F*
225
star
3

everest

Shell
191
star
4

mitls-fstar

Verified implementation of TLS 1.3 in F*
F*
173
star
5

QUIC-FStar

An implementation of the IETF QUIC protocol in F*
F*
17
star
6

project-everest.github.io

Landing page for Project Everest
HTML
12
star
7

MLCrypto

OCaml adapters for crypto providers used in Everest
OCaml
10
star
8

everquic-crypto

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

ethereum-star

F* proofs of Ethereum
Solidity
6
star
10

everest-ci

CI scripts for project everest
Shell
3
star
11

everest-dist

Distribution files of Project Everest
C
1
star