Project Everest

Popular repositories

1. hacl-star

   HACL*, a formally verified cryptographic library written in F*

   F* 1.4k 136

2. vale

   Verified Assembly Language for Everest

   F# 192 14

3. everest

   Shell 180 24

4. mitls-fstar

   Verified implementation of TLS 1.3 in F*

   F* 153 15

5. everparse

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

   F* 139 3

6. QUIC-FStar

   An implementation of the IETF QUIC protocol in F*

   F* 16