Pinned Repositories
3-F
My personal repository
brownie
A Python-based development and testing framework for smart contracts targeting the Ethereum Virtual Machine.
bsc
A Binance Smart Chain client based on the go-ethereum fork
BTPK
concrete-semanitcs
some learning resources about concrete semantics (Isabelle/HOL)
Dive-Into-Blockchain
旨在交流学习区块链技术,记录智能合约开发应用与相关安全练习的仓库🚀
DrawIOTemplate
feishu-sdk-golang
飞书开放平台 SDK,聚合SDK https://github.com/galaxy-book/saturn
go-ethereum-code-analysis
hardhat
Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software.
3-F's Repositories
3-F/BTPK
3-F/concrete-semanitcs
some learning resources about concrete semantics (Isabelle/HOL)
3-F/DrawIOTemplate
3-F/3-F
My personal repository
3-F/brownie
A Python-based development and testing framework for smart contracts targeting the Ethereum Virtual Machine.
3-F/bsc
A Binance Smart Chain client based on the go-ethereum fork
3-F/Dive-Into-Blockchain
旨在交流学习区块链技术,记录智能合约开发应用与相关安全练习的仓库🚀
3-F/feishu-sdk-golang
飞书开放平台 SDK,聚合SDK https://github.com/galaxy-book/saturn
3-F/go-ethereum-code-analysis
3-F/hardhat
Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software.
3-F/Homesite
3-F/testnet