Search Results for "spin"

JVM lightweight MQTT broker for the Internet of Things. Simply embeddable in your IoT projects. Moquette aims to be a MQTT compliant broker. The broker supports QoS 0, QoS 1 and QoS 2. Its designed to be evented, uses Netty for the protocol encoding and decoding part.

Create a sun, spin some asteroids around it, and watch them collide and form planets. An N-Point Gravity Simulator is a realistic simulation in which all points attract each other: even the smallest asteroid has its own gravitational field that can affect even a large sun far away from it. Can be reused as a library for making games. If used as library, license is GNU LGPLv3, otherwise it's GNU GPLv3.

...You can customize progress bar dynamically with materialish-progress methods via SweetAlertDialog.getProgressHelper(): For more usages about progress, please see the sample. Methods include resetCount(), isSpinning(), spin(), stopSpinning(), getProgress(), setProgress(float progress), setInstantProgress(float progress), getCircleRadius(), setCircleRadius(int circleRadius), getBarWidth(), and more.

ESpin, a SPIN-based model checking plugin upon Eclipse. The editor has full support of the syntax rules of Promela, and also provides the function of real-time syntax feedback, keywords highlight, outline view, code folding, hinting and completion, greatly improving the modeling efficiency of complex models. Additionally, ESpin provides multiple operation mode and unique configuration interfaces, which simplifies the operation process of SPIN.

Plugin for the CASE tool Fujaba. It enables the use of Velocity templates in activity graphs. Primary usage: Code generation in model transformations in association with the plugin SPin.

Spin is a Java based tool for anlyzing, documenting and improving COBOL source to aid in replatforming legacy systems to newer technologies available today like J2EE and .NET. Spin shows a visual representation of a COBOL source file, including code fl

Verification framework for BPEL4WS processes using model checkers like Spin and NuSMV. It takes input BPEL4WS processes and generates output models that can work as input for these model checkers.