Pinned Repositories
aave-starknet-bridge
Bridge aTokens to Starknet
aave-v3-core
This repository contains the core smart contracts of the Aave V3 protocol.
gho-core
governance-crosschain-bridges
This repo contains the crosschain governance bridges used for the aave markets deployed across different networks
static-a-token-v3
Static aTokens for Aave v3, based on value increase (exchange rate based) instead of balance increase
Tutorials
Practical tutorials of Certora Prover
aave-protocol-v2-AStETH
Aave Protocol V2 AStETH verification
ethereumbook
Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood
MeetingSchedulerTest
Testing Ariel's script on scheduler
openzeppelin-contracts-for-contest
OpenZeppelin Contracts is a library for secure smart contract development.
MichaelMorami's Repositories
MichaelMorami/aave-protocol-v2-AStETH
Aave Protocol V2 AStETH verification
MichaelMorami/ethereumbook
Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood
MichaelMorami/MeetingSchedulerTest
Testing Ariel's script on scheduler
MichaelMorami/openzeppelin-contracts-for-contest
OpenZeppelin Contracts is a library for secure smart contract development.