Pinned Repositories
2023-01-blockswap-fv
2023-10-badger
badger-onchain-rewards
Generalized onChain reward contract that allows to retroactively reward depositors with any token
ethernaut-x-foundry
Ethernaut puzzles solved with foundry
last-resort-optimal-liquidator-ts
Last resort liquidator for Banker Joe that attempts to make the optimal liquidation
Tutorials
Practical tutorials of Certora Prover
teryanarmen's Repositories
teryanarmen/ethernaut-x-foundry
Ethernaut puzzles solved with foundry
teryanarmen/last-resort-optimal-liquidator-ts
Last resort liquidator for Banker Joe that attempts to make the optimal liquidation
teryanarmen/Tutorials
Practical tutorials of Certora Prover
teryanarmen/2023-01-blockswap-fv
teryanarmen/2023-10-badger
teryanarmen/badger-onchain-rewards
Generalized onChain reward contract that allows to retroactively reward depositors with any token
teryanarmen/brownie_defi
Basic defi app
teryanarmen/brownie_fund_me
Smart Contract Application build through a Free Code Camp course on Blockchain Development. cApS
teryanarmen/brownie_simple_defi
teryanarmen/code423n4.com
code423n4.com source code
teryanarmen/curta
A CTF protocol, where players create and solve EVM puzzles to earn NFTs.
teryanarmen/damn-vulnerable-defi
teryanarmen/eigenlayer-contracts
teryanarmen/eigenlayer-middleware
teryanarmen/erc4626-adapter
teryanarmen/evm-puzzles
A collection of EVM puzzles
teryanarmen/Examples
An index repository with submodules for different examples of Certora projects
teryanarmen/flash_loans
Working with flash loans
teryanarmen/forge-template
teryanarmen/housing-data
scrape and visualize housing data
teryanarmen/im_bad_at_tech
ssh is too hard
teryanarmen/ion-protocol
teryanarmen/mangrove
Development repository for Mangrove
teryanarmen/multisig
multisig built for learning
teryanarmen/openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
teryanarmen/Sherlock-CTF-Competition
My solutions to the sherlock ctfs. Not all challenges are solved.
teryanarmen/teryanarmen.github.io
My portfolio website
teryanarmen/tutorials-code
Certora tutorials
teryanarmen/v3-core
Mimic Core V3
teryanarmen/v4-periphery
🦄 🦄 🦄 🦄 Peripheral smart contracts for interacting with Uniswap v4