Alternatives and similar repositories for bdl-course

Users that are interested in bdl-course are comparing it to the libraries listed below

• hzysvilla / Academic_Smart_Contract_Papers
  Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.
  ☆617Updated this week
• xliamren / awesome-blockchain-papers
  A curated list of academic blockchain-related papers
  ☆127Updated 8 months ago
• verovm / record-replay
  ☆18Updated last month
• tczpl / XBlock-ETH
  Extracting and Exploring Blockchain Data from Ethereum
  ☆93Updated last week
• OSUSecLab / TxSpector
  ☆64Updated 3 years ago
• smartbugs / smartbugs-results
  This repository contains the RAW results of the vulnerability analysis of 9 tools on 47,587 smart contracts. These results are presented …
  ☆78Updated 5 years ago
• LLMAudit / LLMSmartAuditTool
  LLM-SmartAudit is a cutting-edge tool designed to revolutionize smart contract auditing using advanced language models.
  ☆56Updated 5 months ago
• slowmist / Cryptocurrency-Security-Audit-Guide
  ☆256Updated 3 months ago
• GPTScan / GPTScan
  ICSE'24 GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis
  ☆94Updated last year
• WTFAcademy / WTF-CTF
  Collect CTFs related to evm, and provide solutions, using Foundry. 收集 EVM 类的 CTF 挑战，并提供解决方案。
  ☆157Updated last year
• nescio007 / teether
  ☆137Updated 4 years ago
• mojtaba-eshghie / HighGuard
  The runtime monitoring tool for smart contracts business logic.
  ☆18Updated last year
• gongbell / ContractFuzzer
  The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)
  ☆247Updated 3 years ago
• renardbebe / Smart-Contract-Benchmark-Suites
  A unified smart contract standard data set.
  ☆46Updated 4 years ago
• ChainSecurity / ChainFuzz
  A fast ethereum transaction fuzzer
  ☆26Updated 6 years ago
• christoftorres / Osiris
  A tool to detect integer bugs in Ethereum smart contracts (ACSAC 2018).
  ☆65Updated 2 years ago
• blocksecteam / blocksec_academy
  ☆163Updated 3 years ago
• smartbugs / smartbugs
  SmartBugs: A Framework to Analyze Ethereum Smart Contracts
  ☆659Updated 3 weeks ago
• xf97 / SolidityCheck
  SolidityCheck is a static code problem detection tool based on regular expressions and program instrumentation, which is developed for Et…
  ☆24Updated 4 years ago
• Quillhash / NFT-Attack-Vectors
  This Repository contains list of Common NFT Attack Vectors. If you find any attack vectors missing, you can create a pull request and be …
  ☆271Updated last year
• crytic / crytic-compile
  Abstraction layer for smart contract build systems
  ☆193Updated this week
• chainflag / awesome-blockchain-security
  A curated list of awesome things related to Blockchain security
  ☆81Updated 2 months ago
• soumyaxyz / Python-PBFT-Blockchain
  A Python 3 implementation of a Blockchain with a PBFT conscientious mechanism.
  ☆18Updated 5 years ago
• Xscope-Tool / Cross-Chain-Attacks
  Xscope: Hunting for Cross-Chain Bridge Attacks
  ☆16Updated 3 years ago
• sec-bit / learning-zkp
  articles, codes and tools all about zero-knowledge proofs
  ☆918Updated last year
• THUBA-DAO / Research
  项目白皮书、研究报告、论文等区块链相关研究资源
  ☆25Updated 4 years ago
• xf97 / HuangGai
  HuangGai is an Ethereum smart contract bug injection framework, it can inject 20 types of bugs into Solidity smart contract. DOI: 10.5281…
  ☆44Updated 4 years ago
• DeFiHackLabs / Web3-CTF-Intensive-CoLearning
  Web3 CTF Intensive CoLearning
  ☆157Updated last month
• nevillegrech / gigahorse-toolchain
  A binary lifter and analysis framework for Ethereum smart contracts
  ☆355Updated last week
• uni-due-syssec / evmpatch-developer-study
  ☆20Updated 5 years ago