Promise based wrapper for webworkers

A static analyzer for Java, C, C++, and Objective-C

RxJava 2 Android Examples - How to use RxJava 2 in Android

Soletta Project is a framework for making IoT devices. With Soletta Project's libraries developers can easily write software for devices that control actuators/sensors and communicate using standar…

PVS specification files for the theory of Software Product Line Refinement