Provable

All

43 repositories

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
•655•4.8k•638•14•Updated Sep 30, 2024Sep 30, 2024
snarkOS
Public
A Decentralized Operating System for ZK Applications
Rust
•
Apache License 2.0
•2.6k•17•0•2•Updated Sep 28, 2024Sep 28, 2024
sdk
Public
A Software Development Kit (SDK) for Zero-Knowledge Transactions
sdk blockchain zero-knowledge zksnarks aleo
JavaScript
•
GNU General Public License v3.0
•469•587•56•30•Updated Sep 27, 2024Sep 27, 2024
snarkVM
Public
A Virtual Machine for Zero-Knowledge Executions
Rust
•
Apache License 2.0
•1.5k•6•0•9•Updated Sep 26, 2024Sep 26, 2024
HTTPClient
Public
Rust HTTP API for Aleo Blockchain Nodes
Rust
•0•0•1•0•Updated Sep 24, 2024Sep 24, 2024
welcome
Public
👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀
blockchain leo zero-knowledge zksnarks aleo
GNU General Public License v3.0
•216•319•19•34•Updated Sep 13, 2024Sep 13, 2024
service
Public
Rust
•
GNU General Public License v3.0
•17•7•0•2•Updated Sep 4, 2024Sep 4, 2024
grammars
Public
Grammar specifications for languages and formats in the Aleo ecosystem.
27•16•8•0•Updated Aug 21, 2024Aug 21, 2024
workshop
Public
📜 A Starter Guide to Build ZK Applications 📜
tutorial workshop zero-knowledge zksnarks aleo
Shell
•265•329•17•11•Updated Aug 14, 2024Aug 14, 2024
linguist
Public
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
Ruby
•
MIT License
•4.2k•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
•105•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
•48•40•2•8•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
•42•32•1•13•Updated Mar 12, 2024Mar 12, 2024
aleo-std
Public
Rust
•
GNU General Public License v3.0
•36•16•0•0•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
•27•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
package_control_channel
Public
Default channel file for Package Control. Follow the directions at:
Python
•3.6k•2•0•0•Updated Aug 19, 2022Aug 19, 2022
aleo-setup-integration-test
Public
Integration testing for aleo-setup and aleo-setup-coordinator
Rust
•18•10•3•3•Updated Jun 17, 2022Jun 17, 2022
nemean
Public
Go
•
GNU General Public License v3.0
•9•5•0•2•Updated Jun 6, 2022Jun 6, 2022
leo-acl2-bin
Public
Other
•9•2•0•0•Updated May 23, 2022May 23, 2022
bounty-2022-ethdenver
Public
The Aleo bounty descriptions for the EthDenver 2022 hackathon.
TypeScript
•9•3•0•0•Updated Feb 14, 2022Feb 14, 2022
community
Public
A place for everyone to collaborate and communicate: Agendas and meeting notes.
15•7•0•3•Updated Jan 11, 2022Jan 11, 2022