Zhen Zhang

java2smali. Command-line tool for compiling .java to .smali

RuScript. Experimental Language based on Rust and Haskell

nightly. Feather-light scheduler, monitor and storage for your research tasks

ui-checker. End-to-end static analysis for extract GUI information and check them against Datalog-flavour spec

iris-c-coq. Control-flow based language verification framework

droid-scripts. Executable scripts for helping with Android related work

markii. Android/Java Static Analysis Library

z3-encoding. High-level assertion encoding to Z3 solver

iris-coq. a non-maintained mirror repo of https://gitlab.mpi-sws.org/FP/iris-coq/

static-hs. Static analysis algorithms with Haskell

bitscope-public. BitScope Pubilc Resources

language-webidl-hs. Parser and Pretty-printer for WebIDL in Haskell

copying_gc. Rust

bbq-sg. Static Generator for your GitHub Pages Blog

hadrian-soh17-notes. Notes on my Summer of Haskell 2017 project

benchmark-sort. Surprising facts about benchmarking standard sorting libraries

ml-notebooks. Jupyter Notebook

language-webidl. CoffeeScript

gsoc-file-support. Meta-tracker for my GSoC 2016 project

Modeling-USTC-China-iGEM-2014. The Mathematical Models' Source of USTC iGEM 2014

aliyun-haskell-sdk. Aliyun SDK in Haskell

sl-tut-iris. Interactive Separation Logic Tutorial with Coq and Iris

paxos-example. Example of Paxos protocol in Python

JKernel. Implementation of JamesM's UNIX-Clone toy kernel

solver-aided-lang-smt2-benchmark. A benchmark about SMT2 emitted by running programs in high-level solver-aided language

ui-reverse. Android UI Reverse Tool

liquid. DSL for Semantic-based Pattern Matching of Android/Java Binaries

stackoverflow-tutorial-source. The source code, text and other stuff related to my tutorial on stack overflow