GitPlanet
All Git Users → project-everest

5 open source projects by project-everest

[ Open user page on Github ]
1. Vale
Verified Assembly Language for Everest
✭ 183
2. Everest
✭ 176
shell
3. Hacl Star
HACL*, a formally verified cryptographic library written in F*
✭ 1,360
securitycryptographyhigh-performanceverificationformal-methods
4. mitls-fstar
Verified implementation of TLS 1.3 in F*
✭ 166
F*F#cpythonC++Makefile
5. QUIC-FStar
An implementation of the IETF QUIC protocol in F*
✭ 17
F*cMakefile
1-5 of 5 user projects