project-everest/everest-ci project-everest/everest-ci

  • Stars
    star
    3
  • Rank 3,848,015 (Top 78 %)
  • Language
    Shell
  • Created over 7 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
project-everest/everest-ci
github

project-everest

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

CI scripts for project everest

More Repositories

1

vale

Verified Assembly Language for Everest
F#
250
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*
172
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-dist

Distribution files of Project Everest
C
1
star