Termux - a terminal emulator application for Android OS extendible by variety of packages.

A scalable web crawler framework for Java.

PocketHub Android App

FastHub the ultimate GitHub client for Android.

AnLinux allow you to run Linux on Android without root access.

An android feed reader application which fetch data with selector and regular expression.

Functional programming in Java

A set of utilities designed for incremental building, merging and optimization of data transformations.

91Porn Android 客户端，突破游客每天观看10次视频的限制，还可以下载视频

A proof assistant and a dependently-typed language

Datalog with support for SMT queries and first-order functional programming

Higher Kinded Type machinery for Java

A powerful, easy-to-use, modern Java core library for the future

Android上基于Http的双向文件传输工具

IntelliJ plugin for Scheme programming language

An IDE for ACL2

A collection of Java code examples containing typical (sometimes subtle) programming errors

A simple SAT solver written in Java