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