GitHub Action to run Echidna, the Ethereum smart contract fuzzer
☆63Feb 29, 2024Updated 2 years ago
Alternatives and similar repositories for echidna-action
Users that are interested in echidna-action are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- ☆29Jul 22, 2022Updated 3 years ago
- ☆11Jan 25, 2022Updated 4 years ago
- ☆45Jul 19, 2023Updated 2 years ago
- An example of an ERC721 token with efficient on-mint generation from 7 traits (taken from BAYC; see details below).☆51Jan 11, 2022Updated 4 years ago
- Delegate your governance tokens to this contract and never worry about those pesky governance proposals again.☆22Feb 10, 2022Updated 4 years ago
- Foundry test utils.☆29Jul 26, 2022Updated 3 years ago
- ☆40Aug 23, 2022Updated 3 years ago
- ☆14Aug 29, 2024Updated last year
- Slow burner for protocol assets.☆33Mar 21, 2023Updated 3 years ago
- ☆142Jan 16, 2026Updated 2 months ago
- Oracle System☆15Jun 4, 2022Updated 3 years ago
- ☆19Jun 20, 2022Updated 3 years ago
- ☆30Jun 29, 2023Updated 2 years ago
- Options for ERC721 assets via fractionalizing into ERC20 tokens & depositing into Primitve's RMM-01☆42Apr 10, 2022Updated 3 years ago
- Docker-dapptools: A drop-in docker replacement for dapptools.☆39May 13, 2022Updated 3 years ago
- Library of zkSNARKS circuits written in the Circom language.☆50Dec 5, 2021Updated 4 years ago
- Maximally efficient (WIP), minimalist ERC-721 implementation. Inspired by solmate/ERC721's minimalist architecture and forked from ERC721…☆60Jun 12, 2022Updated 3 years ago
- ☆37May 3, 2022Updated 3 years ago
- Testing echidna vs. forge fuzzing☆77Dec 20, 2022Updated 3 years ago
- ☄️ Zero-config Hardhat plugin to generate documentation for all your Solidity contracts.☆134Aug 16, 2023Updated 2 years ago
- LLM Power Tool, with experimental features such as audio transcription from ElevenLabs.☆15Jan 25, 2024Updated 2 years ago
- Gas efficient routers for L2 applications☆116Sep 23, 2022Updated 3 years ago
- Example setup of Forge tests and CI to do basic checks for storage collisions when iterating on upgradeable contract implementations.☆28Dec 23, 2022Updated 3 years ago
- Create Blacksmiths to use the Foundry. Blacksmith is a 'User Contract' generator. User contracts can interface with the test contracts in…☆102Jul 19, 2022Updated 3 years ago
- ☆82Dec 2, 2022Updated 3 years ago
- Smart contract that checks if the SELFDESTRUCT opcode is still valid on the chain it is deployed to☆29Oct 19, 2022Updated 3 years ago
- A wrapper ERC20 token that linearly vests an underlying ERC20 token to its holders.☆242Feb 21, 2022Updated 4 years ago
- 🛠️ Easily track & compare gas costs estimated by Foundry on each of your Pull Requests!☆208Apr 4, 2025Updated 11 months ago
- A tool to generate single-use keyless transactions to deploy smart contracts across chains.☆43Jun 16, 2023Updated 2 years ago
- Rolling Liquidity Vault: an ERC4626 compliant vault, passive liquidity vault built atop Sense Space Pools☆28Jul 27, 2023Updated 2 years ago
- Governor of Athens: A protocol to enable private governance on existing governor bravo contracts by leveraging Aztec's Defi Batching☆86Oct 13, 2022Updated 3 years ago
- Price Oracles for Sentiment☆42Jul 6, 2023Updated 2 years ago
- ☆18Feb 25, 2023Updated 3 years ago
- ☆35Jul 8, 2022Updated 3 years ago
- Just testing, nothing to see here.☆13Mar 17, 2022Updated 4 years ago
- 🌼☆15Jan 7, 2023Updated 3 years ago
- ☆14Feb 2, 2021Updated 5 years ago
- Mirror your Optimism NFTs on Ethereum☆31Nov 10, 2022Updated 3 years ago