TLC is an explicit state model checker for specifications in TLA+
OpenAPI Generator allows generation of API client libraries
A C++ library for AVR and NodeMCU
Core business process engine of Alibaba Halo platform
Lightweight HTTP framework built in Java
Automate your bean mappings seamlessly
Map Generation Application and API
Android dynamic skin resurfacing library
A library with components of Android L to you use in Android 2.2
State machines for Java, FSM.
Fiter the java collection using SQL syntax
openSCADA® is an open source SCADA system written in JAVA