Search Results for "spin"
Sort By:
Showing 18 open source projects for "spin"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
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.
-
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
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!
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
5
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. -
6
-
7
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.
-
8
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.
-
9
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.
-
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
10
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.
-
11
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.
-
12
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
-
13
-
14
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.
-
15
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.
-
16
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.
-
17
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.
-
18
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
- Previous
- You're on page 1
- Next
