Skip to content
@project-everest

Project Everest

Popular repositories Loading

  1. vale vale Public

    Verified Assembly Language for Everest

    F# 281 21

  2. everparse everparse Public

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

    F* 265 15

  3. everest everest Public

    Shell 194 30

  4. mitls-fstar mitls-fstar Public archive

    Verified implementation of TLS 1.3 in F*

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

Repositories

Showing 10 of 16 repositories
  • everparse Public

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

    F* 265 Apache-2.0 15 23 7 Updated Mar 11, 2025
  • everest Public
    Shell 194 Apache-2.0 30 21 2 Updated Mar 11, 2025
  • everquic-crypto Public

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

    F* 13 Apache-2.0 4 1 0 Updated Feb 15, 2025
  • mitls-fstar Public archive

    Verified implementation of TLS 1.3 in F*

    F* 176 16 70 5 Updated Feb 12, 2025
  • project-everest.github.io Public

    Landing page for Project Everest

    HTML 12 5 1 1 Updated Jan 7, 2025
  • everest-ci Public

    CI scripts for project everest

    Shell 3 8 7 0 Updated Nov 21, 2024
  • everest-nix Public
    Nix 1 0 0 0 Updated Sep 11, 2024
  • zeta Public

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

    F* 1 Apache-2.0 0 0 0 Updated Apr 17, 2024
  • vale Public

    Verified Assembly Language for Everest

    F# 281 Apache-2.0 21 15 4 Updated Feb 22, 2024
  • .github Public

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

    0 0 0 0 Updated Oct 19, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…