Creusot helps you prove your Rust code is correct.
rust proof verification rust-lang formal-methods contracts formal-verification deductive-reasoning why3
- Updated
Jul 23, 2026 - Rust
proof 开源项目推荐（3 个）
相关标签
Here are 736 public repositories matching this topic...
Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
- Updated
Jul 24, 2026 - Rocq Prover
An advanced SAT solver
- Updated
Jul 21, 2026 - C++
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
rust proof verification rust-lang formal-methods sat-solver minisat formal-verification sat automated-reasoning satisfiability deductive-reasoning
- Updated
Apr 15, 2026 - Rust
A framework for formally verifying distributed systems implementations in Coq
- Updated
Jan 27, 2026 - Rocq Prover
seL4 specification and proofs
- Updated
Jul 24, 2026 - Isabelle
Verified Software Toolchain
c coq proof verification proof-assistant formal-methods compcert formal-verification coq-library formal-specification coq-vst
- Updated
Jul 23, 2026 - Rocq Prover
Public append-only ledger microservice built with Slim Framework
php security cryptography knowledge chain proof hash blake2b security-tools sapient append-only hash-chain
- Updated
Jan 17, 2022 - PHP
Project is in active development and has been moved to the EthereumJS VM monorepo.
- Updated
Jan 19, 2021 - TypeScript
Reference implementation of the OpenRarity protocol with Python.
open-source crypto proof apache2 curio icy nft rarity etherium solana opensea openrarity open-rarity
- Updated
Jan 4, 2024 - Python
Coq formalizations of functional languages.
- Updated
Jul 2, 2020 - Coq
In this repository you can find stuff related to hack Facebook & Instagram. Disclaimer: This is only the proof of concept of my piece of code and only for educational purpose. So we are not responsible for any illegal use of this code.
- Updated
Feb 21, 2025 - PHP
Zero-Knowledge Proofs "for (not too much 😉 ) dummies"
simulator proof argument prover fiat-shamir zero-knowledge proof-of-knowledge verifier completeness nizk zkp soundness
- Updated
Sep 24, 2023
Hääl - Anonymous Electronic Voting System on Public Blockchains
protocol ethereum dapp smart-contracts blockchain proof whitepaper votes homomorphic-encryption e-voting digital-signatures blockchains electronic-voting voting-system zk-snarks ganache zero-knowledge-proofs stealth-wallets
- Updated
Dec 9, 2022 - JavaScript
GAPT: General Architecture for Proof Theory
- Updated
Jul 16, 2026 - Scala
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
- Updated
Jul 26, 2024 - Coq
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
scala proof mathematica tactics dynamical-systems differential-equations hybrid-systems theorem-prover axiom cyber-physical-systems dynamic-logics differential-dynamic-logic keymaera hybrid-games
- Updated
May 21, 2026 - Scala
Correctness proofs of Ethereum token contracts
- Updated
Jun 5, 2019 - Coq