Alternatives and similar repositories for proof:

Users that are interested in proof are comparing it to the libraries listed below

• DemocracyEarth / dao
  Minimal Quadratic Voting DAO.
  ☆36Updated 2 years ago
• Arachnid / extrabalance
  ☆37Updated 8 years ago
• superfluid-org / superfluid-sentinel
  ☆24Updated 3 months ago
• HausDAO / Molochv2.1
  Moloch DAO v2 with multi-summoner capabilities, plus register function for metadata.
  ☆48Updated 2 years ago
• dapphub / ds-dach
  Dai Automated Clearing House
  ☆52Updated 5 years ago
• BrightID / BrightID-SmartContract
  Smart contract templates for publishing BrightID verifications on-chain and using those verifications
  ☆38Updated last year
• Moloch-Mystics / moloch-v3
  MolochDAO smart contracts
  ☆27Updated 4 years ago
• aragon / evm-storage-proofs
  Trustlessly prove a past storage value in a contract to other contracts
  ☆146Updated 2 years ago
• jrag0x / EthereumObituaries
  A curated list of all Ethereum Obituaries.
  ☆59Updated this week
• etheralpha / project-sunshine
  This is the source code for https://ethsunshine.com, a site to monitor the Ethereum's decentralization health.
  ☆20Updated 2 years ago
• 0xmetropolis / contracts
  ☆37Updated 2 years ago
• ethereum-magicians / scrolls
  The information of the Fellowship of Ethereum Magicians
  ☆92Updated 4 years ago
• smartcontractresearchforum / docs
  ☆42Updated 2 years ago
• lex-node / SCoDA-Simple-Code-Deference-Agreement-
  a model simple code deference agreement
  ☆38Updated 4 years ago
• hoprnet / gnosis-hosted
  An effort to self-host Gnosis Safe ourselves on a doomsday-like scenario
  ☆22Updated 3 years ago
• JuanuMusic / humanitweet
  A twitter-like social network for REAL Human beings
  ☆12Updated 3 years ago
• lexDAO / Legal-Engineers
  Roster and other tallies on LexDAO Certified Legal Engineers
  ☆18Updated 11 months ago
• Moloch-Mystics / Baal
  Baal sets the season, and gives forth His voice from the clouds.
  ☆94Updated 9 months ago
• liquity / liquity
  Decentralized Borrowing Protocol
  ☆63Updated 3 years ago
• kleros / erc-792
  Implementation of ERC 792: Arbitration Standard and tutorials for implementing arbitrable and arbitrator contracts
  ☆28Updated 2 years ago
• 0xKiwi / Mastering-Solidity
  A smorgasbord of essential information to help educate about the inner workings of Solidity and the EVM.
  ☆33Updated 6 years ago
• lukso-network / rICO-smart-contracts
  Smart contracts for the Reversible ICO (rICO)
  ☆38Updated 2 years ago
• wslyvh / tokenlog
  This repo is no longer maintained. Check out the fork at General Magic
  ☆53Updated 2 years ago
• ensdomains / l2gateway-demo
  A simple demonstration of a proposed L2 gateway specification
  ☆55Updated 2 years ago
• Tenderly / sol.tty
  ☆22Updated 2 years ago
• ConsenSysDiligence / Uniswap-audit-report-2018-12
  ☆50Updated 5 years ago
• Synthetixio / Unipool
  ☆22Updated 3 years ago
• 1Hive / gardens
  Gardens are digital economies that anyone can help shape 🌻
  ☆28Updated last year
• yearn / yearn-vesting-escrow
  token vesting escrow with cliff and clawback
  ☆69Updated last year
• balancer / configurable-rights-pool
  ☆34Updated 4 years ago