Sun Yihao's repositories
ppa-in-code
some my implementation of content in PPA
my-foolish-code
(some-foolish-code (Flower Q) my-brain)
program-proof
some code note on book "program= proof" but not in OCAML ==.
AFLplusplus
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
gtirb-pprinter
Pretty printer from GTIRB to assembly code
gtirb-rewriting
Python API for rewriting GTIRB files
hyperline
✨ Status line plugin for Hyper ✨
my-sys-settings
backup for some of my private setting files....
nachos-learn
nachos with log structured file system
program-analysis-p0
Project 0 for program analysis (CIS 700) at SU, Fall 2019
slog-example
exmaple program for slog language, mainly case form souffle's test folder
slog-layer
a spacemacs slog language layer
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
StarGazerM.github.io
homepage
StarGazerMiao
blog
vscode-hol
a vscode extension for HOL theorem prover