PrototypeCommon
runtimeverification/wasm-semantics
A Formal Semantics of WebAssembly in K
- Owner
- runtimeverification (organization)
- Stars
- Stars: 107
- Forks
- Forks: 26
- Language
- WebAssembly
- License
- None
- Created
- 2015
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by runtimeverification
All 7 repos by runtimeverification- runtimeverification/verified-smart-contractsStars: 749SolidityBeta
- runtimeverification/kStars: 600PythonAlpha
- runtimeverification/evm-semanticsStars: 595KCLAlpha
- runtimeverification/haskell-backendStars: 229HaskellPrototype
- runtimeverification/iele-semanticsStars: 130HTMLPrototype
- runtimeverification/kontrolStars: 127PythonPrototype
Nearby in WebAssembly
All WebAssembly repos- PeterHuZQ/EOS-DappStars: 115WebAssemblyPrototype
- xiaoyu1998/web3.learningStars: 112WebAssemblyPrototype
- kign/c4waStars: 110WebAssemblyPrototype
- WebAssembly/function-referencesStars: 105WebAssemblyPrototype
- hemashushu/practice-wasmStars: 104WebAssemblyPrototype
- KhronosGroupArchives/Basis-Universal-TranscodersStars: 102WebAssemblyPrototype