Alternatives and similar repositories for solidity-for-vscode

Users that are interested in solidity-for-vscode are comparing it to the libraries listed below

• lucas-manuel / invariant-examples
  ☆164Updated 2 years ago
• RareSkills / vertigo-rs
  Mutation Testing for Ethereum Smart Contracts, support for Foundry
  ☆128Updated last year
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆57Updated 8 months ago
• defi-wonderland / natspec-smells
  👃Automatically identify missing or incomplete natspec
  ☆92Updated 4 months ago
• HrikB / createXcrunch
  ☆88Updated last year
• waterfall-mkt / curta
  A CTF protocol, where players create and solve EVM puzzles to earn NFTs.
  ☆136Updated last year
• theredguild / 7702-goat
  Intentionally flawed code with potential pitfalls in custom contracts for EIP7702 delegate accounts.
  ☆57Updated 9 months ago
• emilianobonassi / whitehacks-kit
  A simple template to perform whitehacks safely
  ☆180Updated 2 years ago
• Philogy / meth-weth
  The most optimized ERC20 & Wrapped Ether implementation.
  ☆145Updated last year
• jeffreyscholz / solidity-zero-finder-rust
  ☆117Updated last year
• PraneshASP / vscode-solidity-inspector
  A VSCode extension offering utilities for solidity smart-contract development.
  ☆133Updated 3 months ago
• Recon-Fuzz / chimera
  Smart Contract Property-Based Testing Framework
  ☆131Updated 7 months ago
• devtooligan / etherrealms-player-class-guide
  ☆61Updated last year
• lidofinance / diffyscan
  Diff your Github against Etherscan.
  ☆140Updated last week
• Philogy / balls
  A DSL for generating optimal EVM bytecode
  ☆192Updated 11 months ago
• shafu0x / evm-from-scratch-book
  The EVM from scratch book
  ☆148Updated 2 weeks ago
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆75Updated last year
• maurelian / solidity-sandbox
  A forkable template repo for easily writing and testing toy contracts
  ☆153Updated last year
• Certora / uniswap-v4-periphery-cantina-fv
  ☆12Updated last year
• rainshowerLabs / sothis
  Replay and track historical state
  ☆204Updated 9 months ago
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆97Updated last year
• spearbit-audits / writing-exercise
  ☆102Updated 3 years ago
• RareSkills / yul-puzzles
  A set of exercises to practice Yul
  ☆118Updated 2 months ago
• crytic / roundme
  ☆94Updated last year
• maple-labs / maple-core-v2
  ☆159Updated 3 weeks ago
• GianfrancoBazzani / awesome-advanced-smart-contracts-testing-and-verification
  A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.
  ☆75Updated last year
• Deivitto / auditor-docker
  ☆136Updated last year
• RareSkills / uniswap-v2-puzzles
  ☆70Updated 3 months ago
• huff-language / huff-project-template
  Foundry Repository Template that supports writing contracts in Huff using the foundry-huff library.
  ☆209Updated last year
• 0xkarmacoma / halmos-sandbox
  A forkable template repo for easily writing and testing toy contracts
  ☆62Updated last month