Pedro Maia's repositories
defi-papers
Collection of useful DeFi papers
weird-erc20
weird erc20 tokens
audit-protocol
Core component of PowerLoom Protocol
BLED
Blinking a LED using verilog.
cannon
On chain interactive fault prover for Ethereum
jet
A tiny in-memory key-value data store inspired by Redis.
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.
gemfab
token factory
httprouter
A high performance HTTP request router that scales well
huffmate
A library of modern, hyper-optimized, and secure Huff contracts
HVM
A massively parallel, optimal functional runtime in Rust
Kind
A next-gen functional language
penumbra
Penumbra is a fully private proof-of-stake network and decentralized exchange for the Cosmos ecosystem.
pooler
Pooler is the first adapter that'll make way for future curation on PowerLoom. We are snapshotting data from Uniswap like AMMs on EVM chains.
token-tester
Use cursed ERC20s in foundry unit tests
v2-core
🦄 🦄 Core smart contracts of Uniswap V2
vaults
Flexible, minimalist, and gas-optimized yield aggregator protocol for earning interest on any ERC20 token.
yools
Tools for Yul.