project-everest/QUIC-FStar project-everest/QUIC-FStar

  • Stars
    star
    17
  • Rank 1,215,360 (Top 25 %)
  • Language F*
  • License
    Apache License 2.0
  • Created over 5 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
project-everest/QUIC-FStar
github

project-everest

Reviews

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

Repository Details

An implementation of the IETF QUIC protocol in F*

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

project-everest.github.io

Landing page for Project Everest
HTML
12
star
6

MLCrypto

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

everquic-crypto

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

ethereum-star

F* proofs of Ethereum
Solidity
6
star
9

everest-ci

CI scripts for project everest
Shell
3
star
10

everest-dist

Distribution files of Project Everest
C
1
star