Contributor

mars-risc0

@mars-risc0

GitHub

repos

ecosystems

languages

commits

111

Top repos · by commits

Repositories

6 total

risc0/zirgen

Zirgen compiler and RISC Zero circuits

126 stars

33 commits

C++RISC Zero

formal-land/zirgen

Zirgen compiler and RISC Zero circuits

0 stars

32 commits

Tezos

Veridise/zirgen

Zirgen compiler and RISC Zero circuits

0 stars

32 commits

C++NEAR

risc0/risc0

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

2,151 stars

6 commits

C++RISC Zero

Roasbeef/risc0

Private fork of risc0 with Go/TinyGo guest notes

0 stars

6 commits

C++Ethereum

yetanotherco/risc0

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

0 stars

2 commits

Ethereum

Peer developers

Ecosystems

RISC Zero (2)Ethereum (2)Tezos (1)NEAR (1)

Languages

C++4

Subscriber view

Unlock the full view of mars-risc0

Full repository, commit, and contributor breakdown
Peer graph and ecosystem links
Weekly trend deltas and pulse signal
API and CSV / JSON exports

Subscribe Sign in

Already a subscriber? Sign in with the same email used at checkout.