proof

There are 5 repositories under proof topic.

• creusot

  creusot-rs / creusot

  Creusot helps you prove your code is correct in an automated fashion.

  rust-langverificationproofformal-verificationdeductive-reasoningwhy3rustformal-methods
  Language:Rust 967

• msoos / cryptominisat

  An advanced SAT solver

  sat-solververificationcryptographycnfxorcdcl-algorithmdpllproof
  Language:C++ 788

• sarsko / CreuSAT

  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

  automated-reasoningdeductive-reasoningformal-methodsformal-verificationminisatproofrustrust-langsatsat-solversatisfiabilityverification
  Language:Rust 581

• uwplse / verdi

  A framework for formally verifying distributed systems implementations in Coq

  coqcoq-librarydistributed-systemsproofverdi
  Language:Coq 572

• agda / agda-stdlib

  The Agda standard library

  agdalibraryproof
  Language:Agda 555

• seL4 / l4v

  seL4 specification and proofs

  isabellesel4-proofsproofformalisationsel4-microkernel
  Language:Isabelle 488

• paragonie / chronicle

  Public append-only ledger microservice built with Slim Framework

  append-onlyblake2bchaincryptographyhashhash-chainknowledgephpproofsapientsecuritysecurity-tools
  Language:PHP 469

• PrincetonUniversity / VST

  Verified Software Toolchain

  ccompcertcoqcoq-librarycoq-vstformal-methodsformal-specificationformal-verificationproofproof-assistantverification
  Language:Coq 413
• bootstrap-dark-5

  vinorodrigues / bootstrap-dark-5

  The Ancillary Guide to Dark Mode and Bootstrap 5 - A continuation of the v4 Dark Mode POC.

  bootstrapcssmobile-firstresponsivefront-endframeworkwebdarkdark-modecolorcolor-schemeprefers-color-schemeadd-onscssbootstrap5proof-of-conceptproofconceptbootstrap-dark
  Language:SCSS 358

• ethereumjs / merkle-patricia-tree

  Project is in active development and has been moved to the EthereumJS VM monorepo.

  data-structuresethereummerkle-patricia-treemerkle-proofmerkle-treeprooftrie
  Language:TypeScript 305
• open-rarity

  OpenRarity / open-rarity

  Reference implementation of the OpenRarity protocol with Python.

  apache2cryptocurioetheriumicynftopen-rarityopen-sourceopenrarityopenseaproofraritysolana
  Language:Python 216

• uwplse / verdi-raft

  An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

  raftverdicoqproofdistributed-systemsconsensuskey-value
  Language:Coq 177
• bootstrap-dark

  vinorodrigues / bootstrap-dark

  The Definitive Guide to Dark Mode and Bootstrap 4 - A proof of concept

  bootstrap-darkscsscssbootstrapcolorfront-endframeworkwebproof-of-conceptresponsivecolor-schemeproofconceptmobile-firtsdarkdark-modeadd-onprefers-color-schemebootstrap4
  Language:HTML 157

• discus-lang / iron

  Coq formalizations of functional languages.

  coqlambda-calculustheoryproofcoq-formalizations
  Language:Coq 139

• formal-land / coq-of-rust

  Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 Formal verification

  coqformal-verificationrustproof
  Language:Coq 124

• baro77 / ZKbasicsCS

  Zero-Knowledge Proofs "for (not too much :wink: ) dummies"

  argumentcompletenessfiat-shamirnizkproofproof-of-knowledgeproversimulatorsoundnessverifierzero-knowledgezkp
  116

• eddieoz / haal

  Hääl - Anonymous Electronic Voting System on Public Blockchains

  e-votingblockchainethereumzero-knowledge-proofssmart-contractselectronic-votingvoting-systemdappzk-snarkshomomorphic-encryptionstealth-walletsdigital-signaturesblockchainsprotocolwhitepaperganacheproofvotes
  Language:JavaScript 100

