Skip to content
@Pi-Squared-Inc

Pi2 Labs

Pi² Labs builds Fast, the fastest and most affordable payment system for AI agents. 150K+ TPS. Sub-100ms finality. No blockchain.

Popular repositories Loading

  1. proof-checker-public proof-checker-public Public archive

    C++ 26 10

  2. evm-semantics evm-semantics Public

    Forked from runtimeverification/evm-semantics

    K Semantics of the Ethereum Virtual Machine (EVM)

    Python 7 6

  3. wasm-semantics wasm-semantics Public archive

    Forked from runtimeverification/wasm-semantics

    A Prototype Formal Semantics of WebAssembly in K

    WebAssembly 7 5

  4. rust-demo-semantics rust-demo-semantics Public archive

    Demonstration Rust Semantics in K

    Rust 6 2

  5. zk-benchmark zk-benchmark Public

    Cairo 6 10

  6. vsl-sdk vsl-sdk Public

    Rust SDK library for the Verifiable Settlement Layer (VSL) network - Pi Squared's infrastructure for scalable, affordable, and customizable verifiability across Web3 protocols.

    Rust 4 1

Repositories

Showing 10 of 21 repositories
  • evm-semantics Public Forked from runtimeverification/evm-semantics

    K Semantics of the Ethereum Virtual Machine (EVM)

    Pi-Squared-Inc/evm-semantics’s past year of commit activity
    Python 7 BSD-3-Clause 163 0 5 Updated Feb 25, 2026
  • .github Public
    Pi-Squared-Inc/.github’s past year of commit activity
    0 0 0 0 Updated Feb 24, 2026
  • reth-pi2 Public
    Pi-Squared-Inc/reth-pi2’s past year of commit activity
    Rust 2 Apache-2.0 0 0 1 Updated Feb 22, 2026
  • fastset-rpc-docs Public
    Pi-Squared-Inc/fastset-rpc-docs’s past year of commit activity
    Rust 1 0 2 0 Updated Feb 17, 2026
  • fastset-h402-demo Public

    This will be used as the repository for the demo with h402 and fastset

    Pi-Squared-Inc/fastset-h402-demo’s past year of commit activity
    TypeScript 1 0 0 0 Updated Nov 27, 2025
  • fastset-x402-demo Public

    This will be used as the repository for the demo with x402 and fastset

    Pi-Squared-Inc/fastset-x402-demo’s past year of commit activity
    TypeScript 4 Apache-2.0 0 0 0 Updated Nov 27, 2025
  • vsl-wallet Public

    A MetaMask snap and companion app for interacting with VSL through a web wallet

    Pi-Squared-Inc/vsl-wallet’s past year of commit activity
    TypeScript 1 BSD-3-Clause 1 0 0 Updated Jul 18, 2025
  • vsl-sdk Public

    Rust SDK library for the Verifiable Settlement Layer (VSL) network - Pi Squared's infrastructure for scalable, affordable, and customizable verifiability across Web3 protocols.

    Pi-Squared-Inc/vsl-sdk’s past year of commit activity
    Rust 4 1 0 1 Updated Jul 3, 2025
  • vsl-cli Public

    A command-line interface for interacting with the Verifiable Settlement Layer (VSL) network - Pi Squared's infrastructure for scalable, affordable, and customizable verifiability across Web3 protocols.

    Pi-Squared-Inc/vsl-cli’s past year of commit activity
    Rust 3 1 0 0 Updated Jul 3, 2025
  • vsl-ai-app-examples Public
    Pi-Squared-Inc/vsl-ai-app-examples’s past year of commit activity
    Go 0 BSD-3-Clause 0 0 0 Updated Jun 27, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…