Zhen Zhang's repositories
RSSHub
🍰 Everything is RSSible
runpy
A boring tool that checks your python script before running it
msbase.py
Convenient wrappers and utilities, minimal third-party dependencies, written in Python 3.
subdir-heroku-buildpack
Allows to use subdirectory configured via environment variable as a project root
ui-checker
End-to-end static analysis for extract GUI information and check them against Datalog-flavour spec
ui-reverse
Android UI Reverse Tool
droid-scripts
Executable scripts for helping with Android related work
jl
Functional sed for JSON
java2smali
Command-line tool for compiling .java to .smali
drebin
Drebin - NDSS 2014 Re-implementation
soot-skeleton
Automatically enumerates some options in a Soot based on user determined example output and input and generates a starter script.
cozy
The collection synthesizer
solver-aided-lang-smt2-benchmark
A benchmark about SMT2 emitted by running programs in high-level solver-aided language
benchmark-sort
Surprising facts about benchmarking standard sorting libraries
language-webidl-hs
Parser and Pretty-printer for WebIDL in Haskell
bitscope-public
BitScope Pubilc Resources
hidden-markov-example
Example of HMM-based POS-tagging in Python
ngram-lm-example
Example code of ngram language modeling in Python