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.

SweetAlert for Android, a beautiful and clever alert dialog. Inspired by JavaScript SweetAlert. The simplest way to use SweetAlertDialog is to add the library as aar dependency to your build. 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...

A relaxing breakout remake with a twist. Real spin effects for the ball, gravity and wind included. Play, relax, and finally master the banana cross!

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.

Spin is a transparent threading solution for non-freezing Swing applications.

See http://www.cubrid.org/cluster. CUBRID Cluster is an open source clustered DBMS for high scalability including global schema, distributed partition and load balancing features. It is a spin-off project from CUBRID project and supported by NHN.

GlueFace is a Java application for adding lipsync'ed facial animation to BrickFilms (Lego-style) films. The position, size, rotation and 3D spin can be modified using a timeline, so the face "sticks" accurately to the character.

PCDP is a suite of tools for teaching and learning advanced computer science: DAJ for distributed algorithms, VN for nondeterminism, the jSpin environment for the Spin model checker, and SpinSpider for creating state diagrams.

htmlCharset is a file conversion tool, useful for replacing HTML entities by the actual characters that they represent, or vice versa. As a spin-off, it can also be used as a general charset converter for arbitrary text files.

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 Eclipse Integration (Plugin)

CHIRPS is a platform-independent peer-to-peer application for sharing any type of information that can be described with an xml schema and stored in a relational database.

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.

XGL Viewer: A simple fast program to load the XGL standard file format and display it using JOGL (OpenGL) allowing the user to move the object around in space, rotate, zoom, spin, ect... This loader should be easily integrated into any program.

Business groupware (bgroupware) is a spin-off of the well known phpgroupware. This has been done for architecural and other reasons to keep imporvements alive that have been done by some professional ex-developers from a known company.

Biblioteca de classes para resolver problemas comuns de programaусo relativos a software comercial no Brasil, como por exemplo CPF e CNPJ. Tambжm estр sendo previsto Inscriушes Estaduais. It is probably going to become a spin-off, but check the CVS fo