Yingquan Zhao's starred repositories
awesome-go
A curated list of awesome Go frameworks, libraries and software
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.
llama3-from-scratch
llama3 implementation one matrix multiplication at a time
FuzzingPaper
Recent Fuzzing Paper
Static-Program-Analysis-Book
Getting started with static program analysis. 静态程序分析入门教程。
Excel2LaTeX
The Excel add-in for creating LaTeX tables
oss-fuzz-gen
LLM powered fuzzing via OSS-Fuzz.
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.
latex-sketch-plugin
Bringing LaTeX to Sketch!
JavaFuzzer
Java* Fuzzer for Android*
remparallels
Parallels Removal Tool Mac OS X All Versions
CFSynthesis
History-Driven Test Program Synthesis for JVM Testing
satcheck-vagrant
SATCheck Vagrant code