Catalogue tag

#stark

Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.

6 records

Tagged “stark”Ranked by health index

crates.io · npm

82Goodhealth index

0xMiden/miden-vm

STARK-based virtual machine

Rust★ 757↓ 156.6K/moJul 13, 2026

Apache-2.0Jul 13, 2026 · metrics 1.13.0

crates.io · npm

80Goodhealth index

0xPolygonMiden/miden-vm

STARK-based virtual machine

Rust★ 757Jul 17, 2026

Apache-2.0Jul 17, 2026 · metrics 1.13.0

crates.io · npm

76Goodhealth index

risc0/risc0

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

C++ · Rust · Cuda★ 2,166↓ 108.4K/moJul 17, 2026

Apache-2.0Jul 17, 2026 · metrics 1.13.0

crates.io

68Moderatehealth index

ProjectZKM/Ziren

Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.

Rust★ 116Jul 21, 2026

Apache-2.0Jul 21, 2026 · metrics 1.13.0

crates.io

68Moderatehealth index

zkMIPS/zkMIPS

Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.

Rust★ 116Jul 15, 2026

Apache-2.0Jul 15, 2026 · metrics 1.13.0

crates.io

67Moderatehealth index

starkware-libs/stwo-cairo

Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.

Rust · Cairo★ 281Jul 19, 2026

No licenseJul 19, 2026 · metrics 1.13.0