crates.io · npm
0xMiden/miden-vm
STARK-based virtual machine
Apache-2.0Sep 9, 2026 · metrics 2.10.0
All tags
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.
11 records
crates.io · npm
risc0/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Apache-2.0Sep 10, 2026 · metrics 2.10.0
crates.io · PyPI
starkware-libs/cairo-vm
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Apache-2.0Oct 2, 2026 · metrics 2.10.0
crates.io
starkware-libs/stwo-cairo
Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
No licenseSep 11, 2026 · metrics 2.10.0
crates.io
ProjectZKM/Ziren
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Apache-2.0Sep 12, 2026 · metrics 2.10.0
npm
starkbank/sdk-node
SDK to facilitate Node JS integrations with the Stark Bank API
MITSep 14, 2026 · metrics 2.10.0
crates.io
TritonVM/triton-vm
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
Apache-2.0Sep 13, 2026 · metrics 2.10.0
npm
paulmillr/scure-starknet
Audited & minimal JS implementation of Starknet cryptography.
MITOct 3, 2026 · metrics 2.10.0
npm
starkinfra/sdk-node
SDK to facilitate Node integrations with the Stark Infra API
MITOct 21, 2026 · metrics 2.10.0
crates.io
0xMiden/air-script
A domain-specific language for writing AIR constraints for STARKs
MITSep 13, 2026 · metrics 2.10.0
npm
starkinfra/core-node
Core functionalities for the StarkInfra and StarkBank JS SDKs
MITSep 14, 2026 · metrics 2.10.0