FStarLang/karamel
@FStarLangKaRaMeL adalah alat untuk mengekstrak program F* tingkat rendah ke dalam kode C yang mudah dibaca
Bintang
518
Fork
73
Bahasa
OCaml
Lisensi
Apache-2.0
Push terakhir
2 minggu yang lalu
Intel terkait (0)
Belum ada intel terkait
Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.