擁有者 · FStarLang

FStarLang

FStarLang 收錄中的開源專案，依星數排序。

共 2 個專案

#1
FStar ↗@FStarLangF*
面向證明的程式語言
★ 3,103+0近 7 天星數變化
#2
karamel ↗@FStarLangOCaml
KaRaMeL 是一款將底層 F* 程式轉換為可讀 C 程式碼的工具
★ 518+0近 7 天星數變化

← 返回擁有者排行