Skip to content

@ProvableHQ Provable

All

    Repositories list

    8 repositories

    • shield-swap-agent-kit

      Public
      Tools for Agentic Trading on Shield Swap
      JavaScript
      •0•0•0•1•Updated Oct 1, 2026Oct 1, 2026

    • ARCs

      Public
      Aleo Request for Comments (ARCs)
      rfcsaleo
      rfcsaleo
      JavaScript
      •
      Apache License 2.0
      •268•232•0•5•Updated Sep 17, 2026Sep 17, 2026

    • leo-lsp-clients

      Public
      IDE integrations and language server clients for the Leo programming language.
      JavaScript
      •
      GNU General Public License v3.0
      •0•1•2•8•Updated Oct 1, 2026Oct 1, 2026

    • aleo-linguist

      Public
      JavaScript
      •
      Apache License 2.0
      •1•3•0•1•Updated Aug 11, 2026Aug 11, 2026

    • zk-auction-example

      Public
      JavaScript
      •1•2•0•7•Updated Feb 11, 2026Feb 11, 2026

    • rock-paper-scissors-example

      Public
      JavaScript
      •1•2•0•0•Updated Apr 24, 2025Apr 24, 2025

    • aleo-snap-chainsafe

      Public
      JavaScript
      •6•4•0•11•Updated Apr 11, 2024Apr 11, 2024

    • highlight.js

      Public
      JavaScript syntax highlighter with language auto-detection and zero dependencies.
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •3.8k•2•0•0•Updated Jul 21, 2021Jul 21, 2021
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.