starkware-libs/cairo
@starkware-libsCairo adalah bahasa Turing-complete pertama untuk membuat program yang dapat dibuktikan untuk komputasi umum.
Bintang
1.904
Fork
774
Bahasa
Rust
Lisensi
Apache-2.0
Push terakhir
3 hari 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.