Propietario · starkware-libs
starkware-libs
Repositorios de código abierto monitorizados de starkware-libs, ordenados por estrellas.
4 repositorios
- #1
Cairo es el primer lenguaje Turing-completo para crear programas verificables para computación general.
★ 1904+2Variación de estrellas de los últimos 7 días - #2★ 1369+0Variación de estrellas de los últimos 7 días
- #3
cairo-vm es una implementación en Rust de la máquina virtual Cairo. Cairo (CPU Algebraic Intermediate Representation) es un lenguaje de programación para escribir programas demostrables, donde una parte puede probar a otra que un cálculo específico se ejecutó correctamente sin necesidad de que esta parte vuelva a ejecutar el mismo programa.
★ 586+1Variación de estrellas de los últimos 7 días - #4★ 502+1Variación de estrellas de los últimos 7 días
