FStarLang/karamel
@FStarLangKaRaMeL ist ein Tool zur Extraktion von Low-Level F*-Programmen in lesbaren C-Code.
Sterne
518
Forks
73
Sprache
OCaml
Lizenz
Apache-2.0
Letzter Push
vor 2 Wochen
Verwandte Intel (0)
Noch keine verwandte Intel
Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.