Project Everest (original) (raw)

Skip to content

Navigation Menu

• • GitHub Copilot Write better code with AI
  • GitHub Models New Manage and compare prompts
  • GitHub Advanced Security Find and fix vulnerabilities
  • Actions Automate any workflow
  • Codespaces Instant dev environments
  • Issues Plan and track work
  • Code Review Manage code changes
  • Discussions Collaborate outside of code
  • Code Search Find more, search less
• Explore
  • Learning Pathways
  • Events & Webinars
  • Ebooks & Whitepapers
  • Customer Stories
  • Partners
  • Executive Insights
• • GitHub Sponsors Fund open source developers
  • The ReadME Project GitHub community articles
• • Enterprise platform AI-powered developer platform
• Pricing

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

• Overview
• Repositories
• Projects
• Packages
• People

Popular repositories Loading

1. Verified Assembly Language for Everest
   F# 291 21
2. Automated generation of provably secure, zero-copy parsers from format specifications
   F* 276 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

• project-everest/everest’s past year of commit activity
  Shell
  198
  Apache-2.0
  30 21 2
  Updated Jun 11, 2025
• everparse Public
  Automated generation of provably secure, zero-copy parsers from format specifications
  project-everest/everparse’s past year of commit activity
  F*
  276
  Apache-2.0
  18 25 7
  Updated Jun 9, 2025
• project-everest/project-everest.github.io’s past year of commit activity
  HTML
  12 4 1 1
  Updated Jun 9, 2025
• 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 Feb 15, 2025
• mitls-fstar Public archive
  Verified implementation of TLS 1.3 in F*
  project-everest/mitls-fstar’s past year of commit activity
• project-everest/everest-ci’s past year of commit activity
  Shell
  3 8 7 0
  Updated Nov 21, 2024
• project-everest/everest-nix’s past year of commit activity
  Nix
  1
  0
  0 0
  Updated Sep 11, 2024
• zeta Public
  Zeta: A Provably Correct Monitor for Concurrent Key-Value Stores
  project-everest/zeta’s past year of commit activity
  F*
  1
  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#
  291
  Apache-2.0
  21 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

Most used topics

Loading…