proof
There are 295 repositories under proof topic.
creusot-rs/creusot
Creusot helps you prove your code is correct in an automated fashion.
formal-land/coq-of-rust
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦
msoos/cryptominisat
An advanced SAT solver
sarsko/CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
agda/agda-stdlib
The Agda standard library
uwplse/verdi
A framework for formally verifying distributed systems implementations in Coq
seL4/l4v
seL4 specification and proofs
paragonie/chronicle
Public append-only ledger microservice built with Slim Framework
PrincetonUniversity/VST
Verified Software Toolchain
ethereumjs/merkle-patricia-tree
Project is in active development and has been moved to the EthereumJS VM monorepo.
OpenRarity/open-rarity
Reference implementation of the OpenRarity protocol with Python.
uwplse/verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
discus-lang/iron
Coq formalizations of functional languages.
FL45h-09/SocialHack
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.
baro77/ZKbasicsCS
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
eddieoz/haal
Hääl - Anonymous Electronic Voting System on Public Blockchains
gapt/gapt
GAPT: General Architecture for Proof Theory
DistributedComponents/disel
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
sec-bit/tokenlibs-with-proofs
Correctness proofs of Ethereum token contracts
AstraaDev/NitroProof-Gen
Generate an image (.png) simulating the donation of a nitro to a user
ekmett/linear-logic
They see me rollin'. They're Heyting. -- Chamillionaire, 2005
LS-Lab/KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
gallais/generic-syntax
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
Jumaruba/LPL-solutions
Solutions for the book "Language Proof and Logic".
jirilebl/ra
Basic Analysis, undergraduate real analysis textbook
cakedefi/merkle-proof-tool
Tool that enables Cake DeFi's to provide proof of liabilities and reserves
CodeSandwich/Snapshop
On-chain snapshots of the whole blockchain state
RyanMarcus/vulcan
A JavaScript propositional logic and resolution library
chainpoint/chainpoint-cli
A Command Line Interface (CLI) for creating and verifying Chainpoint proofs.
eyereasoner/eye-js
A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
w3c/vc-di-bbs
A linked data proof suite specification for BBS+ signatures
themattrosen/Planeverb
Project Planeverb is a CPU based real-time wave-based acoustics engine for games. It comes with an integration with the Unity Engine.
DifftyLab/Diffy
🎞️💓🍿 Love streaming - It's always best to watch a movie together ! 🤗
NuID/examples
Examples of NuID's zero knowledge authentication and key management facilities in various languages and frameworks. Open an Issue or PR if you'd like to see your favorite tool here.
lemmy/lets-prove-blocking-queue
Proving a blocking queue deadlock free in a dozen different ways