Taha Dhailey's repositories
DeFiHackLabs
Reproduce DeFi hacked incidents using Foundry.
solady
Optimized Solidity snippets.
assembly
I have mastered Solidity, now, it is time to master its great ally.
contracts
LI.FI Smart Contracts
Ethernaut-CTF
Ethernaut CTF solutions with Ape, Vyper, & Huff
evm-from-scratch
Implementation of the Ethereum Virtual Machine in python.
fuzzydefi
Pre-built security properties for commonly forked DeFi protocols
halmos
Symbolic Bounded Model Checker for Ethereum Smart Contracts Bytecode
heimdall-rs
Heimdall is an advanced Ethereum smart contract toolkit for forensic and heuristic analysis.
hevm
symbolic EVM evaluator. https://hevm.dev
LowLevelVulnerabilities
Examples and POCs of Vulnerabilities that are unique to EVM contracts written without the guardrails of higher level languages like solidity or vyper
nakamoto-city
fork of tx street
processor
For processing txs and blocks, and subbing to node events.
rolling-dutch-auction
A dutch auction derivative with composite decay
rusty-sando
Implementation of a competitive v2/v3 multi-meat sandwich bot written using Rust and Huff.
SKYBIT-Keyless-Deployment
Deploy your smart contract to the same address on many blockchains (with fewer pitfalls)
snekmate
State-of-the-art, highly opinionated, hyper-optimised, and secure 🐍Vyper smart contract building blocks.
solady-memefactory
shitcoins-r-us
surl
HTTP Library for Solidity based on curl
txstreet-frontend
The frontend for TxStreet.com
web
Grow Open Source
webshell
Customizable Terminal Styled Website