Repositories list

• rust-demo-semantics

  Public
  Demonstration Rust Semantics in K

  Rust

  •2•3•19•4•Updated Oct 31, 2024Oct 31, 2024

• solidity-demo-semantics

  Public
  Demonstration Solidity Semantics in K

  Solidity

  •2•2•0•1•Updated Oct 30, 2024Oct 30, 2024

• evm-semantics

  Public
  K Semantics of the Ethereum Virtual Machine (EVM)

  Python

  •

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

  •143•2•0•2•Updated Oct 16, 2024Oct 16, 2024

• gevulot-workloads

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

• wasm-semantics

  Public
  A Prototype Formal Semantics of WebAssembly in K

  WebAssembly

  •

  Other

  •23•5•0•0•Updated Sep 26, 2024Sep 26, 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