runtimeverification/wasm-semantics
A Prototype Formal Semantics of WebAssembly in K
WebAssemblyNOASSERTION
Stargazers
- abduld
- ahelsleySunnyvale, CA
- arkadiuszsz
- arturparkhisenko@Vimeo
- beriberikix@golioth
- bitrocks
- brendanzab@yeslogic
- cleanunicornEthereum
- decanusDialectic / Project Blanc
- esnekoLatvia
- fuath
- halsten
- hanshoglundTweag I/O
- hierophantos
- hsribeiAgent of User
- hugo-dc@ethereum @ipsilon
- hydai@second-state
- ik5:::1
- jolestar
- KraksINRIA/ENS; Tufts
- krfkeith
- kubkon@ziglang
- lastmjsDemergent Labs
- lexfrlMilky Way
- mraselimoStellenbosch University
- MrChico
- pepyakin@paritytech
- PeterHua1996Sydney
- QianyangPengRuntime Verification Inc.
- ramtejDecentralized
- rhysd#"><img src=X onerror=alert('👋🐶');>
- rowhitToronto, Ontario
- say1k
- taktoa@MatX-inc
- tkersey@thisisartium
- yutoppJapan