Thresher is a static analysis tool that specializes in checking heap reachability properties. Its secret sauce is using a coarse up-front points-to analysis to focus a precise symbolic analysis on the alarms reported by the points-to analysis.
A library that enables writing all your code in a declarative manner, fully applicable with RxJava 2, you can access all the API through the Chain class, where you start a stream with an item, and then start manipulating this item through known functional approaches like mapping and applying, it also supports flow control for streams which is really missed in RxJava
Nitrite is an open source embedded nosql database for Android. It has MongoDb like API.
It features: