Provable

All

49 repositories

grammars
Public
Grammar specifications for languages and formats in the Aleo ecosystem.
27•16•8•1•Updated Jan 30, 2025Jan 30, 2025
leo
Public
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
leo zero-knowledge zksnarks programming-language compiler
Rust
•
GNU General Public License v3.0
•660•4.8k•669•12•Updated Jan 30, 2025Jan 30, 2025
sdk
Public
Javascript & Typescript SDK for Zero-Knowledge Application Development
nodejs javascript typescript sdk blockchain wasm zero-knowledge zksnarks aleo
HTML
•
GNU General Public License v3.0
•471•594•58•34•Updated Jan 30, 2025Jan 30, 2025
snarkOS
Public
A Decentralized Operating System for ZK Applications
cryptography zero-knowledge zksnarks aleo rust blockchain
Rust
•
Apache License 2.0
•2.6k•4.4k•79•38•Updated Jan 29, 2025Jan 29, 2025
snarkVM
Public
A zkVM for Decentralized Private Computations (DPC)
rust cryptography blockchain zero-knowledge zkp aleo
Rust
•
Apache License 2.0
•1.5k•1.1k•65•55•Updated Jan 29, 2025Jan 29, 2025
ARCs
Public
Aleo Request for Comments (ARCs)
rfcs aleo
JavaScript
•
Apache License 2.0
•255•220•0•24•Updated Jan 27, 2025Jan 27, 2025
leo-examples
Public
Shell
•2•2•0•1•Updated Jan 27, 2025Jan 27, 2025
snarkVM-fork
Public
A Virtual Machine for Zero-Knowledge Executions
Rust
•
Apache License 2.0
•1.5k•9•0•5•Updated Jan 27, 2025Jan 27, 2025
welcome
Public
👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀
blockchain leo zero-knowledge zksnarks aleo
GNU General Public License v3.0
•218•325•23•35•Updated Jan 20, 2025Jan 20, 2025
snarkOS-fork
Public
A Decentralized Operating System for ZK Applications
Rust
•
Apache License 2.0
•2.6k•22•0•0•Updated Jan 17, 2025Jan 17, 2025
workshop
Public
📜 A Starter Guide to Build ZK Applications 📜
tutorial workshop zero-knowledge zksnarks aleo
Shell
•265•333•17•11•Updated Dec 17, 2024Dec 17, 2024
service
Public
Rust
•
GNU General Public License v3.0
•19•8•0•0•Updated Dec 11, 2024Dec 11, 2024
varuna-sage-impl
Public
A SageMath implementation of the Varuna zkSNARK.
Sage
•1•2•1•0•Updated Nov 8, 2024Nov 8, 2024
HTTPClient
Public
Rust HTTP API for Aleo Blockchain Nodes
Rust
•0•0•1•0•Updated Oct 17, 2024Oct 17, 2024
snarkOS-indexer
Public
A Decentralized Operating System for ZK Applications
Rust
•
Apache License 2.0
•2.6k•1•0•0•Updated Oct 3, 2024Oct 3, 2024
linguist
Public
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
Ruby
•
MIT License
•4.4k•2•0•0•Updated Aug 5, 2024Aug 5, 2024
aleo-linguist
Public
TypeScript
•
Apache License 2.0
•0•0•0•0•Updated Jul 26, 2024Jul 26, 2024
leo-linguist
Public
TypeScript
•
Apache License 2.0
•1•0•0•0•Updated Jul 26, 2024Jul 26, 2024
lsp4intellij
Public
This language client library provides language server protocol support for IntelliJ IDEA and other Jetbrains IDEs.
Java
•
Apache License 2.0
•106•2•0•0•Updated Jul 21, 2024Jul 21, 2024
collector
Public
Leo Async Programming Example
0•1•0•0•Updated Jul 1, 2024Jul 1, 2024
python-sdk
Public
Python
•
GNU General Public License v3.0
•50•43•2•9•Updated Apr 19, 2024Apr 19, 2024
aleo-snap-chainsafe
Public
JavaScript
•6•2•0•11•Updated Apr 11, 2024Apr 11, 2024
aleo-rust
Public archive
Rust
•
GNU General Public License v3.0
•40•32•1•13•Updated Mar 12, 2024Mar 12, 2024
aleo-std
Public
Rust
•
GNU General Public License v3.0
•36•16•0•1•Updated Jan 20, 2024Jan 20, 2024
aleo-js
Public
TypeScript
•
MIT License
•22•20•5•2•Updated Jan 18, 2024Jan 18, 2024
linguist-grammars
Public
Apache License 2.0
•7•3•0•0•Updated Oct 4, 2023Oct 4, 2023
leo-syntax-vscode
Public archive
Leo syntax
TypeScript
•
GNU General Public License v3.0
•8•2•0•0•Updated Sep 27, 2023Sep 27, 2023
aleo-instructions-syntax-vscode
Public
Aleo instructions syntax
GNU General Public License v3.0
•13•7•0•1•Updated Dec 6, 2022Dec 6, 2022
sublimelsp-repository
Public
Package repository for Package Control
Python
•31•2•0•0•Updated Sep 19, 2022Sep 19, 2022
aleo-instructions-syntax-sublime
Public
Aleo instructions syntax highlighting for Sublime editor
GNU General Public License v3.0
•8•3•0•0•Updated Aug 19, 2022Aug 19, 2022