Skip to content
@ProvableHQ

Provable

Your Money, Your Rules ™

Pinned Loading

  1. workshop workshop Public

    📜 A Starter Guide to Build ZK Applications 📜

    Shell 339 266

  2. sdk sdk Public

    Javascript & Typescript SDK for Zero-Knowledge Application Development

    TypeScript 634 484

Repositories

Showing 10 of 66 repositories
  • ProvableHQ/address-monitoring's past year of commit activity
    Python 0 0 0 0 Updated Oct 31, 2026
  • veil Public

    A Typescript interface for Aleo

    ProvableHQ/veil's past year of commit activity
    TypeScript 0 MIT 1 6 3 Updated Oct 30, 2026
  • python-sdk Public
    ProvableHQ/python-sdk's past year of commit activity
    Python 45 GPL-3.0 51 4 8 Updated Oct 30, 2026
  • leo.nix Public

    A Nix flake for the Leo language.

    ProvableHQ/leo.nix's past year of commit activity
    Nix 2 0 2 0 Updated Oct 29, 2026
  • leo-lsp-clients Public

    IDE integrations and language server clients for the Leo programming language.

    ProvableHQ/leo-lsp-clients's past year of commit activity
    JavaScript 1 GPL-3.0 0 2 8 Updated Oct 28, 2026
  • aleo-dev-toolkit Public

    The Aleo developer toolkit (wallet adaptor, hooks packages)

    ProvableHQ/aleo-dev-toolkit's past year of commit activity
    TypeScript 4 GPL-3.0 2 1 5 Updated Oct 27, 2026
  • sdk Public

    Javascript & Typescript SDK for Zero-Knowledge Application Development

    ProvableHQ/sdk's past year of commit activity
    TypeScript 634 GPL-3.0 484 30 12 Updated Oct 27, 2026
  • shield-swap-agent-kit Public

    Tools for Agentic Trading on Shield Swap

    ProvableHQ/shield-swap-agent-kit's past year of commit activity
    TypeScript 1 0 0 2 Updated Oct 25, 2026
  • aleo-devnode Public

    A standalone Aleo development node for local development and testing

    ProvableHQ/aleo-devnode's past year of commit activity
    Rust 1 2 3 0 Updated Oct 15, 2026
  • service Public
    ProvableHQ/service's past year of commit activity
    Rust 13 GPL-3.0 21 0 1 Updated Oct 14, 2026