This is stars and forks stats for /runtimeverification/evm-semantics repository. As of 29 Apr, 2024 this repository has 479 stars and 134 forks.
KEVM: Semantics of EVM in K In this repository, we provide a model of the EVM in K. Fast Installation bash <(curl https://kframework.org/install): install kup package manager. kup install kevm: install KEVM. kup list kevm: list available KEVM versions. kup update kevm: update to latest KEVM version. NOTE: The first run will take longer to fetch all the libraries and compile sources. (30m to 1h) Documentation/Support These may be useful for learning KEVM and K (newest to oldest): K, KEVM and Foundry...
KEVM: Semantics of EVM in K In this repository, we provide a model of the EVM in K. Fast Installation bash <(curl https://kframework.org/install): install kup package manager. kup install kevm: install KEVM. kup list kevm: list available KEVM versions. kup update kevm: update to latest KEVM version. NOTE: The first run will take longer to fetch all the libraries and compile sources. (30m to 1h) Documentation/Support These may be useful for learning KEVM and K (newest to oldest): K, KEVM and Foundry...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
orefalo/svelte-splitpanes | SvelteJavaScriptTypeScript | 262 | 0 | 14 | 0 |
patrickjquinn/project-warpcode | SvelteTypeScriptJavaScript | 43 | 0 | 3 | 0 |
liveblocks/pixel-art-together | SvelteTypeScriptCSS | 183 | +1 | 12 | 0 |
scade-platform/Nimble | SwiftShellOther | 244 | +3 | 10 | +1 |
jikexueyuanwiki/tensorflow-zh | TeXPythonOther | 12.3k | +4 | 4.2k | -2 |
dendibakh/perf-book | TeXPython | 1.3k | +13 | 100 | +1 |
reduxjs/react-redux | TypeScriptJavaScriptCSS | 23k | 0 | 3.4k | 0 |
lingo3d/lingo3d | JavaScriptTypeScriptOther | 2.3k | 0 | 296 | 0 |
excalidraw/excalidraw | TypeScriptSCSSMDX | 56.1k | 0 | 5k | 0 |
upjs/facile-validator | TypeScriptHTMLShell | 339 | 0 | 16 | 0 |