Alain Papazoglou's repositories
ethernaut-solutions
Forge solutions to Ethernaut Web3/Solidity based wargame
forge-deploy-lite
One forge script to deploy all your contracts on multiple evm networks and register all addresses to connect your frontend UI
2023-01-19-blockswap-fv
private certora blockswap contest on code4rena
aider
aider is AI pair programming in your terminal
certora-examples
An index repository with submodules for different examples of Certora projects
certora-tutorials
Practical tutorials of Certora Prover
damn-vulnerable-defi
The offensive security playground for the decentralized finances.
DAppNode
General repository of the project dappnode
erc6551-reference
ERC-6551 reference implementation
ghost-nfts
Ghost NFTs - ETHGlobal SuperHack 2023
mantaray-js
Mantaray data structure in JS
missing-spec
Certora tutorials
scaffold-eth-fleek
Open source forkable Ethereum dev stack
scaffold-eth-svelte
A Svelte port of Scaffold-ETH 2
se-2-challenges
SpeedRunEthereum challenges (Powered by Scaffold-ETH 2)
synpress
Synpress is e2e testing framework based on Cypress.io and playwright with support for metamask.
tokenbound
Opinionated ERC-6551 account implementation