This is stars and forks stats for /runtimeverification/wasm-semantics repository. As of 28 Apr, 2024 this repository has 71 stars and 16 forks.
KWasm: Semantics of WebAssembly in K Want to Support KWasm Development? Contribute to our Gitcoin Grant. This repository presents a prototype formal semantics of WebAssembly. It is currently under construction. For examples of current capabilities, see the unit tests under the tests/simple directory. Repository Structure Semantics Layout The following files constitute the KWasm semantics: data.md provides the (functional) data of WebAssembly (basic types, type constructors, and values). numeric.md...
KWasm: Semantics of WebAssembly in K Want to Support KWasm Development? Contribute to our Gitcoin Grant. This repository presents a prototype formal semantics of WebAssembly. It is currently under construction. For examples of current capabilities, see the unit tests under the tests/simple directory. Repository Structure Semantics Layout The following files constitute the KWasm semantics: data.md provides the (functional) data of WebAssembly (basic types, type constructors, and values). numeric.md...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
revington/useragentsjs | XMLShell | 1 | 0 | 0 | 0 |
oamg/ansible-leapp | YAMLShellJinja | 19 | 0 | 12 | 0 |
polykit/vic20-sequencer | BASICMakefile | 3 | 0 | 0 | 0 |
reactjs/react.dev | TypeScriptJavaScriptCSS | 10.1k | 0 | 7.3k | 0 |
ChenyangQiQi/FateZero | Jupyter NotebookPython | 905 | 0 | 86 | 0 |
PiotrNawrot/nanoT5 | Python | 822 | 0 | 49 | 0 |
rogue-hack-lab/translux | OtherPython | 2 | 0 | 3 | 0 |
godot-rust/gdext | RustGDScriptShell | 1.8k | 0 | 116 | 0 |
pingcap/tispark | ScalaJavaANTLR | 863 | 0 | 251 | 0 |
ACINQ/eclair | ScalaOther | 1.2k | 0 | 276 | 0 |