← 返回名录条目信息来自其公开主页与公开发布内容。按本站规范，页面不展示任何联系方式。 需要更正或删除？通过收录与更正通道提交，24 小时内处理。
X
Xinwen Hu
GitHub @huxinwen1994 ↗ · 个人主页 ↗
Smart Contracts, Software Security, Formal Methods, Machine Learning
- 公司
- —
- 位置
- Changsha, China
- Stars
- 8
- 粉丝 / 仓库
- 7
代表作品 / 项目
- solidity-to-cmodel⭐ 6SmartACE prototype (deprecated): moved to the contract-ace github organization.
- Web-design-by-AI⭐ 1
- LeetCode⭐ 1coding
- huxinwen1994.github.io⭐ 0
- Data-Analysis⭐ 0