Girl Friend <- Generate Foundry Fork Test from Attack Transaction
☆130Aug 19, 2024Updated 2 years ago
Alternatives and similar repositories for girlfriend
Users that are interested in girlfriend are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts☆1,121Dec 10, 2025Updated 10 months ago
- Generate invariants for Foundry projects with LLM☆108Aug 30, 2024Updated 2 years ago
- EVMole is an open-source library that analyzes deployed EVM bytecode to infer function selectors, argument types, state mutability, persi…☆473Updated this week
- Benchmark Generator for Smart-Contract Fuzzers☆143Oct 2, 2025Updated last year
- Pre-built security properties for commonly forked DeFi protocols☆197Nov 7, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Bugs in commonly forked DeFi protocols☆492Oct 3, 2025Updated last year
- Collection of past CTFs to play and practice locally.☆55Aug 7, 2026Updated 2 months ago
- Simple Rust script for finding colliding 4byte function selectors☆59Jun 12, 2023Updated 3 years ago
- ☆47Mar 8, 2024Updated 2 years ago
- A mostly mostly reasonable approach to inline Yul styling.☆30Apr 19, 2024Updated 2 years ago
- ☆10May 17, 2024Updated 2 years ago
- Security Reviews and Audit Checklists☆144Updated this week
- Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts…☆1,637Updated this week
- CTF Writeups☆36Nov 26, 2023Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆115Aug 25, 2025Updated last year
- A symbolic testing tool for EVM smart contracts☆1,041Aug 6, 2025Updated last year
- A tool for analyzing the security and parameters of a solidity smart contract☆796Feb 14, 2025Updated last year
- Challenges and Solutions of Blaz CTF 2023☆46Dec 5, 2023Updated 2 years ago
- utilities for more granular and realistic gas measuring in forge tests☆29Feb 9, 2024Updated 2 years ago
- Editor extensions for Solar and Foundry☆11Sep 18, 2025Updated last year
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆35Sep 14, 2023Updated 3 years ago
- A binary lifter and analysis framework for Ethereum smart contracts☆391Oct 21, 2026Updated last week
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆78Dec 11, 2025Updated 10 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆155May 21, 2025Updated last year
- Practical examples of the Rust Ethereum Virtual Machine☆70Sep 25, 2024Updated 2 years ago
- Wrappers for existing Flash Lenders to be accessible as ERC7399 Flash Lenders☆30Jun 13, 2025Updated last year
- ☆13Oct 3, 2023Updated 3 years ago
- 👃Automatically identify missing or incomplete natspec☆92Jun 30, 2025Updated last year
- easy POC template generation from the command line☆324Jan 10, 2024Updated 2 years ago
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆76Apr 16, 2024Updated 2 years ago
- Slither Detectors by Pessimistic.io☆377Jun 25, 2024Updated 2 years ago
- A DSL for generating optimal EVM bytecode☆195Nov 5, 2024Updated last year
- 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.
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Jul 29, 2023Updated 3 years ago
- Practical fuzzing examples for the mastering fuzzing talk☆106Jun 29, 2023Updated 3 years ago
- My swiss army knife for reversing EVM bytecodes (super experimental)☆128Nov 25, 2025Updated 11 months ago
- Supporting code for relay.ultrasound.money☆26Oct 7, 2025Updated last year
- Diagrams for Solidity contracts☆46Mar 9, 2024Updated 2 years ago
- Cuda implementation of EVM☆122Aug 27, 2026Updated 2 months ago
- Solidity static analyzer☆83Dec 7, 2023Updated 2 years ago