yxliang's repositories
git-upload
gitu MSG = git add . && git commit -m MSG && git push
tracerx-klee
Tracer-X KLEE Symbolic Virtual Machine
EffectiveSan
Runtime type and bounds-error checking for C/C++
sleeping-human-text
Sleeping human in ASCII text
TracerX-PS
TracerX Symbolic Executor for Problem Solving
android-youtubeExtractor
Android based YouTube URL extractor and downloader
create-probot-app
🤖📦 Create a new probot app
docs.scala-lang
The Scala Documentation website
FirefoxLite
Emerging Market Experiment
focus-android
Firefox Focus: The privacy browser - Browse like no one’s watching.
klee
KLEE Symbolic Execution Engine
MyExpenses
GPL licenced Android Expense Tracking App
pldi19-equivalence-checker
Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
ppltr
A PoPuLaToR for a PeePhoLe opTimizeR
super-linter
Combination of multiple linters to install as a GitHub Action