Alternatives and similar repositories for simbolik-vscode:

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

• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆32Updated last year
• trust1995 / flashcash
  Identify flashloan bots in multiple chains
  ☆34Updated 2 years ago
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆59Updated last year
• unhackedctf / reaper
  unhacked challenge 1: reaper
  ☆41Updated 2 years ago
• ConsenSysDiligence / napalm
  ☆47Updated last year
• igorganich / damn-vulnerable-defi-halmos
  Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.
  ☆33Updated last month
• 0xalpharush / static-analysis-and-compilers
  Eclectic notes on static analysis and compilers
  ☆47Updated 2 years ago
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆46Updated last year
• 0xMacro / gas-numbers-every-solidity-dev-should-know
  ☆54Updated 2 years ago
• one-hundred-proof / kyberswap-exploit
  PoC of KyberSwap double liquidity add exploit
  ☆42Updated last year
• paradigmxyz / paradigm-ctf-2023
  ☆75Updated last year
• Jeiwan / uniswapv3-unrefunded-eth-poc
  ☆40Updated 2 years ago
• fiveoutofnine / tardis
  Collection of past CTFs to play and practice locally.
  ☆52Updated 7 months ago
• crytic / roundme
  ☆91Updated 10 months ago
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆54Updated 7 months ago
• teddav / ethernaut-yul
  ☆38Updated 2 years ago
• chainlight-io / publications
  ☆86Updated 3 weeks ago
• YAcademy-Residents / Proxies-website
  Go-to compilation of smart contract proxy information, for discerning devs and auditors
  ☆23Updated last week
• iphelix / euler-exploit-poc
  ☆48Updated last year
• hrkrshnn / tstore-template
  ☆43Updated last year
• gasgauge / gasgauge.github.io
  This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
  ☆58Updated 3 years ago
• 0xKitsune / sstan
  Solidity static analyzer
  ☆83Updated last year
• jtriley2p / mutexer
  ☆58Updated last year
• ConsenSysDiligence / secureum-diligence-bootcamp
  ☆37Updated 9 months ago
• electisec / web3-security-talks
  Novel and informative web3 security talks
  ☆18Updated 2 years ago
• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆40Updated 2 years ago
• ZeroEkkusu / solx
  Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.
  ☆56Updated 7 months ago
• SunWeb3Sec / ethernaut-foundry-solutions
  To learn fork testing & on-chain broadcast
  ☆28Updated last year
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆95Updated last year
• Decurity / tx-coverage
  Reveal unused code of a live smart contract by collecting coverage from historical transactions.
  ☆71Updated 11 months ago