raxhvl / foundryize
Installs foundry in your existing project. Compatible with hardhat.
☆9Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for foundryize
- APG (Auditor Profile Generator)☆35Updated 11 months ago
- yAudit Completed Reports☆27Updated this week
- Smart contract exploit proof of concept exploit standard interface☆16Updated last year
- ☆56Updated 11 months ago
- Readiness Assessment for CARE Endeavour☆45Updated 8 months ago
- box of chocolates☆18Updated 8 months ago
- ☆35Updated last year
- Here you will find set of questions and solutions which will be useful to level up our solidity programming as well as ace our interviews…☆22Updated last year
- Exercises for the Yield 2022 Mentorship progam☆62Updated 2 years ago
- ☆46Updated last year
- ☆70Updated last year
- ☆31Updated last year
- List of Halmos resources.☆46Updated last month
- Diagrams for Solidity contracts☆42Updated 8 months ago
- Solidity Audit Report Generator☆84Updated last year
- A markdown based template for writing spearbit reports☆29Updated 3 months ago
- Formally verifying consistency between Solmate and Solady using Halmos☆50Updated 2 months ago
- A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.☆51Updated 3 months ago
- ☆54Updated 11 months ago
- Series of CTF challenges based off real world smart contract vulnerabilities.☆26Updated 7 months ago
- Ethernaut CTF solutions with Ape, Vyper, & Huff☆36Updated last year
- A static analyzer for Solidity, built upon regex and ASTs.☆25Updated 8 months ago
- Identify flashloan bots in multiple chains☆33Updated 2 years ago
- Optimised Uniswap V2 contracts written in Huff language☆110Updated 6 months ago
- easy POC template generation from the command line☆76Updated 2 months ago
- A comprehensive guide to teach you about gas optimization patterns.☆26Updated last year
- simple zk implementations in python☆19Updated 5 months ago
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆60Updated 11 months ago
- Coypu is an open source static analyzer that competes on Code4rena Bot Races. Prizes are held on a community multisig and split amongst a…☆9Updated last year
- 👃Automatically identify missing or incomplete natspec☆91Updated 2 months ago
- List of awesome blogs and podcasts about web3 security and more☆22Updated this week