Alternatives and similar repositories for pact-todomvc

Users that are interested in pact-todomvc are comparing it to the libraries listed below

• raineorshine / functional-solidity-language
  A typed, functional language that targets the EVM.
  ☆55Updated 8 years ago
• dapp-studies / game-theory-study-group
  Notes and stuff related to the study group
  ☆15Updated 8 years ago
• keep-network / whitepaper
  Whitepaper describing the Keep network
  ☆37Updated 5 years ago
• ConsenSysMesh / example-truffle-library
  Example project showing how to use Truffle to create javascript libraries.
  ☆19Updated 8 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• f-o-a-m / chanterelle
  Chanterelle -- a more functional truffle
  ☆80Updated 5 months ago
• YangVincent / SmartContractTester
  Analyze Solidity Smart Contracts with a variety of Dynamic/Static Analysis Suites
  ☆12Updated 6 years ago
• kumavis / udapp
  ethereum universal dapp
  ☆27Updated 7 years ago
• ethereumjs / ethereumjs-testing
  This utility library has been moved to the EthereumJS VM monorepo.
  ☆12Updated 4 years ago
• f-o-a-m / parking-dao
  An Example Solidity Application Using the Chanterelle Build Tool
  ☆43Updated 7 years ago
• Souptacular / marriage-dapp
  An Ethereum DApp that allows you to upload your marriage information to the Ethereum blockchain.
  ☆25Updated 9 years ago
• Arachnid / tokencheckingaccount
  A smart contract that allows tokens to be stored in a 'checking account' and released with a signature
  ☆25Updated 8 years ago
• sahajgarg / ftw-reputation
  The world's first sybil resistant, fully decentralized reputation protocol.
  ☆26Updated 6 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆47Updated 5 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆46Updated 3 years ago
• zigguratt / lll-dispatcher
  An LLL-based smart contract function dispatcher and example contract.
  ☆47Updated 8 years ago
• f-o-a-m / purescript-web3
  a purescript library for the web3 api
  ☆127Updated 6 months ago
• pirapira / fp-ethereum
  Functional Programming for Ethereum: Intro and Resources
  ☆66Updated 8 years ago
• runtimeverification / erc777-semantics
  ☆11Updated 3 years ago
• vincentchu / shh-chat
  PoC for bootstrapping a WebRTC connection using the Whisper protocol
  ☆32Updated 6 years ago
• paritytech / skeleton
  A skeleton dapp
  ☆16Updated 7 years ago
• hillstreetlabs / parr
  Elastify the Ethereum blockchain
  ☆25Updated 6 years ago
• f-o-a-m / purescript-web3-generator
  A code generation tool for purescript-web3
  ☆22Updated 6 months ago
• ubiq / shokku
  An open source scalable blockchain infrastructure for Ubiq, Ethereum, POA and IPFS that runs on Kubernetes
  ☆38Updated 7 years ago
• pirapira / dry-analyzer
  Dr. Y's Ethereum Contract Analyzer
  ☆41Updated 3 years ago
• MetaMask / eth-ipfs-browser-client
  Ethereum browser client based on ipfs/libp2p
  ☆20Updated 7 years ago
• aupiff / keccak
  Keccak hash functions
  ☆11Updated 5 years ago
• f-o-a-m / purescript-web3-example
  ☆21Updated 7 years ago
• Neufund / ico-contracts
  ☆38Updated 7 years ago
• decrypto-org / TrustIsRisk
  Decentralized monetary trust network
  ☆32Updated 7 years ago