Red Hat Ansible Automation Platform on Azure allows you to quickly deploy, automate, and manage resources securely and at scale.
Deploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.
Over two-thirds of people reuse passwords across sites, resulting in an increasingly insecure e-commerce ecosystem. Learn how passwordless can not only mitigate these issues but make the authentication experience delightful. Implement Auth0 in any application in just five minutes
GraphSQL is a database modeling tool.User can build database logic model easily by mouse,dialog operation then generate the SQL script insured right and compatibled with Sybase PowerDesigner.
Java Fuzzy Editor is a basic editor to allow creation of fuzzy based rules. It will save to serveral formats including to source code in several languages.
Open Schedulability Tool for Analysis of Real-time Systems (OpenSTARS) is designed to be an efficient, scalable, flexible, and extensible open-source tool and framework that can be used for both offline and online analysis.
Coral is a tool and a development platform to create and transform models and modeling languages. It can be used to edit UML models, to develop editors for other modeling languages and to implement MDA and QVT-like model transformations.
Proactively monitor, manage, and support client networks with ConnectWise Automate
Out-of-the-box scripts. Around-the-clock monitoring. Unmatched automation capabilities. Start doing more with less and exceed service delivery expectations.
C++ Virtual Object Networking Classes. This is a series of generic objects that can be 'linked' together and generic objects that can 'navigate' the networked objects. Supports: mapping, finding/path tracing.
UML StateWizard provides a cross-platform state-oriented framework with good visual and lexical presentation. Also it is a full-featured UML tool, which runs in Visual C++.
Framework for literate programming using XML written in C++. Boost, The STL and Patterns are used extensively. All platforms which support Boost will be supported.
The DSManager middleware is used for Commerical-Off-The-Shelf (COTS) Simulation Package (CSP) Interoperability based on the IEEE High Level Architecture.
Save your team 10s of hours/week with a fully personalized and automated procurement process.
ProcureDesk is an integrated purchasing and invoicing platform tailored to help small to medium sized businesses streamline their procurement processes. This user-friendly system automates workflows and consolidates purchasing data into a centralized dashboard, allowing companies to control spending and enhance transparency efficiently. Features like automated invoice matching, simple requisition creation, and immediate cash flow insights minimize manual tasks and boost operational efficiency. ProcureDesk is perfect for smaller enterprises leveraging big-business strategies to reduce costs and optimize their purchasing activities. Discover how ProcureDesk can transform your procurement process into a more effective and manageable part of your business.
Waters - the Waikato Analysis Tool for Events in Reactive Systems.
This software will enable users to create finite-state machine models in a graphical user interface, to simulate their execution, and to apply model checking algorithms to them.
Nmdepend is a lightweight 'link-time' dependency analyzer for C++. It uses object files and libraries instead of source-code as input. It can help to manage 'cross-directory' dependencies. Dependencies can be visualized in combination with Graphviz.
Open Designer is a graphical Conceptual and Physical Data Modeler and a Code Generator either to create the database structure and genenate applications automatically.
A graphical interface programming system allowing the visualization of code and
capability to generate threaded code. The user constructs code segments using visual boxes. The program flow is represented as links between the boxes.
Generates and simulates realistic traffic patterns. Focuses on detailed zone model & simplistic characters living at designated zones. Easy-to-use plugin for city and traffic simulators. Demo uses Ogre 3D.
PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)
WSGUI developers user interface concepts for web services. The WSGUI standard employs GUIDD and similar techniques and works actively together with other software project to support this standard.
This project aims at providing Open Source tools for the development and the verification of SystemC/TLM (Transaction Level Modeling) IP models, and at promoting their use by embedded software developers on SoC (System-On-Chip).
Safet is a library writing for C/C++ that use an xml file to model any workflow describe in a relational database, It includes drawing, statistics, document, resource and control workflow perspective.
Institute of Technology, Blanchardstown Computer Science code by the class of 2007-2011 on course BN104. In this project we are open sourcing all of our project work to the public in the hopes it can be reused, built-upon, and used in education.