Alternatives and similar repositories for publications:

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

• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 2 years ago
• banteg / storage-layout
  readable evm state diffs, enumerate full contract storage
  ☆135Updated last year
• leonardoalt / yools
  Tools for Yul.
  ☆138Updated 2 years ago
• brockelmore / solvm
  evm inception: the evm inside the evm via yul and solidity
  ☆228Updated last year
• exp-table / pigeon
  Simulate cross-chain protocols txs, easily.
  ☆147Updated last month
• brockelmore / foundry_seminar
  Code for Foundry Seminar
  ☆114Updated 3 years ago
• MrToph / paradigm-ctf
  My solutions to https://ctf.paradigm.xyz/
  ☆62Updated 2 years ago
• dialecticch / sibyl
  An easy tool to apply transactions to the current EVM state. Optimized for MEV.
  ☆77Updated 3 years ago
• primitivefinance / portfolio
  Portfolio is an automated market making protocol for implementing custom strategies at the lowest cost possible.
  ☆114Updated 11 months ago
• 0xmonsoon / evm-from-scratch
  Implementation of the Ethereum Virtual Machine in python.
  ☆86Updated 2 years ago
• noxx3xxon / evm-by-example
  ☆76Updated 2 years ago
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆105Updated 2 years ago
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆90Updated 4 years ago
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆95Updated last year
• MariusVanDerWijden / tx-fuzz
  ☆107Updated last month
• Certora / gambit
  Using mutations to improve specs and test suites
  ☆182Updated 6 months ago
• WilfredTA / formal-methods-curriculum
  Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry
  ☆168Updated 2 years ago
• euler-xyz / euler-contracts
  ☆130Updated 10 months ago
• FrankieIsLost / TWAMM
  ☆124Updated 3 years ago
• 0xKitsune / EVM-Gas-Optimizations
  A collection of gas optimizations for the EVM.
  ☆92Updated 2 years ago
• botdad / power-clash
  Finds matching solidity function signatures for a given 4 byte signature hash and arguments.
  ☆112Updated last year
• ethdebug / solidity-data-representation
  Paper: Data Representation in Solidity
  ☆60Updated last year
• Zellic / Masamune
  A smart contract security search utility
  ☆74Updated 3 months ago
• costa-group / gasol-optimizer
  ☆108Updated this week
• a16z / metamorphic-contract-detector
  ☆162Updated 2 years ago
• Vectorized / soledge
  Solidity snippets too edgy to be in Solady
  ☆113Updated 7 months ago
• winnsterx / searcherbuilder.pics
  ☆40Updated last year
• ethdebug / format
  Smart contract debugging data format – Standards development working group
  ☆58Updated last month
• ZeframLou / foundry-template
  Minimalist template for foundry projects
  ☆155Updated 7 months ago
• libevm / uniswapv3-by-examples
  UniswapV3 by examples
  ☆142Updated 2 years ago