Lydia: Who's Your Enemy in the Dark Forrest
☆14Aug 24, 2025Updated last year
Alternatives and similar repositories for lydia
Users that are interested in lydia are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Attacker Contract Identifier Through Static Dataflow Analysis☆25Oct 15, 2025Updated last year
- Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution☆12Jun 12, 2024Updated 2 years ago
- A simple ss configuration modifier(customizable) api☆12Feb 9, 2024Updated 2 years ago
- symbolic EVM execution engine written in Rust☆19Sep 5, 2024Updated 2 years ago
- Uniswap V4 Vanity Miner☆35May 31, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Macros + Primitives for PADE format☆30Jul 26, 2025Updated last year
- Definition and Detection of Defects in NFT Smart Contracts☆27Aug 31, 2025Updated last year
- A simple http server to cache specific eth rpc requests in memory.☆16Aug 11, 2025Updated last year
- ☆31Jun 29, 2023Updated 3 years ago
- Hackathon/mock code of MEV rewards distribution☆17May 8, 2021Updated 5 years ago
- ☆40Sep 23, 2024Updated 2 years ago
- ☆24May 13, 2024Updated 2 years ago
- smart contracts for an nft project of zombies and humans. If you're sent a zombie, all your humans turn to zombies.☆10Aug 21, 2021Updated 5 years ago
- Solana MEV bot starter template☆37Jul 1, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆10Feb 23, 2021Updated 5 years ago
- Programmatically find the storage slots for the balanceOf and allowance mappings for an ERC20 token contract in javascript☆19Aug 10, 2026Updated 2 months ago
- Plexus Contracts aims to simplify defi, maintain security of user funds and aggregate other contracts functionality.☆12Oct 6, 2021Updated 5 years ago
- A library for stateful property-based testing☆36May 4, 2026Updated 5 months ago
- ☆13Dec 15, 2025Updated 10 months ago
- ☆12Jun 7, 2024Updated 2 years ago
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 3 years ago
- 🔌 A tool to mirror messages in a discord server to another discord server in realtime.☆15Feb 29, 2024Updated 2 years ago
- 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A framework for high-level Analysis of Ethereum Bytecode☆22Jul 27, 2026Updated 3 months ago
- ☆14Jun 15, 2026Updated 4 months ago
- Demo multi-chain custodial Stablecoin system, operated by Silverback☆13Apr 29, 2025Updated last year
- A binary search tree implementation in Solidity☆20Aug 5, 2022Updated 4 years ago
- Bomberman clone on flipper zero!☆15Sep 3, 2023Updated 3 years ago
- Botting TubbyCats NFTs for fun & profit☆13Mar 20, 2024Updated 2 years ago
- 10k crowdsourced images for training segnets☆16Dec 11, 2020Updated 5 years ago
- The reference implementation of the engine that automatically executes profitable orders placed on the deBridge Liquidity Network (DLN) p…☆20Aug 30, 2024Updated 2 years ago
- A book about datalog☆13Nov 26, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆16Jan 23, 2024Updated 2 years ago
- Net2PCAP is a simple network-to-pcap capture file for Linux. Its goal is to be as simple as possible to be used in hostile environments☆12Aug 28, 2011Updated 15 years ago
- Misery Loader to bypass modern EDR solutions☆15Dec 20, 2024Updated last year
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- Translating WebAssembly into the most simple LLVM IR.☆15May 13, 2026Updated 5 months ago
- 一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面的 tips ，方便查阅和参考。☆36Nov 22, 2023Updated 2 years ago
- The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …☆40Jun 8, 2026Updated 4 months ago