Provable

Your Money, Your Rules ™

United States of America

Pinned Repositories

aleo-rust
Language:Rust32 5 140
ARCs
Aleo Request for Comments (ARCs)
Language:JavaScript223 22 0260
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Language:Rust4.8k 37 20.8k685
leo-docs-source
📄 Documentation for Leo 🦁
Language:Mermaid331 21 102223
python-sdk
Language:Python44 5 251
sdk
Javascript & Typescript SDK for Zero-Knowledge Application Development
Language:Rust601 54 160473
snarkOS
A Decentralized Operating System for ZK Applications
Language:Rust4.5k 115 7842.7k
snarkOS-fork
A Decentralized Operating System for ZK Applications
Language:Rust24 3 026
snarkVM
A zkVM for Decentralized Private Computations (DPC)
Language:Rust1.1k 50 3021.5k
workshop
📜 A Starter Guide to Build ZK Applications 📜
Language:Shell337 12 27269

Provable's Repositories

ProvableHQ/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Language:Rust4.8k 37 20.8k685
ProvableHQ/snarkOS
A Decentralized Operating System for ZK Applications
Language:Rust4.5k 115 7842.7k
ProvableHQ/snarkVM
A zkVM for Decentralized Private Computations (DPC)
Language:Rust1.1k 50 3021.5k
ProvableHQ/sdk
Javascript & Typescript SDK for Zero-Knowledge Application Development
Language:Rust601 54 160473
ProvableHQ/workshop
📜 A Starter Guide to Build ZK Applications 📜
Language:Shell337 12 27269
ProvableHQ/leo-docs-source
📄 Documentation for Leo 🦁
Language:Mermaid331 21 102223
ProvableHQ/ARCs
Aleo Request for Comments (ARCs)
Language:JavaScript223 22 0260
ProvableHQ/python-sdk
Language:Python44 5 251
ProvableHQ/aleo-rust
Language:Rust32 5 140
ProvableHQ/snarkOS-fork
A Decentralized Operating System for ZK Applications
Language:Rust24 3 026
ProvableHQ/aleo-js
Language:TypeScript20 12 1022
ProvableHQ/aleo-std
Language:Rust18 9 136
ProvableHQ/grammars
Grammar specifications for languages and formats in the Aleo ecosystem.
17 8 1128
ProvableHQ/snarkVM-fork
A Virtual Machine for Zero-Knowledge Executions
Language:Rust12 1 010
ProvableHQ/service
Language:Rust10 4 019
ProvableHQ/aleo-instructions-syntax-vscode
Aleo instructions syntax
7 4 013
ProvableHQ/leo-examples
Language:Shell4 3 05
ProvableHQ/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
Language:Ruby3 1 070
ProvableHQ/linguist-grammars
3 3 07
ProvableHQ/lsp4intellij
This language client library provides language server protocol support for IntelliJ IDEA and other Jetbrains IDEs.
Language:Java3 1 218
ProvableHQ/varuna-sage-impl
A SageMath implementation of the Varuna zkSNARK.
Language:Sage3 3 31
ProvableHQ/aleo-snap-chainsafe
Language:JavaScript2 4 06
ProvableHQ/collector
Leo Async Programming Example
2 2 0
ProvableHQ/leo-syntax-vscode
Leo syntax
Language:TypeScript2 3 08
ProvableHQ/snarkOS-indexer
A Decentralized Operating System for ZK Applications
2
ProvableHQ/aleo-linguist
Language:TypeScript1 2 0
ProvableHQ/HTTPClient
Rust HTTP API for Aleo Blockchain Nodes
Language:Rust1 2 1
ProvableHQ/leo-contributors
List of contributors to Leo.
10
ProvableHQ/leo-linguist
Language:TypeScript1 2 01
ProvableHQ/provablehq.github.io
Language:HTML12