首页
开源
资讯
活动
开源许可证
软件工程云服务
软件代码质量检测云服务
持续集成与部署云服务
社区个性化内容推荐服务
贡献审阅人推荐服务
群体化学习服务
重睛鸟代码扫描工具
登录
注册
fwhdzh
fwhdzh
关注
私信
0
Followers
6
Stars
1
Following
6
Watches
目前在中国科学院软件研究所攻读博士学位，主要研究方向为分布式系统验证与测试、模型检查、程序分析。
加入于
2021-01-28 15:04
仓库
clash-for-linux-backup
asio
tlaplus
GraMi
xraft
更多
暂未加入任何公有仓库
动态
仓库
6
组织
所有
个人的
我参与的
Forks
最近更新
最近更新
最新创建
最早创建
仓库名称
1
0
52
fwhdzh
/
DCF
forked from
openGauss
/
DCF
最近更新:
21天前
1
0
0
fwhdzh
/
xraft
最近更新:
2个月前
1
0
0
fwhdzh
/
GraMi
最近更新:
5个月前
1
0
0
fwhdzh
/
tlaplus
最近更新:
6个月前
1
0
0
fwhdzh
/
asio
最近更新:
8个月前
1
0
0
fwhdzh
/
clash-for-linux-backup
最近更新:
8个月前
