General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.
Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
Try Free
Ship Agents Faster
Transform your applications and workflows into powerful agentic systems at global scale.
Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
Sardana is the control program initially developed at ALBA. Our mission statement:
Produce a modular, high performance, robust, and generic user environment for control applications in large and small installations. Make Sardana the generic user environment distributed in the Tango project and the standard basis of collaborations in control.
The origin of the Sardana name comes from a Catalan dance to honor the region where the ALBA synchrotron is build. Sardana is entirely built over...
The Taurus Project has *moved* to:
https://github.com/taurus-org/taurus
This SourceForge page is *outdated* and kept for historical reference only.
Taurus is a python framework for control and data acquisition CLIs and GUIs in scientific/industrial environments.
It supports multiple control systems or data sources: Tango, EPICS, ...
New control system libraries and data sources can be integrated through plugins.
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.
Generic directory service (for the EPICS tool set). Directory entries are channels with properties and tags. Applications can query a web service to retrieve channels based on wildcard matching on properties and tags, and manipulate the directory data.
Code has been moved to GitHub at https://github.com/ChannelFinder
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You 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.
Version 1.0 - Controles java para supervision de informacion distribuida geograficamente. Utilidades GIS, comunicaciones, bases de datos, graficas, protocolos.
Versión 2.0 - Arquitectura J2EE, sobre servidor de aplicaciones JBoss
NUEVO: Versión 2.1 - Migrado a JBoss-as-7.1.1-Final