Project Everest (original) (raw)

Skip to content

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

@project-everest

  1. Verified Assembly Language for Everest
    F# 291 21
  2. Automated generation of provably secure, zero-copy parsers from format specifications
    F* 275 18
  3. Verified implementation of TLS 1.3 in F*
    F* 177 16
  4. An implementation of the IETF QUIC protocol in F*
    F* 20 1
  5. Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.
    F* 13 4

Repositories

Type

Select type

All Public Sources Forks Archived Mirrors Templates

Language

Select language

All C F# F* HTML Nix OCaml Shell Solidity

Sort

Select order

Last updated Name Stars

Showing 10 of 16 repositories

Most used topics

Loading…