Search Results for "linux operating system" - Page 2
Sort By:
Showing 62 open source projects for "linux operating system"
View related business solutions-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
1
Coupling the notion that during the search for the minimum of a function we must pass through its solution with a PSO solution generator engine, is the approach for solving, in time domain, a non-linear algebric-differential system of equations.
-
2
PerMoTo is a Performance Modelling Tool suite for decision support in the capacity and performance management of distributed transaction processing systems based on Queueing Theory and Discrete Event Simulation.
-
3
SEvents is a System of Event programming with random factor designed to accept a script file and execute it with using extra modules. One module - one object, which relate on changing of some variables.
-
4
The Dawn project provides collaborative network solution for GMF-Editors. This extension provides conflict-detection mechanisms. It also provides a basic user management system and a Web-Viewer which allows to view every diagram change online.
-
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.
-
5
redView Riena EMF Dynamic Views. redView provides a WYSIWYG Editor for SWT Views based on EMF Models. redView can be used as Prototyping System, RCP Application and more. redView can render the Views dynamically.
-
6
Yaoqiang XPDL Editor (YXE) is a graphical editor for workflow process definitions, compliant with WfMC specifications( XPDL 2.1 and 1.0 )
-
7
The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.
-
8
System Designer is a software framework for domain specific languages based on model-driven generative programming. DSPE is one of the development environment based on System Designer. Audio n-Genie is a specialization of DSPE for the audio domain.
-
9
-
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
10
A Java library and supporting modelling/execution tools that combine Robin Milner's formal Bigraph model with the indirect communication abstraction of Gelernter's tuple-space, i.e. a coordination system based on bigraphs.
-
11
SYSTEM FOR DESIGNING AND SIMULATE CONCURRENT AND DISTRIBUTED PROGRAMS IN CLUSTER ARCHITECTURE Provides graphical interface for configuring relationships between cooperating, abstract processes and simulate it in real cluster environment, using MPI.
-
12
...Water is an all-purpose language (and meta-language) that runs Web applications in the browser or server-side. Water is compatible with .NET, Java, and C on Windows, Linux and Mac OS X system.
-
13
(Pre-Alpha) Cross-Platform ERD to Database Design Tool built in Java. Currently Supports PostgreSQL. Not Feature-Complete.
-
14
This project is a software and a framework implementing a formal specification generation approach. The tool supports the theory on formal modeling, automated composition and formal verification of system specifications.
-
15
CodaServer is a database that makes building business applications easy. It uses a SQL-like language that lets you describe your workflow and business processes, and uses this information to enforce your business rules and guarantee data integrity.
-
16
The Generic Eclipse Modeling System is an MDD tool for Eclipse that allows for the rapid development of GEF modeling plugins. In GEMS, developers specify rules for a domain language using a metamodel and the tool generates a plugin for the specification
-
17
-
18
An alternative to the page-chapter-paragraph documentation approach. LivCos allows you to teach the computer the structure of your content, so it can support you in various contexts. Pages will be generated as one of many views on the actual content.
-
19
Omnigraphs are a formal extension of hypergraphs with the ability of edges to connect to multiple nodes and edges. This project hosts the Ogre compilers.
-
20
A tool for people interested in Special Relativity. Can introduce you to some basics, as the transformations and the 4-vectors. Examples, illustrations and some exercises will be included. With some time, effort, and space on the desk, you can master it.
-
21
Recito is a graphical modeling and process simulation platform.
-
22
This is a modeling tool generating code from activity diagrams. The main goal is to achieve a good code generation. I would like to have different possibilities like HTML mapping from diagrams and Java code generation (maybe others) chosen by the user.
-
23
-
24
Metaquokka is a highly configurable xml editor, currently available as Gridsphere portlet. Besides the default format, there is suppoert for ESysXML, a simulation description scheme for a geodynamics framework. Supports Generic Mapping Tools rudimentary.
-
25
JRequisite is an agile requirement management tool. Its main goal is to give the developer community a free, user friendly, and powerfull tool for requirement analysis and change management.
