Skip to content
@project-everest

Project Everest

Popular repositories Loading

  1. vale vale Public

    Verified Assembly Language for Everest

    F# 270 20

  2. everparse everparse Public

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

    F* 246 15

  3. everest everest Public

    Shell 193 29

  4. mitls-fstar mitls-fstar Public archive

    Verified implementation of TLS 1.3 in F*

    F* 173 16

  5. QUIC-FStar QUIC-FStar Public archive

    An implementation of the IETF QUIC protocol in F*

    F* 18 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

Repositories

Showing 10 of 16 repositories
  • everparse Public

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

    project-everest/everparse’s past year of commit activity
    F* 246 Apache-2.0 15 21 6 Updated Oct 31, 2024
  • everest Public
    project-everest/everest’s past year of commit activity
    Shell 193 Apache-2.0 29 21 2 Updated Oct 30, 2024
  • everest-nix Public
    project-everest/everest-nix’s past year of commit activity
    Nix 1 0 0 0 Updated Sep 11, 2024
  • everest-ci Public

    CI scripts for project everest

    project-everest/everest-ci’s past year of commit activity
    Shell 3 8 7 0 Updated Sep 4, 2024
  • project-everest.github.io Public

    Landing page for Project Everest

    project-everest/project-everest.github.io’s past year of commit activity
    HTML 12 5 1 1 Updated Sep 4, 2024
  • everquic-crypto Public

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

    project-everest/everquic-crypto’s past year of commit activity
    F* 13 Apache-2.0 4 1 0 Updated Aug 28, 2024
  • mitls-fstar Public archive

    Verified implementation of TLS 1.3 in F*

    project-everest/mitls-fstar’s past year of commit activity
    F* 173 16 70 5 Updated Jun 4, 2024
  • zeta Public

    Zeta: A Provably Correct Monitor for Concurrent Key-Value Stores

    project-everest/zeta’s past year of commit activity
    F* 0 Apache-2.0 0 0 0 Updated Apr 17, 2024
  • vale Public

    Verified Assembly Language for Everest

    project-everest/vale’s past year of commit activity
    F# 270 Apache-2.0 20 15 4 Updated Feb 22, 2024
  • .github Public

    Default Community Health Files for the Project-Everest organization on GitHub

    project-everest/.github’s past year of commit activity
    0 0 0 0 Updated Oct 19, 2022
View all repositories

Most used topics

Loading…