Popular repositories Loading

1. vale vale Public

   Verified Assembly Language for Everest

   F# 291 21

2. everparse everparse Public

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

   F* 276 18

3. everest everest Public

   Shell 198 30

4. mitls-fstar mitls-fstar Public archive

   Verified implementation of TLS 1.3 in F*

   F* 177 16

5. QUIC-FStar QUIC-FStar Public archive

   An implementation of the IETF QUIC protocol in F*

   F* 20 1

6. everquic-crypto everquic-crypto Public

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

   F* 13 4