kadena-io / pact-todomvc

Related projects ⓘ

Alternatives and complementary repositories for pact-todomvc

• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• MetaMask / eth-ipfs-browser-client
  Ethereum browser client based on ipfs/libp2p
  ☆20Updated 7 years ago
• hillstreetlabs / parr
  Elastify the Ethereum blockchain
  ☆25Updated 6 years ago
• poanetwork / poa-popa
  DApp for proof of physical address (PoPA) attestation for validators of POA Network
  ☆24Updated 5 years ago
• COALAIP / pycoalaip-bigchaindb
  BigchainDB ledger plugin for COALA IP
  ☆16Updated 2 years ago
• Consensys / web3studio-soy
  Static Websites on the Distributed Web
  ☆33Updated last year
• Giveth / solcpiler
  Solidity compiler wraper to generate JS.
  ☆15Updated last year
• MolochVentures / moloch-monorepo
  ☆33Updated last week
• raineorshine / functional-solidity-language
  A typed, functional language that targets the EVM.
  ☆55Updated 7 years ago
• EulerBeats / awesome-eulerbeats
  😎 A curated list of awesome EulerBeats resources.
  ☆12Updated 3 years ago
• Consensys / 0x_audit_report_2018-07-23
  0x Protocol v2 Audit
  ☆24Updated 5 years ago
• ethjs / ethjs-ens
  An Ethereum Name Service interface module built on EthJS
  ☆34Updated last year
• ethereumjs / ethereumjs-testing
  This utility library has been moved to the EthereumJS VM monorepo.
  ☆11Updated 3 years ago
• f-o-a-m / parking-dao
  An Example Solidity Application Using the Chanterelle Build Tool
  ☆43Updated 6 years ago
• aragon / token-amount
  💸 TokenAmount · A transportable object for token amounts with formatting.
  ☆20Updated last year
• YangVincent / SmartContractTester
  Analyze Solidity Smart Contracts with a variety of Dynamic/Static Analysis Suites
  ☆12Updated 6 years ago
• whiteblock / hobbits
  Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.
  ☆25Updated 5 years ago
• Neufund / ico-contracts
  ☆38Updated 6 years ago
• paritytech / oo7-react
  The Reactive Bond API
  ☆12Updated 5 years ago
• o1-labs / snarkette
  Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
  ☆53Updated 5 years ago
• Arachnid / tokencheckingaccount
  A smart contract that allows tokens to be stored in a 'checking account' and released with a signature
  ☆24Updated 7 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆45Updated 3 years ago
• paritytech / skeleton
  A skeleton dapp
  ☆16Updated 6 years ago
• danfinlay / ethereum-ens-network-map
  A simple map of ethereum networks to ENS registry addresses.
  ☆12Updated 11 months ago
• sahajgarg / ftw-reputation
  The world's first sybil resistant, fully decentralized reputation protocol.
  ☆26Updated 5 years ago