Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.
Build generative AI apps with Vertex AI. Switch between models without switching platforms.
Start Free
MongoDB Atlas runs apps anywhere
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.
Eclipse 4diac the open source solution for industrial automation
Eclipse 4diac is an open source PLC environment allowing to implement industrial control solutions in a vendor neutral way. 4diac implements IEC 61499 extending IEC 61131-3 with improved support for controller to controller communication and dynamic reconfiguration. With that 4diac provides the infrastructure for Industrie 4.0 and industrial IoT.
Further information and the latest versions can be found here: https://eclipse.dev/4diac/
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.
A simple yet powerful Gantt chart library for Java 1.6 and later. DGantt is lightweight, requires no external libraries, is fast and efficient, and is currently deployed in several industrial projects.
Also check out other projects from the author, including the MOEA Framework (http://www.moeaframework.org) and TSPLIB4J (https://github.com/dhadka/TSPLIB4J/).
exff (pronounced "XF") has the goal of enabling the use of OMG, ISO STEP and W3C standards for engineering/industrial models with a focus on modelling and implementation environment based on UML, including support for some specific STEP domain models.
A plug-in for the Eclipse and NetBeans IDEs for experimental use in the development and testing of Automation Objects (AOs) for industrial automation and control.