☆209Oct 14, 2025Updated last year
Alternatives and similar repositories for everest
Users that are interested in everest are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Verified Assembly Language for Everest☆321Feb 22, 2024Updated 2 years ago
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆524Updated this week
- Verified implementation of TLS 1.3 in F*☆183Oct 23, 2026Updated last week
- HACL*, a formally verified cryptographic library written in F*☆1,845Updated this week
- Visualization tool for your IO-uring workload☆22Aug 19, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Landing page for Project Everest☆12Updated this week
- An implementation of the IETF QUIC protocol in F*☆21Aug 8, 2019Updated 7 years ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆20Jun 21, 2015Updated 11 years ago
- A Proof-oriented Programming Language☆3,132Updated this week
- Emacs support for F*☆71Jun 25, 2025Updated last year
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- For Jar artifacts☆20Nov 8, 2025Updated 11 months ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆345Updated this week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆208Feb 5, 2024Updated 2 years ago
- Cryptol: The Language of Cryptography☆1,226Updated this week
- A formalization of properties of a simple imperative, memory-safe language.☆20Sep 27, 2021Updated 5 years ago
- Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.☆17Aug 11, 2025Updated last year
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 9 years ago
- The Steel separation logic library for F*☆40Jun 8, 2026Updated 4 months ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆25Mar 3, 2026Updated 7 months ago
- The Vellvm (Verified LLVM) coq development.☆503Updated this week
- Embed typed ASN.1 grammars in OCaml☆36Sep 14, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Scrap Your Boilerplate for OCaml with modular implicits☆19Mar 15, 2026Updated 7 months ago
- Lean playground for programming language modeling tooling.☆15May 20, 2026Updated 5 months ago
- A function definition package for Rocq☆238Oct 26, 2026Updated last week
- Cryptographic Primitive Code Generation by Fiat☆851Oct 19, 2026Updated 2 weeks ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆43Jul 27, 2019Updated 7 years ago
- Verified Software Toolchain☆514Oct 22, 2026Updated last week
- Implementation of cryptographic primitives in Go☆13Mar 13, 2023Updated 3 years ago
- A deterministic parser with fused lexing☆79Jul 1, 2023Updated 3 years ago
- Communication between Coq and SAT/SMT solvers☆170Updated this week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- FSCQ is a certified file system written and proven in Coq☆252Oct 21, 2022Updated 4 years ago
- flexible 'let rec' generation for MetaOCaml☆29Jan 25, 2026Updated 9 months ago
- HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).☆30Feb 29, 2020Updated 6 years ago
- Language for high-assurance and high-speed cryptography☆389Updated this week
- The MSR Ironclad project builds provably secure and reliable systems.☆272Jun 3, 2023Updated 3 years ago
- LVC verified compiler☆60Nov 1, 2018Updated 8 years ago
- The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]☆74Aug 25, 2026Updated 2 months ago