Todas las etiquetas
Etiqueta del catálogo

#stark

Todos los repositorios del registro público que llevan esta etiqueta, procedente de sus topics de GitHub o de las palabras clave que publican sus registros de paquetes. La salud se mide con la misma metodología versionada que el resto del registro.

6 registros
Con la etiqueta «stark»Ordenado por índice de salud
crates.io · npm
82Buenoíndice de salud
0xMiden/miden-vm
STARK-based virtual machine
Rust★ 757↓ 156.6K/mes13 jul 2026
Apache-2.013 jul 2026 · métricas 1.13.0
crates.io · npm
80Buenoíndice de salud
0xPolygonMiden/miden-vm
STARK-based virtual machine
Rust★ 75717 jul 2026
Apache-2.017 jul 2026 · métricas 1.13.0
crates.io · npm
76Buenoíndice de salud
risc0/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
C++ · Rust · Cuda★ 2166↓ 108.4K/mes17 jul 2026
Apache-2.017 jul 2026 · métricas 1.13.0
crates.io
68Moderadoíndice de salud
ProjectZKM/Ziren
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Rust★ 11621 jul 2026
Apache-2.021 jul 2026 · métricas 1.13.0
crates.io
68Moderadoíndice de salud
zkMIPS/zkMIPS
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Rust★ 11615 jul 2026
Apache-2.015 jul 2026 · métricas 1.13.0
crates.io
67Moderadoíndice de salud
starkware-libs/stwo-cairo
Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
Rust · Cairo★ 28119 jul 2026
Sin licencia19 jul 2026 · métricas 1.13.0