lucas-manuel
Smart Contracts Technical Lead at Phoenix Labs Ex-@makerdao Smart Contracts Engineer Ex-@maple-labs Smart Contract Tech Lead
@marsfoundation Toronto, ON, Canada
Pinned Repositories
hUdemy
Holochain DevCamp6 App
invariant-examples
dss
Dai Stablecoin System
dss-exec-lib
DSS Executive Spellcrafting Library Contracts
keg
erc20
Maple implementation of the ERC-20 standard
maple-core
Maple Core Protocol
lucas-manuel's Repositories
lucas-manuel/invariant-examples
lucas-manuel/invariant-logs-example
lucas-manuel/lbl
lucas-manuel/book
A book on all things Foundry, available at https://book.getfoundry.sh.
lucas-manuel/chainlog-scripts
Set of scripts to pull addresses from changelog and add them to the MakerDAO chainlog
lucas-manuel/community
A collection of documents and resources relating to initiatives from the Community Development group at MakerDAO.
lucas-manuel/compound-protocol
The Compound On-Chain Protocol
lucas-manuel/dapptools-node-circleci-docker
Docker image with dapptools and Node.js, for CircleCI
lucas-manuel/ds-pause
Schedule function calls that can only be executed once some delay has elapsed
lucas-manuel/dss-cdp-manager
lucas-manuel/dss-direct-deposit
lucas-manuel/exit-optimizations
lucas-manuel/farm-comparisons
lucas-manuel/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.
lucas-manuel/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
lucas-manuel/github-label-maker
A set of bash scripts for deleting / creating labels within Github
lucas-manuel/InstaPy
📷 Instagram Bot - Tool for automated Instagram interactions
lucas-manuel/klab
K framework proof explorer & smart contract specification format
lucas-manuel/lighthouse
Ethereum consensus client in Rust
lucas-manuel/mips
Maker Improvement Proposals (MIPs)
lucas-manuel/openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
lucas-manuel/Rari-Capital-Exploit-POC
lucas-manuel/solidity-book
The Senior Solidity Engineer's Book is a resource meant to transform you into a Senior Solidity Engineer.
lucas-manuel/solidity-sandbox
Sandbox for easily writing and testing toy contracts
lucas-manuel/symbolic-hevm-playground
lucas-manuel/synthetix
Synthetix Solidity smart contracts
lucas-manuel/typescript-hardhat
Template for smart contract development using Typescript & Hardhat
lucas-manuel/vaults
Flexible, minimalist, and gas-optimized yield aggregator protocol for earning interest on any ERC20 token.
lucas-manuel/yearn-strategy
lucas-manuel/yearn-vaults
Yearn Vault smart contracts