Explore @ProvableHQ Open Source projects

Aleo (@ProvableHQ)

ProvableHQ

Stars
6,665
Global Org. Rank 3,497 (Top 2 %)
Registered about 5 years ago
Most used languages

Rust
47.1 %

TypeScript
17.6 %

JavaScript
17.6 %

Python
5.9 %

Shell
5.9 %

Go
5.9 %

leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

sdk

A Software Development Kit (SDK) for Zero-Knowledge Transactions

workshop

📜 A Starter Guide to Build ZK Applications 📜

welcome

👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀

aleo-education

ARCs

Aleo Request for Comments (ARCs)

python-sdk

aleo-rust

aleo-js

aleo-std

grammars

Grammar specifications for languages and formats in the Aleo ecosystem.

aleo-setup-integration-test

Integration testing for aleo-setup and aleo-setup-coordinator

aleo_lambda_blockchain

MVP for an aleo blockchain

community

A place for everyone to collaborate and communicate: Agendas and meeting notes.

aleo-instructions-syntax-vscode

Aleo instructions syntax

service

aleo_vm_lambda

Proof of concept for a ZK snark-based VM running Aleo Instructions.

nemean

aleo-instructions-syntax-sublime

Aleo instructions syntax highlighting for Sublime editor

bounty-2022-ethdenver

The Aleo bounty descriptions for the EthDenver 2022 hackathon.

linguist-grammars

leo-syntax-vscode

aleo-snap-chainsafe

leo-acl2-bin

mpmc-bus

Wrapper around bus to provide mp functionality.

collector

Leo Async Programming Example

leo-plugins

A repository to file bugs and feature requests for Leo plugins