Search Results for "spin"
Sort By:
Showing 7 open source projects for "spin"
View related business solutions-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
1
Moquette Project
Java MQTT lightweight broker
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. -
2
Gravity Simulator
Multithreaded N-Point Gravity Simulation for PC and Android
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. -
3
Sweet Alert Dialog
SweetAlert for Android, a beautiful and clever alert dialog
...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. -
4
ESpin
SPIN-based Eclipse Model Checking Plugin
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. -
Error to trace to log to deploy. One click. No SSH.AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
-
5
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.
-
6
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
-
7
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.
- Previous
- You're on page 1
- Next
