Mathis Gontier Delaunay's starred repositories
awesome-oss-funding
A curated list of awesome resources for funding open source projects and authors.
LightDotSo
EVM Chain Abstraction
gaslite-core
Gaslite's Highly Optimized Smart Contracts
bitwuzla
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
protocol-studies
A study group learning about Ethereum and building protocol wiki
how-to-raise-the-gas-limit
Data & code accompanying Paradigm's How to Raise the Gas Limit post.
forge-flamegraph
🔥 flamegraphs for solidity
forge-gas-metering
utilities for more granular and realistic gas measuring in forge tests
aave-v3-origin
Aave v3.1 protocol
gas-metering-comparison
Comparing gas measurements from Forge, Hardhat, Tevm and forge-gas-metering against testnet transactions.
ethers-types
🛟 Making web3 more predictable & safer, 1 type at a time!