Pinned Repositories
artemis
A simple, modular, and fast framework for writing MEV bots in Rust.
comprehensive-rust
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
databricks-sdk-py
Databricks SDK for Python (Beta)
echidna
Ethereum smart contract fuzzer
eth-security-toolbox
A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.
forge-poc-templates
halmos
A symbolic testing tool for EVM smart contracts
jolt
The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto. ⚡ 💌
pdfcpu
A PDF processor written in Go.
public-fuzzing-campaigns-list
A list of public fuzzing campaigns
0xZRA's Repositories
0xZRA/artemis
A simple, modular, and fast framework for writing MEV bots in Rust.
0xZRA/comprehensive-rust
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
0xZRA/databricks-sdk-py
Databricks SDK for Python (Beta)
0xZRA/echidna
Ethereum smart contract fuzzer
0xZRA/eth-security-toolbox
A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.
0xZRA/forge-poc-templates
0xZRA/halmos
A symbolic testing tool for EVM smart contracts
0xZRA/jolt
The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto. ⚡ 💌
0xZRA/pdfcpu
A PDF processor written in Go.
0xZRA/public-fuzzing-campaigns-list
A list of public fuzzing campaigns
0xZRA/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
0xZRA/Rust
All Algorithms implemented in Rust
0xZRA/slither
Static Analyzer for Solidity