zm-stack

zm-stack's Stars

• llvm/llvm-project

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

  Language:LLVM29.6k58178.7k12.2k

• chaozh/awesome-blockchain-cn

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

  Language:JavaScript18.5k1k383.6k

• crytic/slither

  Static Analyzer for Solidity and Vyper

  Language:Python5.4k701.2k977

• decrypto-org/blockchain-papers

  A curated list of academic blockchain-related papers

  2.5k18141559

• 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.1k686233

• Eternaldeath/BlockchainHome

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

  Language:HTML7657697

• smackers/smack

  SMACK Software Verifier and Verification Toolchain

  Language:C4312445382

• sivachokkapu/revive-cc

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

  Language:Go342214

• Jiashuo-Zhang/Solidity-Testing

  Testing for Ethereum Smart Contract: An Empirical Study

  Language:HTML5300