Alternatives and similar repositories for Reports

Users that are interested in Reports are comparing it to the libraries listed below

• shaunazzopardi / solidity-cfg-builder
  A control-flow graph builder for Solidity smart contracts.
  ☆26Updated 5 years ago
• ZJU-INCAS / LearnPaper
  Learn and share papers about Block Chain
  ☆34Updated 5 years ago
• brokendragon / Ethereum_Graph_Analysis
  ☆57Updated 7 years ago
• Lianantech / ETH-Security
  Ethereum based smart contract vulnerability checklist （关于区块链以太坊安全类问题）
  ☆30Updated 5 years ago
• Shouling / SANDP
  Seminar 2016
  ☆25Updated 10 months ago
• vntchain / go-vnt
  An open source distributed value network
  ☆54Updated 5 years ago
• Dearkano / Blockchain
  Papers & instructions on learning blockchain
  ☆17Updated 7 years ago
• FISCO-BCOS / SCStudio
  Making Smart Contract Development More Secure and Easier
  ☆21Updated 3 years ago
• sec-bit / tokenlibs-with-proofs
  Correctness proofs of Ethereum token contracts
  ☆97Updated 6 years ago
• abcdabcd987 / distributed-consensus-simulator
  ☆14Updated 7 years ago
• disco-project / smart-sync
  Smart Sync enables the creation of smart contract forks and verifiable synchronization across EVM-compatible blockchain networks.
  ☆13Updated 2 years ago
• ivicanikolicsg / OHIE
  OHIE - Blockchain scaling
  ☆34Updated 4 years ago
• hku-systems / bidl
  ☆38Updated 2 years ago
• tinychain / go-algorand
  Go implementation of Algorand algorithm.
  ☆28Updated 6 years ago
• Jiashuo-Zhang / Libra-code-Analysis
  Libra-sourcecode-Analysis
  ☆26Updated 5 years ago
• liangyihuai / BlockchainTopPaper
  ☆62Updated 4 years ago
• sec-bit / libsnark_abc
  Minimal examples to use libsnark.
  ☆21Updated 4 years ago
• gongbell / WANA
  A Symbolic Execution Engine for Wasm Bytecode and A Cross-Platform Smart Contract Vulnerability Detector
  ☆30Updated 2 years ago
• shlee-lab / Smart-contract-security-analysis
  Papers of smart contract security analysis (and tools)
  ☆36Updated 6 years ago
• HyperService-Consortium / HyperService-Language
  This is the repository to host the code for hslang parsing and code generation.
  ☆20Updated 3 years ago
• duaraghav8 / soltar
  Generate Solidity Code from its AST
  ☆15Updated 8 years ago
• solidityj / solidity-antlr4
  Solidity grammar for ANTLR4
  ☆122Updated 5 years ago
• Xscope-Tool / Cross-Chain-Attacks
  Xscope: Hunting for Cross-Chain Bridge Attacks
  ☆14Updated 2 years ago
• meshplus / goduck
  Goduck is a command-line management tool that can help to run BitXHub.
  ☆19Updated 2 years ago
• xiongyingfei / xiongyingfei.github.io
  ☆76Updated 3 weeks ago
• hyperchain / hyperchain
  Official Go implementation of the hyperchain protocol
  ☆145Updated last year
• dshulyak / go-hotstuff
  Playing around with HotStuff BFT consensus protocol.
  ☆21Updated 5 years ago
• TrustedBlockchain / TrustedBench
  A blockchain benchmark framework to measure performance of multiple blockchain solutions
  ☆22Updated 6 years ago
• LeonSpark / EtherQL
  ☆36Updated 7 years ago
• gitferry / bamboo
  Source code for the ICDCS 2022 paper "Dissecting the Performance of Chained-BFT"
  ☆52Updated 2 years ago