Yingquan Zhao's starred repositories
llama3-from-scratch
llama3 implementation one matrix multiplication at a time
oss-fuzz-gen
LLM powered fuzzing via OSS-Fuzz.
CFSynthesis
History-Driven Test Program Synthesis for JVM Testing
JavaFuzzer
Java* Fuzzer for Android*
FuzzingPaper
Recent Fuzzing Paper
static-analysis
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
Static-Program-Analysis-Book
Getting started with static program analysis. 静态程序分析入门教程。
latex-sketch-plugin
Bringing LaTeX to Sketch!
remparallels
Parallels Removal Tool Mac OS X All Versions
Excel2LaTeX
The Excel add-in for creating LaTeX tables
jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
awesome-go
A curated list of awesome Go frameworks, libraries and software
satcheck-vagrant
SATCheck Vagrant code