← Back to Discover
ProvableHQ

ProvableHQ/snarkOS

RustApache-2.0active
94Health

A Decentralized Operating System for ZK Applications

Stars4.5k
Forks2.7k
Open Issues135
Contributors2.7k
Last Push0d ago

Health Breakdown

Activity
25
Community
25
Maintenance
19
Popularity
25
#aleo#blockchain#cryptography#rust#zero-knowledge#zksnarks
View on GitHub ↗Issues (135) ↗Pull Requests ↗

Should you contribute to ProvableHQ/snarkOS?

ProvableHQ/snarkOS has a FoundDev health score of 94/100, which puts it in the active-and-maintained tier. The maintainer team is shipping recently, issues are being closed, and a PR you open this week has a realistic chance of being reviewed.

Last push was 0 days ago — that signals an actively maintained project. New issues are likely to get a maintainer response within days. The project is written primarily in Rust, so prior Rust experience will shorten ramp-up.

Licensed under Apache-2.0, a standard OSI-approved license — safe to contribute to under normal employer IP policies.

Community

ProvableHQ
ProvableHQ/snarkOS
RustApache 2.0
94

A Decentralized Operating System for ZK Applications

active
4.5k2.7k contributors135 issues
0d ago

More Rust repos

MystenLabs
MystenLabs/sui
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
7.7k97
dfinity
dfinity/examples
Example applications, microservices, and code samples for the Internet Computer
61195
web3infra-foundation
web3infra-foundation/libra
Libra is evolving into an AI agent–native version control tools
7192