Popular repositories

1. vale vale Public

   Verified Assembly Language for Everest

   F# 252 21

2. everparse everparse Public

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

   F* 236 11

3. everest everest Public

   Shell 191 28

4. mitls-fstar mitls-fstar Public

   Verified implementation of TLS 1.3 in F*

   F* 172 17

5. QUIC-FStar QUIC-FStar Public

   An implementation of the IETF QUIC protocol in F*

   F* 18 1

6. project-everest.github.io project-everest.github.io Public

   Landing page for Project Everest

   HTML 12 5