shipeng331's repositories
AppCrawler
基于appium的app自动遍历工具
wenyan-lang
文言文編程語言 A programming language for the ancient Chinese.
android_kernel_msm_marlin_7
This master starts from android-msm-3.18-nougat-mr23 branch of essential Android kernel
android_platform_frameworks_av_7
This master starts from a single android-7.1.2-r17 branch of essential Android frameworks/av/
android_platform_frameworks_base_7
Due to size limit, this master starts from pure and only android-7.1.2-r17 branch of essential Android frameworks/base
android_platform_frameworks_native_7
This master starts from a single android-7.1.2-r17 branch of essential Android frameworks/native/
android_platform_system_core_7
This master starts from single android-7.1.2-r17 branch of essential Android system/core
android_vendor_marlin_7
This repo contains the ICL vendor specific binaries for Android 7.1.X for Pixel XL (marlin)
bitcoin
Bitcoin Core integration/staging tree
cba-aosp-marlin-7
This repository is the ROOT for CBA based on aosp-marlin-7.1.2_r17
ebook
一些已经读、正在读、将要读的书籍
ebook-1
A collection of classic computer science books from Internet
Humanoid
Explore Android apps like human.
iBoot
Source code for a core component of the iPhone's operating system
jaza
Jaza is an 'Animator' for the Z formal specification language.
lxc-for-Android-7.1.2
The repository contains the lxc and related tools/packages for Android 7.1.2, build scripts are provide for compiling lxc with Android standalone NDK.
redex
A bytecode optimizer for Android apps
SoloPi
SoloPi 自动化测试工具
symbooglix
Symbolic Execution Engine for Boogie
ZonotopeAbstractDomain
Formal static analysis of C programs.