Lists (1)
Starred repositories
An index repository with submodules for different examples of Certora projects
A general purpose price feed oracle built on Uniswap v2 that uses merkle proofs under the hood.
These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.
A collection of Solidity security exercises and puzzles to test your knowledge of Solidity's more esoteric features. Some are easy, and some are exceptionally challenging.
A extensive list of solidity gas optimization tricks
A tool for analyzing the security and parameters of a solidity smart contract
Basic Solidity Contracts and Libraries to make life easier
Solidity CTF challenges for mrstealyocrypto.xyz (foundry)
EulerSwap is an automated market maker (AMM) that integrates with EVK vaults and the EVC to provide deeper liquidity for swaps.
Balancer on the EVM
Lime is an active hook manager which allows fillers or market makers to set price and fill Intent / RFQ based swap requests.
An experimental Uni v4 LP Manager that doesnt suck
A curated list of awesome Uniswap v4 hooks resources.
Browser extension which parses competitive programming problems
Overview of the formal verification projects in the Ethereum ecosystem.
Example arbitrage bot using Flashbots
A helpful 5-page machine learning cheatsheet to assist with exam reviews, interview prep, and anything in-between.
"Head First: Object-Oriented Analysis & Design" book projects. Java is reworked in C#.
Suite of unit and fuzz tests for MakerDAO-style ERC20 tokens
Aubrium is a constant product AMM (like Uniswap V2) built in Move on Sui and Aptos for swapping coins.