zm-stack

zm-stack's Stars

• Eternaldeath/BlockchainHome

  构建区块链学习的知识体系合集，汇聚各种区块链资源

  Language:HTML70591

• decrypto-org/blockchain-papers

  A curated list of academic blockchain-related papers

  2.4k555

• sivachokkapu/revive-cc

  Static analysis tool for Hyperledger Frabric smart contracts written in Go.

  Language:Go3414

• jianyu-niu/blockchain_conference_paper

  The existing blockchain-related academic papers. All papers are sorted according to the conference and published year. Welcome developers or researchers to add more published papers to this list.

  1.1k229

• chaozh/awesome-blockchain-cn

  收集所有区块链(BlockChain)技术开发相关资料，包括Fabric和Ethereum开发资料

  Language:JavaScript18.4k3.6k

• llvm/llvm-project

  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

  Language:LLVM28k11.5k

• crytic/slither

  Static Analyzer for Solidity and Vyper

  Language:Python5.2k958

• Jiashuo-Zhang/Solidity-Testing

  Testing for Ethereum Smart Contract: An Empirical Study

  Language:HTML5

• smackers/smack

  SMACK Software Verifier and Verification Toolchain

  Language:C42782