GitHub Action to run Echidna, the Ethereum smart contract fuzzer
☆62Feb 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:
- Oracle whitelisting for permissioned user.☆10Apr 26, 2022Updated 4 years ago
- A collection of practical circom circuits☆14May 19, 2022Updated 4 years ago
- ☆45Jul 19, 2023Updated 3 years ago
- ☆11Jan 25, 2022Updated 4 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆16Jun 4, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆29Jul 22, 2022Updated 4 years ago
- A static verifer for Ethereum Smart Contracts written in Vyper☆51Feb 15, 2023Updated 3 years ago
- Foundry test utils.☆29Jul 26, 2022Updated 4 years ago
- WETH Implementation in Vyper + gas comparisons to WETH9 and WETH10☆16Mar 15, 2024Updated 2 years ago
- Smart contract that checks if the SELFDESTRUCT opcode is still valid on the chain it is deployed to☆29Oct 19, 2022Updated 4 years ago
- ☄️ Zero-config Hardhat plugin to generate documentation for all your Solidity contracts.☆133Aug 16, 2023Updated 3 years ago
- ☆82Dec 2, 2022Updated 3 years ago
- reference vyper contracts☆14Jul 27, 2022Updated 4 years ago
- Docker-dapptools: A drop-in docker replacement for dapptools.☆39May 13, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Testing echidna vs. forge fuzzing☆76Dec 20, 2022Updated 3 years ago
- ☆192Nov 5, 2021Updated 4 years ago
- GitHub action that installs huffc☆18Mar 22, 2023Updated 3 years ago
- ☆37May 3, 2022Updated 4 years ago
- ☆40Aug 23, 2022Updated 4 years ago
- An example of an ERC721 token with efficient on-mint generation from 7 traits (taken from BAYC; see details below).☆50Jan 11, 2022Updated 4 years ago
- 🛠️ Easily track & compare gas costs estimated by Foundry on each of your Pull Requests!☆208Apr 4, 2025Updated last year
- Delegate your governance tokens to this contract and never worry about those pesky governance proposals again.☆22Feb 10, 2022Updated 4 years ago
- Create Blacksmiths to use the Foundry. Blacksmith is a 'User Contract' generator. User contracts can interface with the test contracts in…☆103Jul 19, 2022Updated 4 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.
- This repository implements a simple fork test on Optimism that proves that the EVM behaviour of the forked chain is not identically repli…☆15Oct 25, 2026Updated last week
- Library of zkSNARKS circuits written in the Circom language.☆50Dec 5, 2021Updated 4 years ago
- A fast ethereum transaction fuzzer☆26Apr 2, 2019Updated 7 years ago
- Slow burner for protocol assets.☆33Mar 21, 2023Updated 3 years ago
- ☆142Jan 16, 2026Updated 9 months ago
- ☆15Feb 11, 2023Updated 3 years ago
- Ethereum Foundation Cryptography Research Website☆53Oct 23, 2026Updated last week
- Price oracle for Bunni tokens & Uniswap v3 LP positions using Chainlink & Uniswap v3 TWAP oracles☆19Oct 23, 2023Updated 3 years ago
- A wrapper ERC20 token that linearly vests an underlying ERC20 token to its holders.☆242Feb 21, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Huff Proxies with Create2 (no SLOAD)☆41Oct 23, 2022Updated 4 years ago
- ☆19Jun 20, 2022Updated 4 years ago
- 🏛 A solidity temple for gas optimized and super efficient contracts. Built with Foundry's forge.☆59Feb 23, 2022Updated 4 years ago
- Options for ERC721 assets via fractionalizing into ERC20 tokens & depositing into Primitve's RMM-01☆42Apr 10, 2022Updated 4 years ago
- NFT proxy manager☆10Feb 1, 2022Updated 4 years ago
- ☆14Feb 2, 2021Updated 5 years ago
- tiny helpers for hardhat and ethers.js☆16May 23, 2022Updated 4 years ago