Eigentümer · starkware-libs

starkware-libs

Erfasste Open-Source-Repos von starkware-libs, sortiert nach Sternen.

4 Repos

#1
cairo ↗@starkware-libsRust
Cairo ist die erste Turing-vollständige Sprache zum Erstellen bewägbarer Programme für die allgemeine Datenverarbeitung.
★ 1.904+2Sterne-Änderung der letzten 7 Tage
#2
cairo-lang ↗@starkware-libsPython
★ 1.369+0Sterne-Änderung der letzten 7 Tage
#3
cairo-vm ↗@starkware-libsRust
cairo-vm ist eine Rust-Implementierung der Cairo VM. Cairo (CPU Algebraic Intermediate Representation) ist eine Programmiersprache zum Schreiben beweisbarer Programme, bei denen eine Partei der anderen nachweisen kann, dass eine Berechnung korrekt ausgeführt wurde, ohne dass diese das Programm erneut ausführen muss.
★ 586+1Sterne-Änderung der letzten 7 Tage
#4
stwo ↗@starkware-libsRust
StarkWare's next gen prover
★ 502+1Sterne-Änderung der letzten 7 Tage