FStarLang/karamel
@FStarLangKaRaMeL は、低レベルの F* プログラムを読みやすい C コードに変換するツールです
スター
518
フォーク
73
言語
OCaml
ライセンス
Apache-2.0
最終プッシュ
2 週間前
関連 Intel（0）
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。
KaRaMeL は、低レベルの F* プログラムを読みやすい C コードに変換するツールです
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。