Skip to content
Change the repository type filter

All

    Repositories list

    • everest

      Public
      Shell
      Apache License 2.0
      29193212Updated Nov 10, 2024Nov 10, 2024
    • everparse

      Public
      Automated generation of provably secure, zero-copy parsers from format specifications
      F*
      Apache License 2.0
      15249216Updated Nov 9, 2024Nov 9, 2024
    • Nix
      0100Updated Sep 11, 2024Sep 11, 2024
    • CI scripts for project everest
      Shell
      8370Updated Sep 4, 2024Sep 4, 2024
    • Landing page for Project Everest
      HTML
      51211Updated Sep 4, 2024Sep 4, 2024
    • Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.
      F*
      Apache License 2.0
      41310Updated Aug 28, 2024Aug 28, 2024
    • mitls-fstar

      Public archive
      Verified implementation of TLS 1.3 in F*
      F*
      Other
      16173705Updated Jun 4, 2024Jun 4, 2024
    • zeta

      Public
      Zeta: A Provably Correct Monitor for Concurrent Key-Value Stores
      F*
      Apache License 2.0
      0000Updated Apr 17, 2024Apr 17, 2024
    • vale

      Public
      Verified Assembly Language for Everest
      F#
      Apache License 2.0
      20270154Updated Feb 22, 2024Feb 22, 2024
    • .github

      Public
      Default Community Health Files for the Project-Everest organization on GitHub
      0000Updated Oct 19, 2022Oct 19, 2022
    • ethereum-star

      Public archive
      F* proofs of Ethereum
      Solidity
      Apache License 2.0
      01110Updated Sep 17, 2021Sep 17, 2021
    • everest-dist

      Public archive
      Distribution files of Project Everest
      C
      Apache License 2.0
      3100Updated Feb 18, 2020Feb 18, 2020
    • QUIC-FStar

      Public archive
      An implementation of the IETF QUIC protocol in F*
      F*
      Apache License 2.0
      11810Updated Aug 8, 2019Aug 8, 2019
    • mbedtls

      Public archive
      An open source, portable, easy to use, readable and flexible SSL library
      C
      Other
      2.6k300Updated Jul 24, 2019Jul 24, 2019
    • ci-logs

      Public archive
      The CI logs for Project Everest
      HTML
      2000Updated Oct 10, 2018Oct 10, 2018
    • MLCrypto

      Public archive
      OCaml adapters for crypto providers used in Everest
      OCaml
      01000Updated Sep 13, 2018Sep 13, 2018