Members
-
ARCs ★ PINNED
Aleo Request for Comments (ARCs)
JavaScript ★ 233 13d agoExplain → -
leo ★ PINNED
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Rust ★ 4.8k 1d agoExplain → -
snarkOS ★ PINNED
A Decentralized Operating System for ZK Applications
Rust ★ 4.5k 7h agoExplain → -
snarkVM ★ PINNED
A zkVM for Decentralized Private Computations (DPC)
Rust ★ 1.2k 7h agoExplain → -
workshop ★ PINNED
📜 A Starter Guide to Build ZK Applications 📜
Shell ★ 342 1y agoExplain → -
sdk ★ PINNED
Javascript & Typescript SDK for Zero-Knowledge Application Development
TypeScript ★ 633 3d agoExplain → -
leo-docs-source ▣
📄 Documentation for Leo 🦁
Mermaid ★ 328 2mo agoExplain → -
aleo-wallet-adapter
Modular TypeScript wallet adapters and components for Aleo applications.
TypeScript ★ 93 3mo agoExplain → -
python-sdk
No description.
Python ★ 44 11mo agoExplain → -
aleo-rust ▣
No description.
Rust ★ 34 2y agoExplain → -
pondo-programs
No description.
TypeScript ★ 26 4mo agoExplain → -
aleo-js
No description.
TypeScript ★ 22 2y agoExplain → -
aleo-std
No description.
Rust ★ 20 7mo agoExplain → -
grammars
Grammar specifications for languages and formats in the Aleo ecosystem.
★ 19 10mo agoExplain → -
leo-wallet-demo
No description.
TypeScript ★ 17 4mo agoExplain → -
service
No description.
Rust ★ 13 9mo agoExplain → -
aleo-setup-integration-test
Integration testing for aleo-setup and aleo-setup-coordinator
Rust ★ 12 4y agoExplain → -
leo-examples
No description.
Leo ★ 9 4d agoExplain → -
community
A place for everyone to collaborate and communicate: Agendas and meeting notes.
★ 9 4y agoExplain → -
aleo-instructions-syntax-vscode
Aleo instructions syntax
★ 9 3y agoExplain → -
aleo-hd-key
No description.
TypeScript ★ 8 3mo agoExplain → -
nemean
No description.
Go ★ 8 2mo agoExplain → -
leo-mobile
No description.
TypeScript ★ 6 2mo agoExplain → -
varuna-sage-impl
A SageMath implementation of the Varuna zkSNARK.
Sage ★ 6 8mo agoExplain → -
zexe ⑂
Rust library for decentralized private computation
★ 6 6y agoExplain → -
bounty-2022-ethdenver
The Aleo bounty descriptions for the EthDenver 2022 hackathon.
TypeScript ★ 5 4y agoExplain → -
aleo-instructions-syntax-sublime
Aleo instructions syntax highlighting for Sublime editor
★ 5 3y agoExplain → -
linguist-grammars
No description.
★ 5 2y agoExplain → -
aleo-dev-toolkit
The Aleo developer toolkit (wallet adaptor, hooks packages)
TypeScript ★ 4 3d agoExplain → -
compliant-stablecoin
No description.
Leo ★ 4 15d agoExplain → -
aleo-forked-demox ⑂
A Software Development Kit (SDK) for Zero-Knowledge Transactions
Rust ★ 4 10d agoExplain → -
leo-acl2-bin
No description.
★ 4 4y agoExplain → -
leo-syntax-vscode ▣
Leo syntax
TypeScript ★ 4 2y agoExplain → -
aleo-snap-chainsafe
No description.
JavaScript ★ 4 2y agoExplain → -
collector
Leo Async Programming Example
★ 4 2y agoExplain → -
provablehq.github.io
No description.
★ 3 5mo agoExplain → -
leo-plugins
A repository to file bugs and feature requests for Leo plugins
★ 3 5y agoExplain → -
aleo-linguist
No description.
TypeScript ★ 3 2mo agoExplain → -
HTTPClient
Rust HTTP API for Aleo Blockchain Nodes
Rust ★ 3 1y agoExplain → -
leo-linguist
No description.
TypeScript ★ 3 2mo agoExplain → -
lsp4intellij ⑂
This language client library provides language server protocol support for IntelliJ IDEA and other Jetbrains IDEs.
Java ★ 3 1y agoExplain → -
linguist ⑂
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
Ruby ★ 3 1y agoExplain → -
dizk ⑂
Java library for distributed zero knowledge proof systems
★ 3 6y agoExplain → -
marlin ⑂
A Rust library for the Marlin preprocessing zkSNARK
Rust ★ 3 5y agoExplain → -
leo.nix
A Nix flake for the Leo language.
Nix ★ 2 1d agoExplain → -
package_control_channel ⑂
Default channel file for Package Control. Follow the directions at:
Python ★ 2 3y agoExplain → -
rock-paper-scissors-example
No description.
JavaScript ★ 2 1y agoExplain → -
zk-auction-example
No description.
JavaScript ★ 2 4mo agoExplain → -
snarkOS-indexer ⑂
A Decentralized Operating System for ZK Applications
★ 2 1y agoExplain → -
neptune ⑂
Rust Poseidon implementation.
★ 2 6y agoExplain → -
poly-commit ⑂
A Rust library for polynomial commitments
Rust ★ 2 6y agoExplain → -
web-view ⑂
Rust bindings for webview, a tiny cross-platform library to render web-based GUIs for desktop applications
★ 2 6y agoExplain → -
zxcvbn-rs ⑂
Port of Dropbox's zxcvbn password strength library for Rust
★ 2 5y agoExplain → -
ant-design ⑂
🌈 A UI Design Language and React UI library
TypeScript ★ 2 5y agoExplain → -
yew_webview_bridge ⑂
2-way communication between yew and web-view
★ 2 5y agoExplain → -
highlight.js ⑂
JavaScript syntax highlighter with language auto-detection and zero dependencies.
★ 2 5y agoExplain → -
sublimelsp-repository ⑂
Package repository for Package Control
Python ★ 2 3y agoExplain → -
leo-lsp-clients
IDE integrations and language server clients for the Leo programming language.
JavaScript ★ 1 8d agoExplain → -
aleo-devnode
A standalone Aleo development node for local development and testing
Rust ★ 1 25d agoExplain → -
aleo-standard-programs-pondo
No description.
TypeScript ★ 1 4mo agoExplain → -
aleo-key-gen
No description.
Rust ★ 1 2mo agoExplain → -
pontoon ⑂
Mozilla's Localization Platform
★ 1 5y agoExplain → -
rust-rocksdb ⑂
rust wrapper for rocksdb
★ 1 4y agoExplain → -
dynamic-dispatch-example
An example on how to use dynamic dispatch from Leo and the SDK.
TypeScript ★ 0 15d agoExplain → -
hyperlane-aleo ⑂
No description.
★ 0 6mo agoExplain → -
snarkOS-forked-demox ⑂
A Decentralized Operating System for Zero-Knowledge Applications
Rust ★ 0 1y agoExplain → -
snarkVM-forked-demox ⑂
A Virtual Machine for Zero-Knowledge Executions
Rust ★ 0 10d agoExplain → -
aleo-record-scanner-demox
An RPC (remote procedure call) for scanning Aleo records
TypeScript ★ 0 2y agoExplain → -
afl_program_tools
Fuzzing tools for the AleoVM
Rust ★ 0 9mo agoExplain → -
upgrade_records
A tool to upgrade Aleo credits records
Python ★ 0 11mo agoExplain →
No repos match these filters.