ChmielewskiKamil / foundry2echidnaView external linksLinks
CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.
☆14Feb 20, 2023Updated 2 years ago
Alternatives and similar repositories for foundry2echidna
Users that are interested in foundry2echidna are comparing it to the libraries listed below
Sorting:
- gas comparisons between vyper and solady☆20Sep 21, 2024Updated last year
- A Foundry template to deploy a cross-chain CREATE2 contract factory☆23Feb 19, 2023Updated 2 years ago
- Lightweight, Gracefull Push + Pull Pattern Demo☆20May 10, 2022Updated 3 years ago
- Speedrun this in Huff https://saxenism.com/web3/solidity/language-tricks/bit-magic/intermediate/2022/09/06/Bit-Magic-Solidity.html☆21Oct 7, 2022Updated 3 years ago
- ⚡ Call multiple view functions, from multiple Smart Contracts, in a single RPC query!☆24Apr 25, 2023Updated 2 years ago
- A library to assist with handling sparse arrays in storage.☆28Jan 26, 2023Updated 3 years ago
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆117Aug 25, 2025Updated 5 months ago
- Node module for scanning and visualize Solana accounts☆40Mar 3, 2025Updated 11 months ago
- A 6-part series on how to use Echidna on real-world codebases☆111Jun 29, 2023Updated 2 years ago
- Optimizor SQRT challenge solution☆26Nov 2, 2022Updated 3 years ago
- Solidity abi.encodePacked() re-implementation in Rust☆34Jun 18, 2023Updated 2 years ago
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆28Jul 15, 2024Updated last year
- On-chain pre-approval registry for NFTs. Library included.☆42Dec 28, 2022Updated 3 years ago
- A utility to extract the issue links for a particular contest submitted by a particular user. Generates a markdown table with the issue l…☆39Sep 13, 2024Updated last year
- A tool that performs extraction of storage layouts based on EVM bytecode.☆151Dec 15, 2025Updated last month
- Example projects using RainbowKit, the best way to connect a wallet 🌈☆39Jun 14, 2022Updated 3 years ago
- ☆38Sep 23, 2024Updated last year
- Introduction to core development via CTF challenges☆41Sep 9, 2022Updated 3 years ago
- ProMutator: Detecting Vulnerable Price Oracles in DeFi by Mutated Transactions☆41Sep 15, 2021Updated 4 years ago
- code-along code for my youtube video series with the same name☆10Aug 14, 2022Updated 3 years ago
- Solidity smart-contracts for a fully on-chain hyper-casual gaming platform!☆10Feb 15, 2023Updated 2 years ago
- Beacon Chain from scratch☆44Feb 9, 2023Updated 3 years ago
- Solidity Invariant Testing Starter Repo, write Foundry Tests, run Echidna, Medusa and Halmos.☆48Updated this week
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆58Jan 18, 2026Updated 3 weeks ago
- ERC4626 vaults to ease interaction with Morpho Optimizers.☆43Dec 18, 2025Updated last month
- WIP - Exposing light client as a library☆11Dec 20, 2023Updated 2 years ago
- chainlink service to provide trust minimised meta-transactions☆10May 26, 2022Updated 3 years ago
- ☆13Jul 21, 2022Updated 3 years ago
- Hardhat made easy with a flexible CLI to help run test, deploy and more.☆10Apr 10, 2024Updated last year
- ☆10Mar 2, 2023Updated 2 years ago
- AltugCar on 0xMonaco☆10Aug 22, 2022Updated 3 years ago
- ☆10Nov 14, 2021Updated 4 years ago
- WebAssembly as a Fuzzing Compilation Target @ FUZZING'24☆18Jan 28, 2026Updated 2 weeks ago
- ☆13Sep 17, 2022Updated 3 years ago
- Using Dynamic Huffidity to embed MiMCSponge Hash bytecode by tornado cash to a solidity contract.☆10Sep 8, 2023Updated 2 years ago
- Solution for the Optimizoor club's sqrt challenge☆11Nov 1, 2022Updated 3 years ago
- Frenrug on-chain AI agent smart contracts.☆14Nov 30, 2023Updated 2 years ago
- Example implementation of changing a Solidity contract bytecode during the constructor execution☆11Sep 5, 2022Updated 3 years ago
- Go library to access the blockchain state of Go-ethereum☆16Feb 14, 2023Updated 3 years ago