Owner · ProvableHQ

ProvableHQ

ProvableHQ's tracked open-source repos, sorted by stars.

4 repos

#1
leo ↗@ProvableHQRust
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
★ 4,821+3Star change over the last 7 days
#2
snarkOS ↗@ProvableHQRust
A Decentralized Operating System for ZK Applications
★ 4,526-1Star change over the last 7 days
#3
snarkVM ↗@ProvableHQRust
A zkVM for Decentralized Private Computations (DPC)
★ 1,163+0Star change over the last 7 days
#4
sdk ↗@ProvableHQTypeScript
Javascript & Typescript SDK for Zero-Knowledge Application Development
★ 633+1Star change over the last 7 days