Skip to content

@Pi-Squared-Inc PI Squared

Change the repository type filter

All

    Repositories list

    18 repositories

    • evm-semantics

      Public
      K Semantics of the Ethereum Virtual Machine (EVM)
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •153•5•0•7•Updated Sep 4, 2025Sep 4, 2025

    • reth-pi2

      Public
      Rust
      •
      Apache License 2.0
      •0•1•0•4•Updated Aug 31, 2025Aug 31, 2025

    • fastset-rpc-docs

      Public
      TypeScript
      •0•0•1•0•Updated Aug 12, 2025Aug 12, 2025

    • vsl-wallet

      Public
      A MetaMask snap and companion app for interacting with VSL through a web wallet
      TypeScript
      •
      BSD 3-Clause "New" or "Revised" License
      •1•1•0•0•Updated Jul 18, 2025Jul 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.
      Rust
      •
      Other
      •1•4•0•1•Updated Jul 3, 2025Jul 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.
      Rust
      •
      Other
      •1•3•0•0•Updated Jul 3, 2025Jul 3, 2025

    • vsl-ai-app-examples

      Public
      Go
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jun 27, 2025Jun 27, 2025

    • vsl-bc-app-examples

      Public
      Rust
      •0•0•0•0•Updated Jun 27, 2025Jun 27, 2025

    • blockchain-k-plugin

      Public
      K plugin for KEVM
      C++
      •
      Other
      •12•0•0•0•Updated Jun 17, 2025Jun 17, 2025

    • solidity-demo-semantics

      Public
      Demonstration Solidity Semantics in K
      Solidity
      •2•2•0•1•Updated May 14, 2025May 14, 2025

    • wasm-semantics

      Public archive
      A Prototype Formal Semantics of WebAssembly in K
      WebAssembly
      •
      Other
      •24•8•5•0•Updated Apr 2, 2025Apr 2, 2025

    • pi2-gpt

      Public
      Repo for customised GPT bot
      Go
      •1•1•0•2•Updated Feb 14, 2025Feb 14, 2025

    • zk-benchmark

      Public
      Cairo
      •9•5•0•3•Updated Feb 3, 2025Feb 3, 2025

    • rust-demo-semantics

      Public archive
      Demonstration Rust Semantics in K
      Rust
      •2•6•19•4•Updated Nov 28, 2024Nov 28, 2024

    • devcon-2024

      Public
      Solidity
      •0•1•0•0•Updated Nov 12, 2024Nov 12, 2024

    • mx-semantics

      Public
      Python
      •3•2•0•0•Updated Aug 9, 2024Aug 9, 2024

    • oopsla-23-chen

      Public archive
      oopsla-23-chen: Fetch/run Xiaohong Chen's "OOPSLA '23 Artifact"
      Shell
      •1•1•0•0•Updated Aug 2, 2024Aug 2, 2024

    • proof-checker-public

      Public archive
      C++
      •8•23•1•0•Updated Jul 18, 2024Jul 18, 2024