kadena-io / pact-todomvc

Related projects ⓘ

Alternatives and complementary repositories for pact-todomvc

• sahajgarg / ftw-reputation
  The world's first sybil resistant, fully decentralized reputation protocol.
  ☆26Updated 5 years ago
• raineorshine / functional-solidity-language
  A typed, functional language that targets the EVM.
  ☆55Updated 7 years ago
• MetaMask / eth-ipfs-browser-client
  Ethereum browser client based on ipfs/libp2p
  ☆20Updated 7 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• vacuumlabs / cardano-crypto.js
  Cardano cryptography from the official cardano-crypto transpiled to js with emscripten
  ☆26Updated last year
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆45Updated 3 years ago
• dapp-studies / game-theory-study-group
  Notes and stuff related to the study group
  ☆15Updated 7 years ago
• vincentchu / shh-chat
  PoC for bootstrapping a WebRTC connection using the Whisper protocol
  ☆31Updated 6 years ago
• YangVincent / SmartContractTester
  Analyze Solidity Smart Contracts with a variety of Dynamic/Static Analysis Suites
  ☆12Updated 6 years ago
• Consensys / web3studio-soy
  Static Websites on the Distributed Web
  ☆33Updated last year
• ethereumjs / ethereumjs-testing
  This utility library has been moved to the EthereumJS VM monorepo.
  ☆11Updated 3 years ago
• kumavis / ipfs-eth-bridge
  serve ethereum data over ipfs via parity
  ☆20Updated 7 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆45Updated 4 years ago
• status-im / snt-gas-relay
  SNT Gas Relay
  ☆13Updated last year
• ebfull / hackishlibsnarkbindings
  ☆13Updated 8 years ago
• f-o-a-m / parking-dao
  An Example Solidity Application Using the Chanterelle Build Tool
  ☆43Updated 6 years ago
• Giveth / solcpiler
  Solidity compiler wraper to generate JS.
  ☆15Updated last year
• whiteblock / hobbits
  Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.
  ☆25Updated 5 years ago
• uport-project / mnid
  Multi Network Identifier - spec and reference implementation
  ☆36Updated 3 years ago
• aragon / token-amount
  💸 TokenAmount · A transportable object for token amounts with formatting.
  ☆20Updated last year
• Arachnid / tokencheckingaccount
  A smart contract that allows tokens to be stored in a 'checking account' and released with a signature
  ☆24Updated 7 years ago
• keep-network / whitepaper
  Whitepaper describing the Keep network
  ☆37Updated 4 years ago
• hillstreetlabs / parr
  Elastify the Ethereum blockchain
  ☆25Updated 6 years ago
• o1-labs / snarkette
  Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
  ☆53Updated 5 years ago
• DigixGlobal / tempo
  ⏱ Testing tool: Block & time management over RPC
  ☆14Updated 5 years ago