Proprietário · starkware-libs
starkware-libs
Repositórios de código aberto acompanhados de starkware-libs, ordenados por estrelas.
4 repositórios
- #1
Cairo é a primeira linguagem Turing-complete para criar programas comprováveis para computação geral.
★ 1.904+2Variação de estrelas nos últimos 7 dias - #2★ 1.369+0Variação de estrelas nos últimos 7 dias
- #3
cairo-vm é uma implementação em Rust da Cairo VM. Cairo (CPU Algebraic Intermediate Representation) é uma linguagem de programação para escrever programas prováveis, onde uma parte pode provar a outra que um determinado cálculo foi executado corretamente sem a necessidade de essa parte reexecutar o mesmo programa.
★ 586+1Variação de estrelas nos últimos 7 dias - #4★ 502+1Variação de estrelas nos últimos 7 dias
