Search Results for "gnu-darwin" - Page 7
Sort By:
Showing 252 open source projects for "gnu-darwin"
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.
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
1
The Genomic Diversity and Phenotype Data Model (GDPDM) captures molecular and phenotypic diversity data. MySQL databases are used to implement the schema. This project develops software tools (written in Java, Perl, etc.) associated with this model.
-
2
-
3
-
4
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
5
Open Source Semantic Web Search Engine Software: If two machines anywhere on the web can agree on the same definition of a digital service or digital good, then machine to machine transactions can use this lingua franca to transact on the users behalf.
-
6
ObjectBuilder is a C++ CASE tool (CASE, refactoring, documentation generator). It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction.
-
7
SPACES is a functional test tool for components which uses UML specifications and OCL restrictions to originate test cases automatically.
-
8
Fast UML is an open-source UML tool with a simple user interface pop-up free. Draw UML diagrams fast, export diagrams to png, jpg and clipboard. It pretends to be the union between Violet and UMLet.
-
9
This BlueJ-Extension is developed by three student assistants of the lecture "Programming II" at Saarland University. It is designed especially for the students of this lecture, but useable by others too.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
10
This project proposes a tool for formal verification of web services composition based on Pi-calculus and the conversion between BPEL and pi-calculus. This tool integrates two kinds of formal verification techniques and can validate automatically.
-
11
Peas provides : data object mapping - data versioning, multi-language support, users & groups - complete web component api - web 2.0 backend and frontend templates
-
12
This project targets to develop a visual UML editor for the popular Eclipse IDE. The visual UML editor plugin is fully compatible with the Eclipse Framework and allow developers easily to model and document their software through the UML2 diagrams.
-
13
-
14
The Bidirectional Object-oriented Transformation Language (BOTL) is a tool for object-oriented model transformations.
-
15
-
16
MudMop, abbr. for Multi-User Discontinuous system MOdeling Platform, is an enterprise application framework, stands on modeling real world business which is discontinuous, and build business perspective data view and process operations to multi-users
-
17
Jupe is a UML Plugin for Eclipse. It provides support for the creation of UML class diagrams, Java code generation and reverse engineering. Jupe is based on the GEF and UML2 frameworks and supports Eclipse 3.2.
-
18
TabletERD is a CASE tool that supports the drawing of ERDs and takes full advantage of the features of the Tablet PC.
-
19
-
20
A case study regarding the entire software development process for education in Software Engineering under consideration of general Software Engineering concepts and design patterns
-
21
Narrator is a graphical modelling tool for the description of dynamical systems and processes. Narrator is SBML compatible.
-
22
The OMEGA plugin for eclipse is a generic infrastructure for the creation of specialized model editors aiming at Model-Driven Development.It provides a “canvas” for drawing the models and a code generating part for any desired output format.
-
23
The SoSART (Software Static Analysis Reliability Toolkit) is intedned to aid developers in assessing the reliability of existing Java source code through the usage of Static Analysis.
-
24
A library to build and manipulate finite state automata, I/O automata, transducers and rational langagues in Java.
-
25
