- Follow along the Formalization of the EVM in K https://github.com/kframework/evm-semantics 7 comments ethereum
Linking pages
- The Code is Ready. An update from CTO Andy Milenius | by MakerDAO | Medium https://medium.com/makerdao/the-code-is-ready-2aee2aa62e73 31 comments
- GitHub - pirapira/awesome-ethereum-virtual-machine: Ethereum Virtual Machine Awesome List https://github.com/pirapira/awesome-ethereum-virtual-machine 10 comments
- @piraipra’s snapshot post (October 2017) | by Yoichi Hirai | Medium https://medium.com/@pirapira/piraipras-snapshot-post-october-2017-1f39be74d7f5 6 comments
- GitHub - pirapira/eth-isabelle: A Lem formalization of EVM and some Isabelle/HOL proofs https://github.com/pirapira/eth-isabelle 4 comments
- Verification of smart contracts – INNOQ https://www.innoq.com/en/articles/2019/07/verifikation-von-smart-contracts/ 4 comments
- GitHub - crytic/awesome-ethereum-security: A curated list of awesome Ethereum security references https://github.com/trailofbits/awesome-ethereum-security 3 comments
Linked pages
- Git https://git-scm.com/ 252 comments
- Homebrew — The Missing Package Manager for macOS (or Linux) https://brew.sh 184 comments
- GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 comments
- yellowpaper/README.md at master · ethereum/yellowpaper · GitHub https://github.com/ethereum/yellowpaper 88 comments
- The GNU MPFR Library https://www.mpfr.org/ 53 comments
- direnv – unclutter your .profile | direnv https://direnv.net/ 47 comments
- Flakes - NixOS Wiki https://nixos.wiki/wiki/Flakes#NixOS 42 comments
- Download Nix / NixOS https://nixos.org/download.html#nix-install-macos 12 comments
- GitHub - pirapira/eth-isabelle: A Lem formalization of EVM and some Isabelle/HOL proofs https://github.com/pirapira/eth-isabelle 4 comments
- K | Runtime Verification Inc https://kframework.org/ 0 comments
- Bison - GNU Project - Free Software Foundation https://www.gnu.org/software/bison/ 0 comments
- KEVM: Semantics of EVM in K | Runtime Verification, Inc. https://jellopaper.org/ 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - runtimeverification/evm-semantics: K Semantics of the Ethereum Virtual Machine (EVM)
See how to search.