• Stars
    star
    1
  • Language
    Rust
  • Created over 3 years ago
  • Updated over 3 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Wrapper around bus to provide mp functionality.

More Repositories

1

leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Rust
4,789
star
2

sdk

A Software Development Kit (SDK) for Zero-Knowledge Transactions
JavaScript
589
star
3

workshop

📜 A Starter Guide to Build ZK Applications 📜
Shell
329
star
4

welcome

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

aleo-education

Aleo Education
197
star
6

ARCs

Aleo Request for Comments (ARCs)
JavaScript
193
star
7

python-sdk

Python
40
star
8

aleo-rust

Rust
32
star
9

aleo-js

TypeScript
20
star
10

aleo-std

Rust
16
star
11

grammars

Grammar specifications for languages and formats in the Aleo ecosystem.
16
star
12

aleo-setup-integration-test

Integration testing for aleo-setup and aleo-setup-coordinator
Rust
10
star
13

aleo_lambda_blockchain

MVP for an aleo blockchain
Rust
8
star
14

community

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

aleo-instructions-syntax-vscode

Aleo instructions syntax
7
star
16

service

Rust
7
star
17

aleo_vm_lambda

Proof of concept for a ZK snark-based VM running Aleo Instructions.
Rust
6
star
18

nemean

Go
5
star
19

aleo-instructions-syntax-sublime

Aleo instructions syntax highlighting for Sublime editor
3
star
20

bounty-2022-ethdenver

The Aleo bounty descriptions for the EthDenver 2022 hackathon.
TypeScript
3
star
21

linguist-grammars

3
star
22

leo-syntax-vscode

Leo syntax
TypeScript
2
star
23

aleo-snap-chainsafe

JavaScript
2
star
24

leo-acl2-bin

2
star
25

collector

Leo Async Programming Example
1
star
26

leo-plugins

A repository to file bugs and feature requests for Leo plugins
1
star