Runtime Verification
and Ava Labs
.
vyper
: Critical 9.8/10 CVE-2024-24563
zetachain
: Code4rena audit with interesting findings under the
MevSec team
spearbit
: Junior Security Researcher
Code4rena
,
Codehawks
, and
Cantina
.
rlp-rs
: fast RLP codec using serde
solhunt
: smart contract static analyzer with modularity in mind
murph
: transpile evm bytecode into
huff
calibration-companion
:
calibrate your 3D printer in few clicks
easyservo
: control 2 servo motors remotely to monitor 3D prints