言語 · F*

F*

F* を第一言語とする追跡中のオープンソースリポジトリを、スター数順に表示します。

2 件のリポジトリ

#1
FStar@FStarLangF*
証明指向プログラミング言語
★ 3,099-1直近 7 日のスター増減
#2
hacl-star@hacl-starF*
F*で記述された、形式手法で検証済みの暗号ライブラリ「HACL*」
★ 1,836+0直近 7 日のスター増減