lindy-labs / sc_solidity-contracts
☆15Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for sc_solidity-contracts
- Formally verifying consistency between Solmate and Solady using Halmos☆50Updated 2 months ago
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Updated last year
- ☆98Updated last year
- ☆75Updated 2 years ago
- ⛳ Template for Forge + EVM Toolkit☆53Updated 2 years ago
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- Gas Golfing using Huff and Yul☆82Updated 2 years ago
- standardized framework to simulate governance proposals with forge☆57Updated last year
- ☆65Updated last year
- A playground for Uniswap v4 hooks☆24Updated last year
- Minimal ERC20-compatible bytecode☆71Updated 3 years ago
- 🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠☆36Updated 7 months ago
- unhacked challenge 1: reaper☆41Updated 2 years ago
- The dream baby!!!!☆56Updated 2 years ago
- Solidity static analyzer☆81Updated 11 months ago
- A capital-efficient Uniswap v4 liquidity bootstrapping pool (LBP) hooks contract☆55Updated last year
- ☆28Updated last year
- Complex numbers for Solidity☆53Updated 9 months ago
- A Foundry template to compile and test Huff contracts.☆52Updated 2 years ago
- Experimental hybrid/cross-chain ERC4626 vaults☆50Updated last year
- Generating Inputs for OZ's MultiProof and SingleProof☆37Updated last month
- ☆61Updated last year
- A gas competition to see who the best optimizor is☆74Updated 2 years ago
- Vyper Based Capture The Flag Challenges☆35Updated 2 years ago
- ☆82Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆39Updated 2 years ago
- Measure gas savings with different Solidity optimizations☆54Updated 2 years ago
- Cross chain call library for Solidity☆80Updated 2 years ago
- ☆44Updated last year
- Testing echidna vs. forge fuzzing☆75Updated last year