Propriétaire · starkware-libs
starkware-libs
Dépôts open source suivis de starkware-libs, triés par étoiles.
4 dépôts
- #1
Cairo est le premier langage Turing-complet permettant de créer des programmes prouvables pour le calcul général.
★ 1 904+2Évolution des étoiles sur les 7 derniers jours - #2★ 1 369+0Évolution des étoiles sur les 7 derniers jours
- #3
cairo-vm est une implémentation en Rust de la machine virtuelle Cairo. Cairo (CPU Algebraic Intermediate Representation) est un langage de programmation permettant d'écrire des programmes prouvables, où une partie peut prouver à une autre qu'un certain calcul a été exécuté correctement sans avoir besoin de réexécuter le même programme.
★ 586+1Évolution des étoiles sur les 7 derniers jours - #4★ 502+1Évolution des étoiles sur les 7 derniers jours
