vladzamfir / PoC

Related projects ⓘ

Alternatives and complementary repositories for PoC

• byteball / sports-oracle
  An oracle that posts results of sports events into Byteball database
  ☆10Updated 2 months ago
• urbit / archaeology
  An Operating Function
  ☆330Updated 10 years ago
• plutomonkey / zcash-vanity
  Zcash Vanity Address Generator
  ☆22Updated 3 years ago
• pirapira / dry-analyzer
  Dr. Y's Ethereum Contract Analyzer
  ☆42Updated 2 years ago
• YangVincent / SmartContractTester
  Analyze Solidity Smart Contracts with a variety of Dynamic/Static Analysis Suites
  ☆12Updated 6 years ago
• tendermint / coding
  ☆14Updated 5 years ago
• AugurProject / augur-audits
  Summaries of findings from Augurs audits
  ☆11Updated 6 years ago
• leithaus / pi4u
  A collection of papers about new models and applications of mobile process calculi
  ☆12Updated 4 years ago
• input-output-hk / qeditas
  A Formal Library as a Bitcoin Spin-Off
  ☆17Updated 7 years ago
• ipfs / go-ipld-eth-import
  Bring Ethereum to IPFS
  ☆26Updated 9 months ago
• 21dotco / bitroute
  An example piece of code to publish to the 21 marketplace. Allows users to pay you bitcoin to run a traceroute.
  ☆16Updated 7 years ago
• weifund / weifund-contracts
  A repo for the WeiFund contracts.
  ☆47Updated 7 years ago
• petertodd / tree-chains-paper
  ☆16Updated 8 years ago
• ETCDEVTeam / sputnikvm-dev
  Development environment based on SputnikVM and etcommon
  ☆14Updated 6 years ago
• Zilliqa / scilla-coq
  State-Transition Systems for Smart Contracts
  ☆24Updated 4 years ago
• MetaMask / eth-ipfs-browser-client
  Ethereum browser client based on ipfs/libp2p
  ☆20Updated 7 years ago
• ethereumjs / ethereumjs-testing
  This utility library has been moved to the EthereumJS VM monorepo.
  ☆11Updated 3 years ago
• ConsenSysMesh / research
  Intended as an open dialogue of cross pollination and collaborative effort to work with researchers.
  ☆10Updated 7 years ago
• shadow / shadow-plugin-bitcoin
  A Shadow plug-in that runs the Bitcoin Satoshi reference software
  ☆25Updated 4 years ago
• dapp-studies / cryptoeconomics
  A collection of 🔥 resources & research on cryptoeconomics
  ☆27Updated 6 years ago
• libp2p / js-libp2p-utp
  uTP module libp2p uses. Implements the interface-transport spec
  ☆12Updated 9 months ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆45Updated 4 years ago
• TrueBitFoundation / ocaml-offchain
  Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification
  ☆44Updated 4 years ago
• ConsensusResearch / articles-papers
  Articles and Papers from Consensus Research
  ☆30Updated 9 years ago
• runtimeverification / erc777-semantics
  ☆11Updated 3 years ago
• yaronvel / smart_contracts
  ☆26Updated 8 years ago
• ETCDEVTeam / emerald-vault-archive
  ARCHIVE. CODE MOVED TO:
  ☆17Updated 5 years ago