Alternatives and similar repositories for dl_symb_exec_sol:

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

• leonardoalt / yools
  Tools for Yul.
  ☆138Updated last year
• banteg / storage-layout
  readable evm state diffs, enumerate full contract storage
  ☆134Updated last year
• 0xKitsune / EVM-Gas-Optimizations
  A collection of gas optimizations for the EVM.
  ☆90Updated 2 years ago
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆94Updated last year
• brockelmore / foundry_seminar
  Code for Foundry Seminar
  ☆114Updated 2 years ago
• costa-group / gasol-optimizer
  ☆107Updated 2 months ago
• lucas-manuel / invariant-examples
  ☆163Updated last year
• spearbit-audits / writing-exercise
  ☆102Updated 2 years ago
• Zellic / Masamune
  A smart contract security search utility
  ☆72Updated last month
• crytic / roundme
  ☆90Updated 8 months ago
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆53Updated last week
• spearbit-audits / audit-template
  ☆35Updated last year
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆90Updated 4 years ago
• noxx3xxon / evm-by-example
  ☆76Updated 2 years ago
• AmadiMichael / Huff-Console
  Console.log utility for debugging huff contracts
  ☆66Updated last year
• ScopeLift / foundry-template
  An opinionated template for Foundry projects.
  ☆74Updated 8 months ago
• jtriley2p / counter-exploit-toolkit
  ☆107Updated 11 months ago
• mds1 / solidity-generators
  Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.
  ☆122Updated last year
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆57Updated last year
• aviggiano / solidity-audit-report-generator
  Solidity Audit Report Generator
  ☆85Updated last year
• Rubilmax / foundry-storage-check
  🔐 Protect your Smart Contract Proxy from storage collisions upon upgrading, by running this action in a CI on each of your Pull Requests…
  ☆95Updated last month
• Vectorized / soledge
  Solidity snippets too edgy to be in Solady
  ☆111Updated 5 months ago
• sphinx-labs / chugsplash-foundry
  A Foundry library for deploying and managing upgradeable smart contracts
  ☆96Updated last year
• JetJadeja / flashloan-workshop
  Contracts for my flashloan workshop/lecture at UPenn
  ☆77Updated 2 years ago
• EVM-SMT / solver
  proof first, evm specific smt solver
  ☆69Updated 2 years ago
• brockelmore / solvm
  evm inception: the evm inside the evm via yul and solidity
  ☆228Updated last year
• AmadiMichael / UniswapV2-Huff
  Optimised Uniswap V2 contracts written in Huff language
  ☆111Updated 9 months ago
• pcaversaccio / malleable-signatures
  This repository implements a simplified PoC that demonstrates how signature malleability attacks using compact signatures can be executed…
  ☆111Updated last week
• ZeroEkkusu / re-golf-course
  A list of common Solidity optimization tips and myths.
  ☆85Updated 2 years ago
• trust1995 / flashcash
  Identify flashloan bots in multiple chains
  ☆34Updated 2 years ago