Project Everest (original) (raw)
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
- Pricing
Provide feedback
Saved searches
Use saved searches to filter your results more quickly
Appearance settings
Popular repositories Loading
- Verified Assembly Language for Everest
F# 291 21 - Automated generation of provably secure, zero-copy parsers from format specifications
F* 275 18 - Verified implementation of TLS 1.3 in F*
F* 177 16 - An implementation of the IETF QUIC protocol in F*
F* 20 1 - 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/project-everest.github.io’s past year of commit activity
HTML
12 4 1 1
Updated Jun 9, 2025 - project-everest/everest’s past year of commit activity
Shell
198
Apache-2.0
30 21 2
Updated Jun 7, 2025 - everparse Public
Automated generation of provably secure, zero-copy parsers from format specifications
project-everest/everparse’s past year of commit activity
F*
275
Apache-2.0
18 25 7
Updated Jun 5, 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…