lucas-manuel Goto Github PK

book

A book on all things Foundry, available at https://book.getfoundry.sh.

chainlog-scripts

Set of scripts to pull addresses from changelog and add them to the MakerDAO chainlog

community

A collection of documents and resources relating to initiatives from the Community Development group at MakerDAO.

compound-protocol

The Compound On-Chain Protocol

dapptools-node-circleci-docker

Docker image with dapptools and Node.js, for CircleCI

ds-pause

Schedule function calls that can only be executed once some delay has elapsed

dss-cdp-manager

dss-direct-deposit

exit-optimizations

farm-comparisons

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.

github-label-maker

A set of bash scripts for deleting / creating labels within Github

hudemy

Holochain DevCamp6 App

instapy

📷 Instagram Bot - Tool for automated Instagram interactions

invariant-examples

invariant-logs-example

klab

K framework proof explorer & smart contract specification format

lbl

lighthouse

Ethereum consensus client in Rust

mips

Maker Improvement Proposals (MIPs)

openzeppelin-contracts

OpenZeppelin Contracts is a library for secure smart contract development.

rari-capital-exploit-poc

research

solidity-book

The Senior Solidity Engineer's Book is a resource meant to transform you into a Senior Solidity Engineer.

solidity-sandbox

Sandbox for easily writing and testing toy contracts

symbolic-hevm-playground

synthetix

Synthetix Solidity smart contracts

terraform-provider-azurerm

Terraform Azure Resource Manager provider

truffle-docker