o1-labs/snarky
@o1-labsOCaml DSL untuk komputasi yang dapat verifikasi
Bintang
507
Fork
85
Bahasa
OCaml
Lisensi
MIT
Push terakhir
1 bulan 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.