Pinned Repositories
cozy
The collection synthesizer
solidity
Solidity, the Smart Contract Programming Language
HaLVM
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
iris-c-coq
Control-flow based language verification framework
java2smali
Command-line tool for compiling .java to .smali
nightly
Feather-light scheduler, monitor and storage for your research tasks
RuScript
Experimental Language based on Rust and Haskell
purescript
A strongly-typed language that compiles to JavaScript
rust
Empowering everyone to build reliable and efficient software.
servo
Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine
izgzhen's Repositories
izgzhen/java2smali
Command-line tool for compiling .java to .smali
izgzhen/nightly
Feather-light scheduler, monitor and storage for your research tasks
izgzhen/droid-scripts
Executable scripts for helping with Android related work
izgzhen/ui-checker
End-to-end static analysis for extract GUI information and check them against Datalog-flavour spec
izgzhen/markii
Android/Java Static Analysis Library
izgzhen/bitscope-public
BitScope Pubilc Resources
izgzhen/language-webidl-hs
Parser and Pretty-printer for WebIDL in Haskell
izgzhen/benchmark-sort
Surprising facts about benchmarking standard sorting libraries
izgzhen/ml-notebooks
izgzhen/liquid
DSL for Semantic-based Pattern Matching of Android/Java Binaries
izgzhen/RSSHub
🍰 Everything is RSSible
izgzhen/solver-aided-lang-smt2-benchmark
A benchmark about SMT2 emitted by running programs in high-level solver-aided language
izgzhen/ui-reverse
Android UI Reverse Tool
izgzhen/android-platforms
izgzhen/apktool
izgzhen/articles
izgzhen/cozy
The collection synthesizer
izgzhen/dotfiles-public
izgzhen/drebin
Drebin - NDSS 2014 Re-implementation
izgzhen/hidden-markov-example
Example of HMM-based POS-tagging in Python
izgzhen/jl
Functional sed for JSON
izgzhen/lib-detection
izgzhen/liquid-toolkit
izgzhen/mlbase
izgzhen/msbase.py
Convenient wrappers and utilities, minimal third-party dependencies, written in Python 3.
izgzhen/msbase.scala
izgzhen/ngram-lm-example
Example code of ngram language modeling in Python
izgzhen/runpy
A boring tool that checks your python script before running it
izgzhen/soot-skeleton
Automatically enumerates some options in a Soot based on user determined example output and input and generates a starter script.
izgzhen/subdir-heroku-buildpack
Allows to use subdirectory configured via environment variable as a project root