nattawatx86's repositories
Language:JavaScript000
Language:JavaScript000
ethereum-org-website
Ethereum.org is a primary online resource for the Ethereum community.
MIT000
Language:PythonApache-2.0000
weth_formal_verification_z3
Formal verification of WETH9.sol with Z3
NOASSERTION000
etherscan_verified_contracts
Verified contracts synced from Etherscan
Language:Solidity000
oyente-1
An Analysis Tool for Smart Contracts
GPL-3.0000
Language:TypeScript000
test-dapp
The sample dapp used for e2e testing and metamask-extension QA
MIT000
axelar-local-gmp-examples
Sample cross-chain dapps & contracts using the Axelar protocol.
000
layer-zero-solidity-examples
example contracts
000
uniswap_interface
🦄 An open source interface for the Uniswap protocol
GPL-3.0000
hardhat-foundry-template
Minimal template to get started with Foundry + Hardhat
Apache-2.0000
Language:TypeScript000
Language:TypeScript000
000
sailfish
Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
000
Language:Solidity000
Language:Solidity000
Language:TypeScript000
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.
NOASSERTION000
000
Language:TypeScript000
Language:JavaScript000
Language:JavaScript000
Language:HTML000