Pinned Repositories
10x-blockcamp-challenge
2024-06-size
2024-ethdenver-invariant-testing
3SA03-work
3SA04
3SB04
alarm_android_flutter
axelar-local-gmp-examples
Sample cross-chain dapps & contracts using the Axelar protocol.
blog-tutorial
liff-line-mini-app
62theories's Repositories
62theories/10x-blockcamp-challenge
62theories/axelar-local-gmp-examples
Sample cross-chain dapps & contracts using the Axelar protocol.
62theories/database
62theories/DeFi-Developer-Road-Map
DeFi Developer roadmap is a curated Web3.0 Developer handbook which includes a list of the best tools for DApps, development resources and lifehacks.
62theories/erc20
62theories/erc20_multisig
62theories/ethereum-org-website
Ethereum.org is a primary online resource for the Ethereum community.
62theories/etherscan_verified_contracts
Verified contracts synced from Etherscan
62theories/hardhat-foundry-template
Minimal template to get started with Foundry + Hardhat
62theories/kap20_playground
62theories/kap_token
62theories/lab_3_client
62theories/layer-zero-solidity-examples
example contracts
62theories/my-rainbowkit-app
62theories/newly-create-react-app
62theories/newly-nextjs
62theories/nextjs_block_simple
62theories/nextjs_wallet_sign_simple
62theories/oyente-1
An Analysis Tool for Smart Contracts
62theories/peaw1
62theories/react-stripe-payment-element
62theories/sailfish
Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
62theories/servercoe
62theories/swc_paper
62theories/test-dapp
The sample dapp used for e2e testing and metamask-extension QA
62theories/tf-flask
62theories/uniswap_interface
🦄 An open source interface for the Uniswap protocol
62theories/weth_formal_verification_z3
Formal verification of WETH9.sol with Z3
62theories/youtube-tutorials
62theories/yuemmai-contract