SUNDAY · JUNE 7, 2026 · VOL. 1 · NO. 24

─── repository · pulse: dormant

runtimeverification/michelson-semantics

A K semantics of Tezos' Michelson language.

· Makefile· NOASSERTIONRuntime Verification

─── subscriber view

Unlock the full view of runtimeverification/michelson-semantics

  • · Full repository, commit, and contributor breakdown
  • · Peer graph + ecosystem links
  • · Weekly trend deltas and pulse signal
  • · API + CSV / JSON exports

Already a subscriber? Sign in with the same email used at checkout.