Pinned Repositories
huffmate
A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.
bed-and-breakfast
book
A book on all things Foundry, available at https://book.getfoundry.sh.
CertoraProverSupplementary
Supplementary Material to be used with the Certora Prover
cloud-computing-infrastructures
Lectures and hands-on on cloud computing infrastructures
ComplexNetTD
NET 4103 / NET 7431
huff-immutable
libcompound
Get up to date cToken data using 20% less gas without mutating state.
morpho-blue
🟦 Morpho Blue Protocol
morpho-optimizers
Core contracts of Morpho V1 Optimizers.
MathisGD's Repositories
MathisGD/cloud-computing-infrastructures
Lectures and hands-on on cloud computing infrastructures
MathisGD/huff-immutable
MathisGD/libcompound
Get up to date cToken data using 20% less gas without mutating state.
MathisGD/bed-and-breakfast
MathisGD/book
A book on all things Foundry, available at https://book.getfoundry.sh.
MathisGD/CertoraProverSupplementary
Supplementary Material to be used with the Certora Prover
MathisGD/ComplexNetTD
NET 4103 / NET 7431
MathisGD/delegate-prank
Delegatecall from any contract. A kind of vm.prank for delegatecalls.
MathisGD/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.
MathisGD/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
MathisGD/gitbook-cli
GitBook's command line interface
MathisGD/data-liquidations
MathisGD/dss-direct-deposit
MathisGD/huff-rs
A low-level assembly language for the Ethereum Virtual Machine built in blazing-fast pure rust.
MathisGD/huffmate
A library of modern, hyper-optimized, and secure Huff contracts
MathisGD/morpho-blue-bundlers
Morpho Blue Bundlers
MathisGD/openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
MathisGD/openzeppelin-contracts-upgradeable
Upgradeable variant of OpenZeppelin Contracts, meant for use in upgradeable contracts.
MathisGD/quickpoc
easy POC template generation from the command line
MathisGD/reentrancy-example
MathisGD/repeated-refund
Open problem
MathisGD/solady
Optimized Solidity snippets.
MathisGD/solmate
Modern, opinionated, and gas optimized building blocks for smart contract development.
MathisGD/spdx-correct.js
correct invalid SPDX identifiers
MathisGD/synod
MathisGD/tezos-nft
MathisGD/TIPE-2019-Pole-of-Inaccessibility
MathisGD/Tutorials
Practical tutorials of Certora Prover