camden-smallwood / solidity-rs

Related projects ⓘ

Alternatives and complementary repositories for solidity-rs

• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆108Updated 2 years ago
• crytic / roundme
  ☆88Updated 5 months ago
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆90Updated 3 years ago
• Dedaub / audits
  Repository containing past audit reports
  ☆53Updated 11 months ago
• leonardoalt / yools
  Tools for Yul.
  ☆137Updated 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
  ☆57Updated 3 years ago
• noxx3xxon / evm-by-example
  ☆75Updated 2 years ago
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆58Updated last year
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆94Updated 10 months ago
• Zellic / Masamune
  A smart contract security search utility
  ☆67Updated this week
• security-alliance / safe-harbor
  ☆62Updated 3 weeks ago
• mds1 / solidity-generators
  Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.
  ☆122Updated last year
• spearbit-audits / writing-exercise
  ☆103Updated 2 years ago
• crytic / secureum-medusa
  ☆43Updated last year
• kadenzipfel / bytepeep
  Minimal bytecode peephole optimizer
  ☆119Updated 2 years ago
• valo / eth-sim
  Fast ethereum simulator
  ☆40Updated last year
• 0xKitsune / EVM-Gas-Optimizations
  A collection of gas optimizations for the EVM.
  ☆90Updated 2 years ago
• Decurity / tx-coverage
  Reveal unused code of a live smart contract by collecting coverage from historical transactions.
  ☆50Updated 7 months ago
• clabby / echidna-vs-forge
  Testing echidna vs. forge fuzzing
  ☆75Updated last year
• MrToph / paradigm-ctf
  My solutions to https://ctf.paradigm.xyz/
  ☆62Updated last year
• storming0x / foundry_strategy_mix
  Yearn Strategy Mix Using Foundry Framework
  ☆104Updated last year
• lucas-manuel / invariant-examples
  ☆162Updated last year
• storming0x / ethlift-rs
  CLI tools intended to be use by smart contract developers for general tasks
  ☆67Updated last year
• jtriley-eth / huff-style-guide
  A mostly mostly reasonable approach to Huff styling.
  ☆79Updated last year
• JetJadeja / flashloan-workshop
  Contracts for my flashloan workshop/lecture at UPenn
  ☆76Updated 2 years ago
• banteg / storage-layout
  readable evm state diffs, enumerate full contract storage
  ☆134Updated last year
• exp-table / pigeon
  Simulate cross-chain protocols txs, easily.
  ☆139Updated 3 months ago
• Consensys / secureum-diligence-bootcamp
  ☆35Updated 4 months ago
• 0xkitetsu-dinesh / Learning-EVM-using-Yul-Huff
  Gas Golfing using Huff and Yul
  ☆82Updated 2 years ago
• Vectorized / function-selector-miner
  Solidity Function Selector Miner (AVX2 + Multithreaded)
  ☆68Updated 9 months ago