Pemilik · starkware-libs
starkware-libs
Repositori open source terpantau milik starkware-libs, diurutkan berdasarkan bintang.
4 repositori
- #1
Cairo adalah bahasa Turing-complete pertama untuk membuat program yang dapat dibuktikan untuk komputasi umum.
★ 1.904+2Perubahan bintang dalam 7 hari terakhir - #2★ 1.369+0Perubahan bintang dalam 7 hari terakhir
- #3
cairo-vm adalah implementasi Rust dari Cairo VM. Cairo (CPU Algebraic Intermediate Representation) adalah bahasa pemrograman untuk menulis program yang dapat dibuktikan, di mana satu pihak dapat membuktikan kepada pihak lain bahwa komputasi tertentu dieksekusi dengan benar tanpa perlu pihak tersebut mengeksekusi ulang program yang sama.
★ 586+1Perubahan bintang dalam 7 hari terakhir - #4★ 502+1Perubahan bintang dalam 7 hari terakhir
