所有者 · FStarLang

FStarLang

FStarLang 收录中的开源项目，按星标数排序。

共 2 个项目

#1
FStar ↗@FStarLangF*
面向证明的程序语言
★ 3,103+0近 7 天星标变化
#2
karamel ↗@FStarLangOCaml
KaRaMeL 是一款将底层 F* 程序转换为可读 C 代码的工具
★ 518+0近 7 天星标变化

← 返回所有者排行