Provable

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 🚀

python-sdk

aleo-rust

aleo-js

aleo-std

grammars

Grammar specifications for languages and formats in the Aleo ecosystem.

snarkOS

A Decentralized Operating System for ZK Applications

aleo-setup-integration-test

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

aleo-instructions-syntax-vscode

Aleo instructions syntax

community

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

service

nemean

snarkVM

A Virtual Machine for Zero-Knowledge Executions

linguist-grammars

aleo-instructions-syntax-sublime

Aleo instructions syntax highlighting for Sublime editor

bounty-2022-ethdenver

The Aleo bounty descriptions for the EthDenver 2022 hackathon.

leo-syntax-vscode

Leo syntax

aleo-snap-chainsafe

highlight.js

JavaScript syntax highlighter with language auto-detection and zero dependencies.

leo-acl2-bin

linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

lsp4intellij

This language client library provides language server protocol support for IntelliJ IDEA and other Jetbrains IDEs.

package_control_channel

Default channel file for Package Control. Follow the directions at:

sublimelsp-repository

Package repository for Package Control

collector

Leo Async Programming Example

leo-plugins

A repository to file bugs and feature requests for Leo plugins

rust-rocksdb

rust wrapper for rocksdb