Alternatives and similar repositories for evm-bytecode-transpiler-to-venom-ir

Users that are interested in evm-bytecode-transpiler-to-venom-ir are comparing it to the libraries listed below

• baolean / EthBMC
  The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
  ☆13Updated 2 years ago
• makcandrov / meplang
  An EVM low-level language that gives full control over the control flow of the smart contract.
  ☆26Updated 11 months ago
• Yashiru / huff-stack-comments
  A visual studio code extension that automatically generate the stack comments for Huff.
  ☆26Updated last year
• z80dev / gascomps
  gas comparisons between vyper and solady
  ☆20Updated 9 months ago
• leonardoalt / sol-macros
  ☆33Updated 2 years ago
• orenyomtov / doves-in-the-wind-ctf-solution
  This is my solution. If you think you can further optimize it - be my guest!
  ☆23Updated 2 years ago
• 0xJepsen / Solring
  ring buffer in solidity
  ☆10Updated last year
• jtriley2p / libhuff
  optimized huff snippets
  ☆20Updated 2 years ago
• 0xKitsune / solstat-reports
  Smart contract audit / optimization reports generated by solstat.
  ☆14Updated 2 years ago
• g-r-a-n-t / yultsur
  Yultsur is a Rust implementation of Yul.
  ☆23Updated 3 years ago
• devtooligan / Huffpoint
  Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint
  ☆34Updated last year
• adhusson / delegate-prank
  Delegatecall from any contract. A kind of vm.prank for delegatecalls.
  ☆19Updated 9 months ago
• dragonfly-xyz / nottingham-contracts
  ☆18Updated 11 months ago
• hrkrshnn / solmate-math-fuzz
  ☆35Updated 2 years ago
• meppent / pellucid
  An EVM decompiler written in Rust.
  ☆46Updated 2 years ago
• nomoixyz / universal-router-vuln-poc
  ☆12Updated 2 years ago
• georgercarder / compression
  solidity compression utility
  ☆20Updated 8 months ago
• Maddiaa0 / huff-vrgda
  Huff Implementation of VRGDAs
  ☆41Updated 2 years ago
• huff-language / huff-breakage
  Incorrect, Breaking, and Footgunned Huff Contracts.
  ☆30Updated 2 years ago
• emo-eth / forge-gas-metering
  utilities for more granular and realistic gas measuring in forge tests
  ☆30Updated last year
• anna-carroll / 3074
  Template using EIP-3074 - AUTH and AUTHCALL in Solidity
  ☆29Updated last year
• AmadiMichael / tstore-huff-template
  Tstore huff template
  ☆17Updated last year
• emo-eth / upgradeable-storage-checks
  Example setup of Forge tests and CI to do basic checks for storage collisions when iterating on upgradeable contract implementations.
  ☆28Updated 2 years ago
• devtooligan / memory-strux
  Optimized, in-memory, memory safe data structures written in Solidity.
  ☆36Updated last year
• nascentxyz / omniscan
  ☆17Updated 10 months ago
• primitivefinance / pso-sol
  Primitive Standards (PSO) for solidity. Forked from solcurity: opinionated security and code quality standard for Solidity smart contract…
  ☆15Updated 2 years ago
• jtriley2p / vy-deepdive
  Vyper Deep Dive Notes and Scripts
  ☆26Updated last year
• pcaversaccio / p256-verifier-vyper
  P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.
  ☆19Updated last week
• aviggiano / circom-mutator
  Mutation testing tool for circom
  ☆16Updated last year
• jtriley2p / reverse-subway
  ☆18Updated last year