• sec-bit / tokenlibs-with-proofs

  Correctness proofs of Ethereum token contracts

  coqerc20formal-verificationprooftoken
  Language:Coq 98

• DistributedComponents / disel

  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

  distributed-systemscoqtwo-phase-commitseparation-logicproofcoq-librarymathcompssreflect
  Language:Coq 93

• gapt / gapt

  GAPT: General Architecture for Proof Theory

  proofsherbrand-disjunctionscalatheorem-provingsat-solvertacticsproof
  Language:Scala 90

• 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.

  concepthack-facebookhack-instagraminstagramproof
  Language:PHP 88

• LS-Lab / KeYmaeraX-release

  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

  hybrid-systemstheorem-proverdynamic-logicsdynamical-systemsprooftacticsmathematicadifferential-dynamic-logicdifferential-equationsaxiomcyber-physical-systemsscalahybrid-gameskeymaera
  Language:Scala 72

• gallais / generic-syntax

  A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

  agdageneric-programmingproofsemantic
  Language:Agda 67

• cakedefi / merkle-proof-tool

  Tool that enables Cake DeFi's to provide proof of liabilities and reserves

  blockchainmerkletransparencybitcoincryptocryptocurrencycryptographyethereumproof
  Language:TypeScript 66

• CodeSandwich / Snapshop

  On-chain snapshots of the whole blockchain state

  ethereumevmgovernanceproofsnapshotssoliditysolidity-contractsweb3
  Language:JavaScript 65

• Jumaruba / LPL-solutions

  Solutions for the book "Language Proof and Logic".

  fitchfitch-proofslogiclplproof
  65

• data61 / PSL

  proofpslisabelleproof-strategiesconjectureholmachine-learningartificial-intelligenceitpinteractive-theorem-provingdomain-specific-languageinductionproof-assistantformal-proofsformal-verificationformal-methodsproof-search
  Language:Isabelle 61

• chainpoint / chainpoint-cli

  A Command Line Interface (CLI) for creating and verifying Chainpoint proofs.

  api-clientbitcoinchainpointcommand-linecryptographyethereumhashproofsha256
  Language:JavaScript 59

• RyanMarcus / vulcan

  A JavaScript propositional logic and resolution library

  javascriptproofproof-assistantlogic
  Language:JavaScript 58

• jirilebl / ra

  Basic Analysis, undergraduate real analysis textbook

  real-analysisanalysistextbookmathematicsproofadvanced-calculuslatex
  Language:TeX 53

• w3c / vc-di-bbs

  A linked data proof suite specification for BBS+ signatures

  bbs-signaturesproofstandardvc-wgw3cworkitem
  Language:HTML 44

• DifftyLab / Diffy

  🎞️💓🍿 Love streaming - It's always best to watch a movie together ! 🤗

  webtorrentstreamingstreaming-videoroomp2pbittorrentwebrtcjavascriptbrowsertorrentwatchstreamvideomoviestorrentsmovieliveproofofconcept
  Language:JavaScript 43

• lemmy / lets-prove-blocking-queue

  Proving a blocking queue deadlock free in a dozen different ways

  deadlock-freedomalgorithmproofconcurrencytlatlaplus
  Language:Dafny 42
• examples

  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.

  nuidnodejsjavascriptauthenticationzero-knowledgekey-managementruby-on-railsrubynuid-portaldeveloper-portalprooflogin-registration-uxdemo
  Language:JavaScript 42

• 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.

  acousticsacoustics-enginedspwavereverbcpuproofconceptwave-simulationunity-enginemultithreadingaudio-processingdigital-signal-processing
  Language:C++ 41

• AstraaDev / Discord-Fake-Nitro-Proof-Generator

  This Fake Proof generator allows you to generate an image (.png) simulating the donation of a nitro to a user. It is possible to choose by entering the ID a real user or to choose manually the name, the profile picture and the message of the user. The use of the script is done with the help of commands using Discord modals.

  botdiscorddiscord-pyfakegeneratornitroproofpythontoolproof-generatordiscord-tools
  Language:Python 36