shipeng331's repositories

AppCrawler

基于appium的app自动遍历工具

Language:ScalaLicense:Apache-2.0Stargazers:1Issues:0Issues:0

hermes

Hermes is a small and lightweight JavaScript engine optimized for running React Native on Android.

Language:C++License:MITStargazers:1Issues:1Issues:0

wenyan-lang

文言文編程語言 A programming language for the ancient Chinese.

Language:JavaScriptLicense:MITStargazers:1Issues:0Issues:0

android_kernel_msm_marlin_7

This master starts from android-msm-3.18-nougat-mr23 branch of essential Android kernel

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

android_platform_frameworks_av_7

This master starts from a single android-7.1.2-r17 branch of essential Android frameworks/av/

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

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

Language:JavaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

android_platform_frameworks_native_7

This master starts from a single android-7.1.2-r17 branch of essential Android frameworks/native/

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

android_platform_system_core_7

This master starts from single android-7.1.2-r17 branch of essential Android system/core

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

android_vendor_marlin_7

This repo contains the ICL vendor specific binaries for Android 7.1.X for Pixel XL (marlin)

Language:ShellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

bitcoin

Bitcoin Core integration/staging tree

Language:C++License:MITStargazers:0Issues:0Issues:0

cba-aosp-marlin-7

This repository is the ROOT for CBA based on aosp-marlin-7.1.2_r17

License:Apache-2.0Stargazers:0Issues:0Issues:0

ebook

一些已经读、正在读、将要读的书籍

Stargazers:0Issues:0Issues:0

ebook-1

A collection of classic computer science books from Internet

Stargazers:0Issues:0Issues:0
Language:C++License:MITStargazers:0Issues:0Issues:0

Humanoid

Explore Android apps like human.

Language:PythonStargazers:0Issues:0Issues:0

iBoot

Source code for a core component of the iPhone's operating system

Language:CLicense:UnlicenseStargazers:0Issues:0Issues:0

jaza

Jaza is an 'Animator' for the Z formal specification language.

License:GPL-2.0Stargazers:0Issues:0Issues:0

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.

Stargazers:0Issues:0Issues:0

pylint

A Python static code analysis tool which looks for programming errors, helps enforcing a coding standard, sniffs for code smells and offers simple refactoring suggestions.

Language:PythonLicense:GPL-2.0Stargazers:0Issues:1Issues:0

redex

A bytecode optimizer for Android apps

License:MITStargazers:0Issues:0Issues:0

solidity

Solidity, the Contract-Oriented Programming Language

Language:C++License:GPL-3.0Stargazers:0Issues:1Issues:0

SoloPi

SoloPi 自动化测试工具

Language:JavaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

symbooglix

Symbolic Execution Engine for Boogie

Language:C#License:BSD-2-ClauseStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

ZonotopeAbstractDomain

Formal static analysis of C programs.

Stargazers:0Issues:0Issues:0