Thomas Pan 's repositories
Awesome-Smart-Contract-Security
A curated list of Smart Contract Security materials and resources For Researchers
000
awesome-starknet
A curated list of awesome StarkNet resources, libraries, tools and more
000
boopContracts
simple web3 decentralized application
ethernautnotes
ctf notes
Language:Solidity000
Language:Python000
boopPortal
boop portal frontend
Language:JavaScript000
building-secure-contracts
Guidelines and training material to write secure smart contracts
Language:SolidityAGPL-3.0000
cohort-four
Fourth cohort of Ethereum Protocol Fellowship
000
docs.rocketpool.net
Rocket Pool Documentation & Guide Hub
Language:JustMIT000
ETHDenver-2023
ETHDenver 2023 Buidl-a-thon
CC0-1.0000
Language:TypeScriptGPL-3.0000
Language:Solidity000
pct-permit-scraper
web scraper to detect if a permit slot opens up
rocketpool
Decentralised Ethereum Liquid Staking Protocol.
GPL-3.0000
secureum-mind_map
This repo is less actively maintained now but I still monitor it for PR's.
Language:ShellMIT000
smartnode
The CLI package for Rocket Pool smart nodes.
GPL-3.0000
Tutorials
Practical tutorials of Certora Prover
Language:SolidityGPL-3.0000
xyk-amm-move
Aubrium is a constant product (XY=K) AMM (like Uniswap V2) built in Move on Aptos for swapping Coins.
Language:Move000
Language:RustNOASSERTION000