Mathis Gontier Delaunay's repositories
cloud-computing-infrastructures
Lectures and hands-on on cloud computing infrastructures
libcompound
Get up to date cToken data using 20% less gas without mutating state.
book
A book on all things Foundry, available at https://book.getfoundry.sh.
CertoraProverSupplementary
Supplementary Material to be used with the Certora Prover
ComplexNetTD
NET 4103 / NET 7431
delegate-prank
Delegatecall from any contract. A kind of vm.prank for delegatecalls.
forge-std
Forge Standard Library is a collection of helpful contracts for use with forge and foundry. It leverages forge's cheatcodes to make writing tests easier and faster, while improving the UX of cheatcodes. For more in-depth usage examples checkout the tests.
foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
gitbook-cli
GitBook's command line interface
huff-rs
A low-level assembly language for the Ethereum Virtual Machine built in blazing-fast pure rust.
huffmate
A library of modern, hyper-optimized, and secure Huff contracts
morpho-blue-bundlers
Morpho Blue Bundlers
openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
openzeppelin-contracts-upgradeable
Upgradeable variant of OpenZeppelin Contracts, meant for use in upgradeable contracts.
quickpoc
easy POC template generation from the command line
repeated-refund
Open problem
solady
Optimized Solidity snippets.
solmate
Modern, opinionated, and gas optimized building blocks for smart contract development.
spdx-correct.js
correct invalid SPDX identifiers
Tutorials
Practical tutorials of Certora Prover