repos
19
ecosystems
8
languages
2
commits
780
─── top repos · by commits
─── repositories
19 totalSTARK-based virtual machine
STARK-based virtual machine - For Lambdaworks Prover
Cryptographic primitives used in Polygon Miden rollup
STARK-based virtual machine
STARK-based virtual machine
A STARK prover and verifier for arbitrary computations
A STARK prover and verifier for arbitrary computations
A STARK prover and verifier for arbitrary computations
A STARK prover and verifier for arbitrary computations
A STARK prover and verifier for arbitrary computations
Cryptographic primitives used in Polygon Miden rollup
A domain-specific language for writing AIR constraints for STARKs
A STARK prover and verifier for arbitrary computations
STARK-based virtual machine
A game for trading magic cards magically.
Core components of the Miden protocol
Core components of the Polygon Miden rollup
Core components of the Miden protocol
Core components of the Polygon Miden rollup
─── peer developers
─── ecosystems
─── languages
- Rust10
- C++1
─── subscriber view
Unlock the full view of Al-Kindi-0
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.