Popular repositories Loading

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

F* 335 26
Verified Assembly Language for Everest

F# 316 23
Verified implementation of TLS 1.3 in F*

F* 183 18
An implementation of the IETF QUIC protocol in F*

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

F* 15 6

Showing 10 of 16 repositories

mitls-fstar Public
Verified implementation of TLS 1.3 in F*

project-everest/mitls-fstar's past year of commit activity
everparse Public
Automated generation of provably secure, zero-copy parsers from format specifications

project-everest/everparse's past year of commit activity

F*
335
Apache-2.0
26 31 5
Updated Aug 14, 2026
project-everest/project-everest.github.io's past year of commit activity

HTML
12 4 1 1
Updated Aug 4, 2026
project-everest/everest's past year of commit activity

Shell
206
Apache-2.0
31 21 2
Updated Oct 14, 2025
everquic-crypto Public
Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.

project-everest/everquic-crypto's past year of commit activity

F*
15
Apache-2.0
6 1 0
Updated Aug 11, 2025
project-everest/everest-ci's past year of commit activity

Shell
3 8 7 0
Updated Nov 21, 2024
project-everest/everest-nix's past year of commit activity

Nix
1 0 0 0
Updated Sep 11, 2024
zeta Public
Zeta: A Provably Correct Monitor for Concurrent Key-Value Stores

project-everest/zeta's past year of commit activity

F*
1
Apache-2.0
0 0 0
Updated Apr 17, 2024
vale Public
Verified Assembly Language for Everest

project-everest/vale's past year of commit activity

F#
316
Apache-2.0
23 15 4
Updated Feb 22, 2024
.github Public
Default Community Health Files for the Project-Everest organization on GitHub

project-everest/.github's past year of commit activity

0 0 0 0
Updated Oct 19, 2022