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
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
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