Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
The fastest open-source C++17 optimization library for unconstrained nonlinear problems. Header-only, single dependency. Highest reliability, composable function expressions, unconstrained and ...
Azul Prime can stream previously optimized code to new JVM instances at startup, reducing repeated compilation work. Azul claims two to five times faster warm-up than standard OpenJDK, with potential ...
I found the code for a "game console" in a corner of GitHub. Mako VM. It is a stack-based virtual game console created by John Earnest (handle "Internet Janitor"). 226 lines of Java. A 320x240 pixel ...
LayerZero Research formally verified Jolt zkVM bytecode expansion using Lean, proving 60 of 67 RISC-V instructions in roughly 2.5 months.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results