Search Results for "gnu science"
Sort By:
Showing 15 open source projects for "gnu science"
View related business solutions-
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.
-
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
1
TreeGraph
Information Manager(split/analyze/compare/combine).
For Homepage, Blog, Family Tree, Database, C#|hjt|js|chm Editor. Convert hjt2xml, (c#)cs2xml, chm2xml, js2xml, xml2cs, xml2js, xml2hjt, cs2hjt, hjt2cs, cs2chm, hjt2chm. IE/Opera/Firefox/PocketPC supported. -
2
ABTools provides an open environment based on ANTLR and Java and provides some facilities for design and test the B language and somes extensions. ABTools est un environnement de développement base sur ANTLR et Java. Il permet de manipuler le langag
-
3
CEManTIKA (Contextual Elements Modeling and Management through Incremental Knowledge Acquisition) is a framework to support context modeling and Context-Sensitive System design, in a generic, domain-independent way.
-
4
A graphical IDE and Model Driven Architecture for designing Overlay Networks and Peer-to-Peer systems.
-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
5
JSPWikiWinWin Involves the requirement negotiation and elicitation in software engineering and improves the negotiation process based on WinWin Spiral Model, which supports the negotiation in different locations and time
-
6
OpenSoul Metamodeler is a MOF 1.4 based metamodeling tool. It is built on Enki repository (originaly Netbeans MDR) and JGraph component.
-
7
DB Designer Fork is a fork of the fabFORCE DBDesigner 4. It integrates entity relationship design,front-end (you can run queries) and SQL exporting.DB Designer Fork generates SQL scripts for Oracle, SQL Server, MySQL, FireBird, SQLite and PostgreSQL.
-
8
The Domain Specific Modeling Language for Multiagent Systems (DSML4MAS) is a platform independent language for specifying multiagent systems. The DSML4MAS Development Environment (DDE) is a model-driven development environment based on DSML4MAS.
-
9
This project provides a framework for the generation of workflow code from high-level models. It enables people with no or little experience in this area to generate workflow code a reasonable time by specifying generation templates and reusing adapters.
-
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.
-
10
We are trying to empower developers by building a portal that aggregates a wide range of software development support applications. Everybody should be able to check the project health now and then.
-
11
SMARD is a development environment that simplifies the programming of applications based on mobile agents. Using a graphical interface, programmers can design, build and launch mobile agents which are intended to run on JADE platforms.
-
12
jppa is a pointer and purity analysis tool for Java programs. Mainly a purity analysis tool: given a full Java program, it detects pure JML-style methods, i.e., methods that do not mutate existing objects (they may mutate new ones).
-
13
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.
-
14
Framework for Java source code analysing, program comprehension and automating software quality. Source code visualisation provided.
-
15
The FermaT toolset is the implementation of the FermaT Transformation Technology which developed semantic preserving code transformations to simplify programs without changing their behavior. The correctness is guaranteed by mathematical proof.
- Previous
- You're on page 1
- Next
