mathisgd Goto Github PK

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

data-liquidations

delegate-prank

Delegatecall from any contract. A kind of vm.prank for delegatecalls.

dss-direct-deposit

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-immutable

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

libcompound

Get up to date cToken data using 20% less gas without mutating state.

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

reentrancy-example

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

synod

tezos-nft

tipe-2019-pole-of-inaccessibility

tutorials

Practical tutorials of Certora Prover