Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Start Free
Try Google Cloud Risk-Free With $300 in Credit
No hidden charges. No surprise bills. Cancel anytime.
Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
Generating PLC programs from formal specifications
G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications.
See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv.
Technological demo of OpenGL ES 2 for Android platform. It reads public NORAD satellite database and shows the satellite positions and altitude related to Earth in the form of beams (the height of the beam represents the relative altitude).
NOTE: The project has been moved to GitHub: https://github.com/nuald/glSatellite-Demo The old one stays here just for the historical reasons.
The 3D features present:
- OpenGL ES 2;
- rotating, multi-touch zooming and moving the globe;
- stars...
Building controls often have a PID Loop (Proportional Integral Derivative). Adjust PI&D terms in realtime and visually see what the reaction to the system will be. This is a real-time simulator with speed adjustment. Software requires the old MS Java Machine to run.
Interested in an updated desktop version? Please drop me a note in the forum or my blog: http://right-handed-monkey.blogspot.com/
Fully playable Java game demo illustrating basic game programming technics, such as sprite animation, pixmap fonts, time or frame related game loop, affine transformations, convolution filters, sound generation and playback...
Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.
Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
Java library for X-Way and/or UNI-TE communication.
PROJECT HAS MOVED HERE: https://github.com/Elektordi/x-way-uni-te
X-Way and UNI-TE (also used in Unitelway) are communication protocols for old Schneider Electrics PLCs (Programmable Logic Controllers), formerly "Modicon Télémécanique".
The aim of this open-source project is to create a Java library to send and receive such data, because there is actually no open-source project at all in this field.
Keep in mind that those protocols are old and not maintained anymore by any company,...