Skip to content

@ProvableHQ Provable

Change the repository type filter

All

    Repositories list

    46 repositories

    • leo

      Public
      🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
      leozero-knowledgezksnarksprogramming-languagecompiler
      Rust
      •
      GNU General Public License v3.0
      •659•4.8k•661•14•Updated Nov 15, 2024Nov 15, 2024

    • snarkVM

      Public
      A Virtual Machine for Zero-Knowledge Executions
      Rust
      •
      Apache License 2.0
      •1.5k•8•0•8•Updated Nov 14, 2024Nov 14, 2024

    • snarkOS

      Public
      A Decentralized Operating System for ZK Applications
      Rust
      •
      Apache License 2.0
      •2.6k•20•0•2•Updated Nov 14, 2024Nov 14, 2024

    • varuna-sage-impl

      Public
      A SageMath implementation of the Varuna zkSNARK.
      Sage
      •1•1•1•0•Updated Nov 8, 2024Nov 8, 2024

    • sdk

      Public
      A Software Development Kit (SDK) for Zero-Knowledge Transactions
      sdkblockchainzero-knowledgezksnarksaleo
      JavaScript
      •
      GNU General Public License v3.0
      •471•593•57•29•Updated Nov 5, 2024Nov 5, 2024

    • grammars

      Public
      Grammar specifications for languages and formats in the Aleo ecosystem.
      27•16•8•0•Updated Nov 1, 2024Nov 1, 2024

    • HTTPClient

      Public
      Rust HTTP API for Aleo Blockchain Nodes
      Rust
      •0•0•1•0•Updated Oct 17, 2024Oct 17, 2024

    • leo-examples

      Public
      Shell
      •1•1•0•0•Updated Oct 9, 2024Oct 9, 2024

    • snarkOS-indexer

      Public
      A Decentralized Operating System for ZK Applications
      Rust
      •
      Apache License 2.0
      •2.6k•0•0•0•Updated Oct 3, 2024Oct 3, 2024

    • service

      Public
      Rust
      •
      GNU General Public License v3.0
      •18•7•0•2•Updated Oct 1, 2024Oct 1, 2024

    • welcome

      Public
      👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀
      blockchainleozero-knowledgezksnarksaleo
      GNU General Public License v3.0
      •217•322•19•35•Updated Sep 13, 2024Sep 13, 2024

    • workshop

      Public
      📜 A Starter Guide to Build ZK Applications 📜
      tutorialworkshopzero-knowledgezksnarksaleo
      Shell
      •265•333•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.3k•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
      •104•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
      •49•41•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
      •40•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
      •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

    • 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
      •10•6•0•2•Updated Jun 6, 2022Jun 6, 2022