Search Results for "gnu linux" - Page 13
Sort By:
Showing 356 open source projects for "gnu linux"
View related business solutions-
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.
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
1
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.
-
2
The Dash Framework is a Dependency Acquisition and Structural Hierachy IoC framework for Java based on Annotations. It is designed to clearly support declarative component based composition of objects.
-
3
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.
-
4
DMDF has collection of Frameworks for distribute your domain model. The Domain Model Transportation framework [sub project] let you use your own domain model replace DTO.
-
Earn up to 16% annual interest with Nexo.Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
5
Graph Package (GPack) is a solution for developing simple graphics in Delphi environment. GPack includes 2 components TGraph & TGraph3D which help users to create 2D/3D graphic applications in an easiest and quickest way.
-
6
Open Designer is a graphical Conceptual and Physical Data Modeler and a Code Generator either to create the database structure and genenate applications automatically.
-
7
A visual Domain-Specific Language for Data Transformations, which generates programs for non-programmer domain-experts. The generated program will extract data from one source and converts it into a meaningful format defined by the user.
-
8
KnowledgeFrame is a proven, mature Java framework for agile design and development of sophisticated business database applications based on live metadata and live business rules, using a declarative approach. Links to RETS 1.7 protocol.
-
9
COMPAS J2EE is a non-intrusive performance instrumentation and monitoring toolkit for J2EE. It uses adaptive monitoring to automatically adjust the target coverage. COMPAS is completely portable across J2EE application servers and OSs.
-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
10
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.
-
11
Fourth generation database designer and code-generator for educational purposes and speeding-up database designing and creating work.
-
12
-
13
-
14
EGG is a development tool for fast and easy realization of XML to plain-text tranformations. It's similar to XSLT, Velocity or JSP but emphasises source-code generation in a model-driven, generative development-process. For Windows or Unix with Java.
-
15
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.
-
16
Thinkingcap is an enterprise, meta-model driven, next-generation 100% Java application server. It offers caching, indexing, platform neutral queries, transactions, multi-user concurrency and permissions control, web services, schema extraction etc.
-
17
J2EEML is a tool for modeling Enterprise Java Bean (EJB) applications and their Quality of Service (QoS) requirements. It provides support for modeling session and entity beans, remote and local interfaces, bean to bean interactions, and more.
-
18
-
19
Paxion is a graphical editor for Büchi automata (a special kind of finite state automata), written in Java. The ultimate goal is to provide a graphical frontend for several modelcheckers but it can already be used as a standalone editor of automata.
-
20
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)
-
21
UMLet
Free UML Tool for Fast UML Diagrams
UMLet is an open-source Java tool for rapidly drawing UML diagrams, with a focus on a sound and pop-up-free user interface. Its homepage is www.umlet.com. v15.1 released on March 20, 2023. -
22
The class libraries here provide infrastructure for creating simulations of low energy nuclear physics experiments, as well as some useful working programs that do simple simulations and analysis of experiments performed with magnetic spectrographs.
-
23
The purpose of the project is to develop a programming language whose semantics is based on a minimal, imperative mathematical machine.
-
24
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).
-
25
