← Back to Discover
ProvableHQ

ProvableHQ/snarkOS

RustApache-2.0active
94Health

A Decentralized Operating System for ZK Applications

Stars4.5k
Forks2.7k
Open Issues138
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 (138) ↗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 contributors138 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
foundry-rs
foundry-rs/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
10.6k90
codecoradev
codecoradev/uteke
🧠 The Brain for Your AI — Local-first memory engine for AI agents. Store, recall, and search memories with semantic embeddings. Single Rust binary, zero config, fully offline.
23589