Alternatives and similar repositories for evm-lisa

Users that are interested in evm-lisa are comparing it to the libraries listed below

• caterinaurban / apronpy

  View on GitHub
  ☆10Aug 18, 2025Updated 5 months ago
• NeVerTools / pyNeVer

  View on GitHub
  A Python library for learning and verification of neural networks and other machine learning models
  ☆13Sep 18, 2025Updated 4 months ago
• lisa-analyzer / lisa

  View on GitHub
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆73Updated this week
• owl-toolkit / owl

  View on GitHub
  ☆20Jun 12, 2023Updated 2 years ago
• worldcoin / pbh-ctf

  View on GitHub
  PBH CTF related code and docs
  ☆27Dec 16, 2025Updated last month
• pcminer-tools / pcminer

  View on GitHub
  PC-miner tool for program chairs
  ☆29Dec 18, 2025Updated last month
• moonwell-fi / temporal-governance

  View on GitHub
  Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities
  ☆11Oct 22, 2023Updated 2 years ago
• plotchy / evm-cfg

  View on GitHub
  Symbolic stack CFG generator for EVM
  ☆191Feb 10, 2025Updated last year
• Sophietje / Verification-Tool-Overview

  View on GitHub
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆31Dec 9, 2023Updated 2 years ago
• Decurity / tx-coverage

  View on GitHub
  Reveal unused code of a live smart contract by collecting coverage from historical transactions.
  ☆76Apr 16, 2024Updated last year
• huff-language / huff2

  View on GitHub
  The new huff compiler, with improved codegen, label semantics & error messages.
  ☆151Oct 3, 2025Updated 4 months ago
• SeUniVr / EtherSolve

  View on GitHub
  Source code of EtherSolve: static analysis of Ethereum bytecode
  ☆77Sep 21, 2025Updated 4 months ago
• cokeBeer / LibAFL-Learn

  View on GitHub
  一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面的 tips ，方便查阅和参考。
  ☆35Nov 22, 2023Updated 2 years ago
• openSVM / awesome-svm

  View on GitHub
  All things SVM (Solana Virtual Machine)
  ☆56Feb 5, 2026Updated last week
• Uniswap / protocol-fees

  View on GitHub
  🦄 Smart contracts for Uniswap protocol fees 🦄
  ☆24Updated this week
• sendaifun / skills

  View on GitHub
  a public marketplace of all solana-related skills for agents to learn from!
  ☆43Feb 4, 2026Updated last week
• vnxfsc / fourmeme_parser_sdk

  View on GitHub
  A powerful Rust SDK for real-time listening and parsing Fourmeme contract events on BSC, with automatic tracking of token lifecycle from …
  ☆52Oct 9, 2025Updated 4 months ago
• fedemagnani / optimization-solvers

  View on GitHub
  Composable numerical solvers for unconstrained and simple-bounds constrained convex optimization problems in Rust. WASM compatible
  ☆13Jul 10, 2025Updated 7 months ago
• HydroXai / Enhancing-Safety-in-Large-Language-Models

  View on GitHub
  Precision Knowledge Editing (PKE): A novel method to reduce toxicity in LLMs while preserving performance, with robust evaluations and ha…
  ☆11Nov 26, 2024Updated last year
• onebignick / SolidityMatrix

  View on GitHub
  Simple matrix operations in solidity, was unable to find any libraries
  ☆10May 30, 2023Updated 2 years ago
• yolc-dev / yul-dsl-monorepo

  View on GitHub
  The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …
  ☆41Jul 7, 2025Updated 7 months ago
• gcf3711 / sGuardPlus

  View on GitHub
  An automated smart contract vulnerability repair tool
  ☆12Aug 15, 2023Updated 2 years ago
• drdo / logic-translation

  View on GitHub
  Translation from FOL to LTL+Past and LTL, via separation of LTL+Past
  ☆10May 22, 2024Updated last year
• rangesecurity / faraday-extensions

  View on GitHub
  Implementation of a transfer hook which allows for OFAC style sanctioned addresses
  ☆11Feb 3, 2025Updated last year
• acuarica / evm

  View on GitHub
  A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…
  ☆105Mar 16, 2025Updated 10 months ago
• ElJaviLuki / NetLogger

  View on GitHub
  Xposed module that hooks into various HTTP libraries to log network calls.
  ☆13Jan 4, 2023Updated 3 years ago
• cakevm / huff-neo

  View on GitHub
  huff-neo marks a new dawn for the once-abandoned huff-rs, breathing fresh life into its legacy.
  ☆57Feb 3, 2026Updated last week
• havelund / tracecontract

  View on GitHub
  A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…
  ☆11Dec 21, 2020Updated 5 years ago
• yuanfux / react-native-component-cli

  View on GitHub
  scaffold a react native component within seconds
  ☆11Dec 30, 2022Updated 3 years ago
• 1000xsh / voteperfx

  View on GitHub
  solana vote monitor with real-time tvc (timely vote credits) tracking.
  ☆14Jul 23, 2025Updated 6 months ago
• solana-program / libraries

  View on GitHub
  Helper libraries for Solana on-chain programs
  ☆13Oct 24, 2025Updated 3 months ago
• Thehepta / HeptaVcn

  View on GitHub
  ☆11Jun 1, 2024Updated last year
• LBBNetwork / libsandwich

  View on GitHub
  ☆15Aug 11, 2012Updated 13 years ago
• shuo-young / lydia

  View on GitHub
  Lydia: Who's Your Enemy in the Dark Forrest
  ☆13Aug 24, 2025Updated 5 months ago
• yearn / yearn-simulations

  View on GitHub
  ☆11Jun 10, 2022Updated 3 years ago
• anthonyleezhang / lvr_empirics_101

  View on GitHub
  Guide and example code for using Loss Versus Rebalancing to measure LP returns
  ☆10Feb 2, 2024Updated 2 years ago
• stephancill / efd

  View on GitHub
  A portable list of mutuals for the decentralized web
  ☆11Jul 8, 2021Updated 4 years ago
• callstack / web3-react-native-siwe

  View on GitHub
  Sign-In With Ethereum (SIWE) implementation in React Native
  ☆11Jul 23, 2024Updated last year
• Ozodimgba / sanity

  View on GitHub
  macro for generating type-safe CPI functions from Solana IDLs
  ☆11Jun 10, 2025Updated 8 months ago