paulsengh

paulsengh's Repositories

• paulsengh/aave-protocol

  Aave Protocol Version 1.0 - Decentralized Lending Pools

  Language:HTML00

• paulsengh/morpho-v1

  Core contracts of Morpho's protocol V1.

  Language:Solidity00

• paulsengh/proof-of-usdc

  Use zkEmail to prove that you own a Coinbase account

  Language:TypeScript001

• paulsengh/solana

  Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

  Language:Rust00

• paulsengh/why3

  An unofficial mirror of Why3 (http://why3.lri.fr/)

  Language:Coq00