Search Results for "alpha linux"
Sort By:
Showing 7 open source projects for "alpha linux"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
1
G4LTL-ST
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. -
2
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
-
3
Oscar SCADA
Open source, web based, SCADA system written in PHP/Javascript & Java
Oscar is a web based Supervisory Control And Data Acquisition System, providing polling, reporting, charting, and alarm functionality. Enabling users to monitor and mange microcontroller devices in an automation system. The UI is web based and written in PHP, the server daemon componenet is written in Java and uses MySQL for storage. -
4
MNDACS (Mesh Networked Data Acquisition and Control System) is a Java, network based control system. The project approach is to build a mesh system to tolerate control unit breakdowns with load balancing between units.
-
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
OSIBITS is a GPL Open Source Be Intelligent Transport System, that adaptively controls and manages a distributed network of signalized intersections.
-
6
GridIQ is a testbed for smart grid agents. It enables the JADE agent development platform to integrate with the PSAT power simulation tool.
-
7
This is an open, cross platform SCADA system. SCADA stands for Supervisory Control and Data Acquisition, and is used to create software front-ends to control processes in industry. Created in Java, it has a headless server and uses Swing GUI controls
- Previous
- You're on page 1
- Next
