ProvableHQ/grammars ProvableHQ/grammars

  • Stars
    star
    16
  • Rank 1,311,288 (Top 26 %)
  • Language
  • Created about 2 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ProvableHQ/grammars
github

ProvableHQ

Reviews

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

Repository Details

Grammar specifications for languages and formats in the Aleo ecosystem.

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

aleo-setup-integration-test

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

aleo_lambda_blockchain

MVP for an aleo blockchain
Rust
8
star
13

community

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

aleo-instructions-syntax-vscode

Aleo instructions syntax
7
star
15

service

Rust
7
star
16

aleo_vm_lambda

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

nemean

Go
5
star
18

aleo-instructions-syntax-sublime

Aleo instructions syntax highlighting for Sublime editor
3
star
19

bounty-2022-ethdenver

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

linguist-grammars

3
star
21

leo-syntax-vscode

Leo syntax
TypeScript
2
star
22

aleo-snap-chainsafe

JavaScript
2
star
23

leo-acl2-bin

2
star
24

mpmc-bus

Wrapper around bus to provide mp functionality.
Rust
1
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