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.
  ☆37Updated 2 years ago
• lex-node / SCoDA-Simple-Code-Deference-Agreement-
  a model simple code deference agreement
  ☆38Updated 4 years ago
• ensdomains / l2gateway-demo
  A simple demonstration of a proposed L2 gateway specification
  ☆55Updated 2 years ago
• dOrgTech / OpenRaise
  Bonding Curves For DAOs
  ☆76Updated 3 years ago
• austintgriffith / native-meta-transactions
  integrate signed message recovery directly in your contracts
  ☆37Updated 6 years ago
• ethereum-funding / blockrewardsfunding
  Project Management is happening in this repo, see the Issues! This is a fork of ethereum/eips.
  ☆17Updated 5 years ago
• jrag0x / EthereumObituaries
  A curated list of all Ethereum Obituaries.
  ☆59Updated this week
• ethereum-magicians / scrolls
  The information of the Fellowship of Ethereum Magicians
  ☆93Updated 4 years ago
• aragonone / tollgate
  Simple Aragon App forwarder that requires a user to deposit fees before executing an action
  ☆11Updated 4 years ago
• dOrgTech / DAOcreator
  dApp for creating and interacting with DAOs
  ☆35Updated 2 years ago
• alexvansande / MuchClearerDAI
  Dai Stablecoin System
  ☆122Updated 5 years ago
• Arachnid / ethjs-abi-bigquery
  ethjs-abi library, compiled for use in Google BigQuery
  ☆18Updated 3 years ago
• coinfund / governance-model
  A relative value model for governance tokens
  ☆22Updated 5 years ago
• rtoken-project / rtoken-monorepo
  RToken Ethereum monorepo
  ☆90Updated 2 months ago
• HausDAO / Molochv2.1
  Moloch DAO v2 with multi-summoner capabilities, plus register function for metadata.
  ☆47Updated 2 years ago
• wslyvh / tokenlog
  This repo is no longer maintained. Check out the fork at General Magic
  ☆53Updated 2 years ago
• dapphub / ds-dach
  Dai Automated Clearing House
  ☆52Updated 5 years ago
• balancer / configurable-rights-pool
  ☆34Updated 4 years ago
• lsankar4033 / surrogeth
  Tricking frontrunners into doing good
  ☆42Updated 2 years ago
• Tenderly / sol.tty
  ☆22Updated 2 years ago
• plasma-group / research
  Random research and simulations
  ☆16Updated 5 years ago
• Arachnid / extrabalance
  ☆36Updated 8 years ago
• OpenZeppelin / openzeppelin-gsn-helpers
  Test and development helper methods and scripts for GSN
  ☆21Updated 4 years ago
• BrightID / BrightID-SmartContract
  Smart contract templates for publishing BrightID verifications on-chain and using those verifications
  ☆38Updated last year
• SilentCicero / MultiSignatureWallet
  311 byte EIP712 Signing Compliant Delegate-Call Enabled MultiSignature Wallet for the Ethereum Virtual Machine
  ☆60Updated last year
• clemlak / leafleth
  📑 Documentation generator for Solidity
  ☆25Updated 3 years ago
• superfluid-org / superfluid-sentinel
  ☆24Updated 2 months ago
• LeXpunK-Army / LeXpunK_DAO_Defense_Protocol
  LeXpunK Legal Defense Protocol for DAOs/Multisigs
  ☆51Updated 2 years ago
• 1Hive / apiary
  Aragon DAO explorer
  ☆25Updated 4 years ago
• VictorTaelin / nano-ethereum-signer
  Very small Ethereum signer and verifier
  ☆37Updated 4 years ago