aleohq Goto Github PK

aleo-education

Aleo Education

aleo-instructions-syntax-sublime

Aleo instructions syntax highlighting for Sublime editor

aleo-instructions-syntax-vscode

Aleo instructions syntax

aleo-js

aleo-rust

aleo-setup

A Setup Ceremony for Universal SNARKs

aleo-setup-integration-test

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

aleo-snap-chainsafe

aleo-std

ant-design

🌈 A UI Design Language and React UI library

arcs

Aleo Request for Comments (ARCs)

bounty-2022-ethdenver

The Aleo bounty descriptions for the EthDenver 2022 hackathon.

community

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

dizk

Java library for distributed zero knowledge proof systems

grammars

Grammar specifications for languages and formats in the Aleo ecosystem.

highlight.js

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

leo

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

leo-acl2-bin

leo-plugins

A repository to file bugs and feature requests for Leo plugins

leo-syntax-vscode

Leo syntax

linguist

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

linguist-grammars

lsp4intellij

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

marlin

A Rust library for the Marlin preprocessing zkSNARK

nemean

neptune

Rust Poseidon implementation.

package_control_channel

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

poly-commit

A Rust library for polynomial commitments

pontoon

Mozilla's Localization Platform

python-sdk