f-o-a-m / chanterelle

Related projects ⓘ

Alternatives and complementary repositories for chanterelle

• raineorshine / functional-solidity-language
  A typed, functional language that targets the EVM.
  ☆55Updated 7 years ago
• LogvinovLeon / ETH-Denver
  0x protocol TypeScript monorepo
  ☆23Updated 2 years ago
• kumavis / udapp
  ethereum universal dapp
  ☆27Updated 7 years ago
• evm-lang-design / evm-lang-design
  Language Design Community for the EVM: Intro and Resources
  ☆137Updated 7 years ago
• f-o-a-m / purescript-web3
  a purescript library for the web3 api
  ☆127Updated 6 months ago
• cpacia / ens-lite
  Lightweight ENS resolver and library
  ☆24Updated 7 years ago
• pubkey / solidity-cli
  Compile solidity-code faster, easier and more reliable
  ☆50Updated 5 years ago
• dapp-studies / game-theory-study-group
  Notes and stuff related to the study group
  ☆15Updated 7 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• lucasvo / learning-paymentchannels
  ☆10Updated 5 years ago
• gnosis / dx-contracts
  🇳🇱✖️DutchX core smart contracts
  ☆45Updated 4 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆45Updated 3 years ago
• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated last year
• zeppelinos / zos-lib
  Deprecated repo in favour of https://github.com/zeppelinos/zos
  ☆62Updated 6 years ago
• ledgerlabs / toy-state-channels
  An educational "toy" implementation of fully abstracted state channels
  ☆49Updated 8 years ago
• AnnaIsAWang / LedgerLabsCoops2016
  For the Ledger Labs Co-op students of 2016
  ☆11Updated 8 years ago
• jtremback / avocado
  ☆42Updated 8 years ago
• TPL-protocol / tpl-contracts
  Proof of concept for the contracts implementing TPL
  ☆73Updated 2 years ago
• mikeseese / velma
  The first real-time Solidity debugger
  ☆108Updated 7 months ago
• hillstreetlabs / parr
  Elastify the Ethereum blockchain
  ☆25Updated 6 years ago
• DigixGlobal / tempo
  ⏱ Testing tool: Block & time management over RPC
  ☆14Updated 5 years ago
• dpilch / solmd
  Markdown documentation generator for Solidity
  ☆34Updated 2 years ago
• metacartel / Harbour-MVP
  Building a decentralised p2p meta-tx relayer network [MVP] Codename: Harbour ## We solved this problem: https://medium.com/tabookey/1-800…
  ☆30Updated 5 years ago
• Finhaven / EthereumStatusCodes
  Status codes for Ethereum smart contracts
  ☆10Updated 6 years ago
• XLNT / gnarly
  🤙 A blockchain ETL tool to make your life better. Now that’s fuckin’ gnarly.
  ☆119Updated 6 years ago
• drcode / ethereum-order-statistic-tree
  An Order Statistic Tree in the Ethereum Solidity Language
  ☆50Updated 6 years ago
• slothbag / hierarchical-dao
  ☆11Updated 8 years ago
• keep-network / whitepaper
  Whitepaper describing the Keep network
  ☆37Updated 4 years ago
• pirapira / fp-ethereum
  Functional Programming for Ethereum: Intro and Resources
  ☆66Updated 7 years ago