R9295/ipog
A General Strategy for T-Way Software Testing
I weigh my life and it's got me old fool gold
Repositories
R9295/autarkie
Autarkie - Instant Grammar Fuzzing Using Rust Macros
R9295/firedancer
Firedancer is Jump Crypto's Solana validator software.
R9295/commit-miner
Classify Git commit diffs and messages with Jev. Bug fixes, security fixes/CWEs, and change types.
R9295/LTMiner
LTMiner (Long Tail Miner) aims to mine rare patterns from large-scale software systems and check their violations to detect potential bugs. By leveraging large code models and word embeddings, we rank and filter violations of rare patterns based on contextual semantics, highlighting the interesting ones. This project contain two files as follows.
R9295/panoptisch
A recursive dependency scanner for Python projects
R9295/commitscanner
R9295/ableton-mcp
R9295/solana-llvm-compiler
R9295/tendermint
⟁ Tendermint Core (BFT Consensus) in Go
R9295/test-vectors
R9295/agave
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
R9295/fandango-rs
Ever wondered just how fast you can write to stdout?
R9295/covmap
CLI that maps a spec to the code implementing it, and flags which links break when either side is edited
R9295/blocktest-converter
Generate Ethereum BlockTest test fixtures from a fuzzer friendly input structure.
R9295/solfuzz-agave
Agave target for solfuzz
R9295/solana-sdk
Rust SDK for the Solana blockchain, used by on-chain program developers and the Agave validator
R9295/wincode
Fast, bincode‑compatible serializer/deserializer focused on in‑place initialization and direct memory writes.
R9295/sbpf
SBPF virtual machine
R9295/perf-event
perf-event: a Rust interface to Linux performance monitoring
R9295/nvim
my nvim config based on kickstart.nvim
R9295/golibafl
Fuzz go code using LibAFL's capabilities with Go’s native instrumentation.
R9295/evm-smith
Semantically valid, gas limited evm program generation
R9295/go-ethereum
Go implementation of the Ethereum protocol
R9295/nethermind
A robust, high-performance execution client for Ethereum node operators.
R9295/besu
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
R9295/revm
Rust implementation of the Ethereum Virtual Machine.
R9295/cchooks
R9295/afl-tree-sitter-splice
Tree-sitter based AFL++ mutator for AST-aware fuzzing of structured inputs.
R9295/ableton-live-control-surface-starter
A template for bootstrapping AbletonLive ControlSurface projects