shuo-young / lydiaView external linksLinks
Lydia: Who's Your Enemy in the Dark Forrest
☆13Aug 24, 2025Updated 5 months ago
Alternatives and similar repositories for lydia
Users that are interested in lydia are comparing it to the libraries listed below
Sorting:
- Attacker Contract Identifier Through Static Dataflow Analysis☆26Oct 15, 2025Updated 4 months ago
- A simple http server to cache specific eth rpc requests in memory.☆16Aug 11, 2025Updated 6 months ago
- Solana MEV bot starter template☆36Jul 1, 2023Updated 2 years ago
- Uniswap V4 Vanity Miner☆30May 31, 2025Updated 8 months ago
- An extension to supercharge your Codeforces profile with in-depth analytics and training insights.☆17Sep 13, 2025Updated 5 months ago
- Macros + Primitives for PADE format☆29Jul 26, 2025Updated 6 months ago
- Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.☆33Feb 25, 2025Updated 11 months ago
- ☆24May 13, 2024Updated last year
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 2 years ago
- ☆38Sep 23, 2024Updated last year
- A framework for high-level Analysis of Ethereum Bytecode☆22Jan 23, 2026Updated 3 weeks ago
- Easily generate a list of offsets for use in SVM programs☆16Updated this week
- ☆11Sep 5, 2019Updated 6 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- ☆40Jan 27, 2026Updated 2 weeks ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- Symbolic Execution for WebAssembly☆10Jun 10, 2018Updated 7 years ago
- Block Explorer + UI-Kit☆13Jan 7, 2025Updated last year
- Configs for various testnet and mainnet configurations☆41Apr 3, 2024Updated last year
- A simple multiplexer contract to execute a sequence of transactions.☆56Dec 30, 2025Updated last month
- A Pub/Sub library for Rust backed by Postgres☆17Oct 3, 2023Updated 2 years ago
- Sui smart contract fuzzer☆48Mar 17, 2024Updated last year
- ☆15Jan 30, 2026Updated 2 weeks ago
- Native EVM integration for Clickhouse☆15Jul 15, 2025Updated 7 months 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
- 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 4 years ago
- PoC of a hyperlane validator built on top of reth☆12Feb 9, 2025Updated last year
- ☆16Updated this week
- ☆10Feb 23, 2021Updated 4 years ago
- A library which implements the MySQL server protocol, giving you the ability to create MySQL-like services☆11Jan 4, 2021Updated 5 years ago
- ☆11Sep 25, 2024Updated last year
- Tool/library for manipulating and monitoring temporal logic specifications☆11Oct 31, 2023Updated 2 years ago
- Demo multi-chain custodial Stablecoin system, operated by Silverback☆13Apr 29, 2025Updated 9 months ago
- It's like Redis but a bit rusty...☆11Updated this week
- SDKs to interact with the Luzid application.☆12Aug 16, 2024Updated last year
- Simple burner wallets on Solana. Stored directly in your browser for simple transfers and transactions.☆13Feb 22, 2024Updated last year
- Trading indicator library for Rust supporting SMA, EMA, BolingerBand, MACD, RSI, Stochastics, Ichimoku, and more☆13May 29, 2025Updated 8 months ago
- ☆10Mar 19, 2024Updated last year
- A Python script to scan EVM-based blockchains for smart contract upgrades☆10Jul 27, 2023Updated 2 years ago