Alternatives and similar repositories for game-theory-study-group:

Users that are interested in game-theory-study-group are comparing it to the libraries listed below

• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆45Updated 3 years ago
• metacartel / meta-connect
  Meta Conneeeeeect
  ☆13Updated 6 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• LogvinovLeon / ETH-Denver
  0x protocol TypeScript monorepo
  ☆23Updated 3 years ago
• SpankChain / old-sc_auction
  A state channels ICO auction contract.
  ☆23Updated 7 years ago
• dapphub / keeper
  Admin toolkit for incentive-following software daemons
  ☆19Updated 8 years ago
• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 6 years ago
• makerdao / simplecoin1
  Something to play with while we wait
  ☆20Updated 5 years ago
• GNSPS / 2DProxy
  A Solidity delegate call proxy that also `delegatecall`'s its constructor
  ☆22Updated 6 years ago
• ledgerlabs / toy-state-channels
  An educational "toy" implementation of fully abstracted state channels
  ☆49Updated 8 years ago
• whiteblock / hobbits
  Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.
  ☆26Updated 5 years ago
• maurelian / evm-polyglot
  Translations of standard contracts from Solidity to Vyper.
  ☆12Updated 6 years ago
• federicobond / eth-mutants
  👾 A mutation testing tool for Solidity contracts
  ☆48Updated 6 years ago
• aragonlabs / court-sim
  An agent-based model of decentralized dispute resolution oracle.
  ☆12Updated 6 years ago
• DigixGlobal / tempo
  ⏱ Testing tool: Block & time management over RPC
  ☆14Updated 5 years ago
• Consensys / 0x_audit_report_2018-07-23
  0x Protocol v2 Audit
  ☆25Updated 5 years ago
• makerdao / token-auction
  Continuous Splitting Token Auction
  ☆21Updated 3 years ago
• SilentCicero / wafr
  A super simple Solidity test harness for Ethereum smart-contracts.
  ☆31Updated 7 years ago
• Giveth / solcpiler
  Solidity compiler wraper to generate JS.
  ☆15Updated 2 years ago
• federicobond / solidity-spec
  A Solidity spec suite to test parsers for language compliance.
  ☆11Updated 7 years ago
• solidblu1992 / ethereum
  ☆18Updated last year
• EthereumCommunityFund / Projects
  ECF Project Applications and Updates
  ☆13Updated 6 years ago
• barryWhiteHat / libsnark-tutorial
  A zkSNARK tutorial and development environment
  ☆16Updated 7 years ago
• enslogin / Hackathon
  [DEPRECATED] ENS Login hackthan project for ETHBerlin 2019
  ☆17Updated 5 years ago
• mattdf / sc-tools
  Smart Contract tools to help streamline Ethereum dapp development and deployment
  ☆14Updated 7 years ago
• simondlr / mememarkets
  A protocol for the decentralized monetization of *all* information (memes) and its network effects.
  ☆37Updated 7 years ago
• pipeos-one / pipeline-meteor
  [OUTDATED] First PoC for a visual IDE for for composing Solidity smart contracts
  ☆9Updated 2 years ago
• kobigurk / tmsp-ethereum
  ☆10Updated 8 years ago
• ensdomains / solsha1
  Pure-solidity implementation of the SHA1 hash function.
  ☆41Updated 2 years ago
• plasma-group / PLIPs
  Repo for Plasma improvement proposals
  ☆11Updated 5 years ago