Skip to content
@Pi-Squared-Inc

PI Squared

Popular repositories Loading

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

    C++ 19 6

  2. wasm-semantics wasm-semantics Public

    Forked from runtimeverification/wasm-semantics

    A Prototype Formal Semantics of WebAssembly in K

    WebAssembly 5 5

  3. rust-demo-semantics rust-demo-semantics Public

    Demonstration Rust Semantics in K

    Rust 4 2

  4. evm-semantics evm-semantics Public

    Forked from runtimeverification/evm-semantics

    K Semantics of the Ethereum Virtual Machine (EVM)

    Python 2 3

  5. solidity-demo-semantics solidity-demo-semantics Public

    Demonstration Solidity Semantics in K

    Solidity 2 2

  6. mx-semantics mx-semantics Public

    Forked from runtimeverification/mx-semantics

    Python 2 1

Repositories

Showing 10 of 11 repositories
  • wasm-semantics Public Forked from runtimeverification/wasm-semantics

    A Prototype Formal Semantics of WebAssembly in K

    Pi-Squared-Inc/wasm-semantics’s past year of commit activity
    WebAssembly 5 24 5 2 Updated Dec 21, 2024
  • 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 2 BSD-3-Clause 153 0 1 Updated Dec 20, 2024
  • pi2-gpt Public

    Repo for customised GPT bot

    Pi-Squared-Inc/pi2-gpt’s past year of commit activity
    0 0 0 0 Updated Dec 20, 2024
  • rust-demo-semantics Public

    Demonstration Rust Semantics in K

    Pi-Squared-Inc/rust-demo-semantics’s past year of commit activity
    Rust 4 2 19 4 Updated Nov 28, 2024
  • solidity-demo-semantics Public

    Demonstration Solidity Semantics in K

    Pi-Squared-Inc/solidity-demo-semantics’s past year of commit activity
    Solidity 2 2 0 1 Updated Nov 26, 2024
  • zk-benchmark Public
    Pi-Squared-Inc/zk-benchmark’s past year of commit activity
    Cairo 0 0 0 0 Updated Nov 21, 2024
  • devcon-2024 Public
    Pi-Squared-Inc/devcon-2024’s past year of commit activity
    Solidity 0 0 0 0 Updated Nov 12, 2024
  • gevulot-workloads Public
    Pi-Squared-Inc/gevulot-workloads’s past year of commit activity
    1 1 0 0 Updated Oct 8, 2024
  • mx-semantics Public Forked from runtimeverification/mx-semantics
    Pi-Squared-Inc/mx-semantics’s past year of commit activity
    Python 2 3 0 0 Updated Aug 9, 2024
  • oopsla-23-chen Public

    oopsla-23-chen: Fetch/run Xiaohong Chen's "OOPSLA '23 Artifact"

    Pi-Squared-Inc/oopsla-23-chen’s past year of commit activity
    Shell 1 1 0 0 Updated Aug 2, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…