Alternatives and similar repositories for smart-contract-dev-support

Users that are interested in smart-contract-dev-support are comparing it to the libraries listed below

• paradigmxyz / paradigm-ctf-2021
  Official repository for Paradigm CTF 2021
  ☆541Updated 3 years ago
• RareSkills / solidity-riddles
  A collection of Solidity security exercises and puzzles to test your knowledge of Solidity's more esoteric features. Some are easy, and s…
  ☆382Updated 2 years ago
• nascentxyz / pyrometer
  A tool for analyzing the security and parameters of a solidity smart contract
  ☆785Updated 9 months ago
• a16z / halmos
  A symbolic testing tool for EVM smart contracts
  ☆937Updated 3 months ago
• Picodes / 4naly3er
  Static smart contract code 4naly3er
  ☆547Updated last year
• fuzzland / audit_gpt
  Fine-tuning GPT for Smart Contract Auditing
  ☆167Updated 2 years ago
• Cyfrin / aderyn
  Solidity Static Analyzer that easily integrates into your editor
  ☆657Updated last week
• crytic / properties
  Pre-built security properties for common Ethereum operations
  ☆346Updated 7 months ago
• PatrickAlphaC / hardhat-security-fcc
  ☆415Updated last year
• ciaranmcveigh5 / ethernaut-x-foundry
  Ethernaut puzzles solved with foundry
  ☆280Updated 2 years ago
• paradigmxyz / paradigm-ctf-2022
  Puzzles used in the 2022 Paradigm CTF
  ☆389Updated 3 years ago
• electisec / defi-fork-bugs
  Bugs in commonly forked DeFi protocols
  ☆485Updated last month
• Certora / CertoraProver
  The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…
  ☆253Updated last week
• transmissions11 / headers
  Generate perfect code headers every time.
  ☆354Updated last year
• leonardoalt / ethereum_formal_verification_overview
  Overview of the formal verification projects in the Ethereum ecosystem.
  ☆335Updated 7 months ago
• Cyfrin / audit-checklist
  Aggregated audit checklist
  ☆325Updated 6 months ago
• nicolasgarcia214 / damn-vulnerable-defi-foundry
  Damn Vulnerable DeFi - Foundry Version
  ☆507Updated last year
• w1nt3r-eth / evm-from-scratch
  Super secret 100% practical EVM course. Please do not share
  ☆730Updated 2 years ago
• nullity00 / web3-resources
  Collection of web3 resources for blockchain enthusiasts. Contains some major alpha on ZKP, Solidity & auditing.
  ☆152Updated 2 years ago
• RareSkills / Solidity-Exercises
  Exercises to learn solidity. This accompanies the RareSkills Learn Solidity resource.
  ☆321Updated 9 months ago
• andreitoma8 / learn-yul
  Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.
  ☆247Updated 8 months ago
• RareSkills / huff-puzzles
  These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.
  ☆402Updated last year
• ConsenSysDiligence / solidity-metrics
  Solidity Code Metrics
  ☆284Updated 11 months ago
• crytic / medusa
  Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
  ☆428Updated this week
• 0xPARC / zk-bug-tracker
  A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.
  ☆692Updated 11 months ago
• Cyfrin / web3-dev-containers
  A repo to help users run code in isolated environments. Stay safe big dogs.
  ☆145Updated 4 months ago
• immunefi-team / forge-poc-templates
  ☆464Updated 7 months ago
• fvictorio / evm-puzzles
  A collection of EVM puzzles
  ☆843Updated 2 years ago
• argotorg / hevm
  Symbolic and concrete EVM execution engine
  ☆314Updated this week
• zksecurity / zkbugs
  Reproduce ZKP vulnerabilities
  ☆272Updated last week