EasyCrypt: Computer-Aided Cryptographic Proofs
☆425Nov 2, 2026Updated this week
Alternatives and similar repositories for easycrypt
Users that are interested in easycrypt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Language for high-assurance and high-speed cryptography☆389Updated this week
- Crypto library☆75Oct 1, 2026Updated last month
- CertiCrypt Coq Framework☆39Apr 6, 2016Updated 10 years ago
- Examples for EasyCrypt Lectures☆30Oct 6, 2026Updated 3 weeks ago
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Nov 10, 2021Updated 4 years ago
- 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.
- A foundational framework for modular cryptographic proofs in Coq☆90Oct 26, 2026Updated last week
- Experiments with Universal Composability in EasyCrypt☆45Oct 26, 2026Updated last week
- Cryptographic Primitive Code Generation by Fiat☆851Oct 19, 2026Updated 2 weeks ago
- Randomized Property-Based Testing Plugin for Coq☆295Updated this week
- A function definition package for Rocq☆238Oct 26, 2026Updated last week
- ☆21Jul 24, 2026Updated 3 months ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆73Jun 26, 2024Updated 2 years ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆57Oct 2, 2025Updated last year
- Rocq RFCs: documents to discuss changes to the Rocq Prover☆66Jan 15, 2025Updated last year
- 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.
- A Lean library for machine-checked cryptographic proofs.☆168Updated this week
- ☆21Dec 16, 2022Updated 3 years ago
- Please see https://github.com/hacspec/hax☆250Feb 12, 2024Updated 2 years ago
- A Library for Representing Recursive and Impure Programs in Coq☆261Updated this week
- CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory☆249Aug 31, 2026Updated 2 months ago
- ☆57Oct 15, 2026Updated 2 weeks ago
- ☆37Mar 20, 2017Updated 9 years ago
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆64Oct 6, 2026Updated 3 weeks ago
- Verified Software Toolchain☆514Oct 22, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The Vellvm (Verified LLVM) coq development.☆503Updated this week
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 7 years ago
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆568Updated this week
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆28Oct 19, 2026Updated 2 weeks ago
- ☆60Oct 12, 2026Updated 3 weeks ago
- This repository contains software for projects focusing on computer-aided verification of (distributed) cryptographic protocols and algor…☆12Jan 10, 2025Updated last year
- Main source code repository of the Tamarin prover for security protocol verification.☆555Updated this week
- A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]☆135Oct 2, 2026Updated last month
- This repo is the new home of Proof General☆562Updated this week
- 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.
- A Verified Compiler for Gallina, Written in Gallina☆183Oct 25, 2026Updated last week
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆319Oct 22, 2026Updated last week
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Updated this week
- ☆27Nov 21, 2021Updated 4 years ago
- Cryptol: The Language of Cryptography☆1,226Updated this week
- Archive for all Rocq and Coq-related opam packages organized in various repositories☆174Updated this week
- ☆39Jun 2, 2026Updated 5 months ago