Repositories list

• zk-benchmark

  Public
  Cairo

  •1•0•0•1•Updated Jan 25, 2025Jan 25, 2025

• wasm-semantics

  Public
  A Prototype Formal Semantics of WebAssembly in K

  WebAssembly

  •

  Other

  •24•5•8•1•Updated Jan 24, 2025Jan 24, 2025

• evm-semantics

  Public
  K Semantics of the Ethereum Virtual Machine (EVM)

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •149•2•0•1•Updated Jan 23, 2025Jan 23, 2025

• pi2-gpt

  Public
  Repo for customised GPT bot

  0•0•0•1•Updated Jan 6, 2025Jan 6, 2025

• rust-demo-semantics

  Public
  Demonstration Rust Semantics in K

  Rust

  •2•4•19•4•Updated Nov 28, 2024Nov 28, 2024

• solidity-demo-semantics

  Public
  Demonstration Solidity Semantics in K

  Solidity

  •2•2•0•1•Updated Nov 26, 2024Nov 26, 2024

• devcon-2024

  Public
  Solidity

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

• gevulot-workloads

  Public
  1•1•0•0•Updated Oct 8, 2024Oct 8, 2024

• mx-semantics

  Public
  Python

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

• oopsla-23-chen

  Public
  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
  C++

  •6•19•1•0•Updated Jul 18, 2024Jul 18, 2024