Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms.
Silicis is a new formal framework for designing [verification] algorithms.
With one mouse click you generate an XForms form (within an XHTML site) based on your XML Schema. (Tranformation of XML Schemata to other technologies such as JSF, XUL, Hibernate are planned).
Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.
Gemini 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.
HibernateSynchronizer is an Eclipse plugin code generation tool which, by default, binds to *.hbm files and automatically generates business objects when your hibernate schema configuration file is modified.
The Toolbox GraphC generates a graph of classes for fuzzy time Petri nets, taking into account unbounded transitions. This project is a scientific research project conducted by LAAS-CNRS and IRIT-UT1, France.
Eclipse plugin based on JTidy, the Java port of HTML Tidy. For (X)HTML and XML files, it provides a Validator (Manual or automatic checking) and a Formatter based on numerous preferences.
New customers can spin up VMs, build with AI, and query data at no cost.
Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
This project has the aim to develop an editor for the module descriptor files of the popular hivemind framework. The editor help write the contributions to configuration points, by gathering all module descriptos to parse all schemata.
O Pontapé é um gerador de códigos voltado ao modelo. Seu principal objetivo é combinar o uso de frameworks à geração de código para eliminar tarefas de criação de códigos ou arquivos de configuração com estruturas repetitivas.
This Eclipse plugin allows you to edit and test CruiseControl configuration files. It includes wizards, an XML based editor, a CruiseControl console and access to the CruiseControl Build Results website all from within the Eclipse environment.
CxTest is a JUnit/cppUnit/xUnit-like unit test framework for C. It is extremely portable since it doesn't depend on RTTI, exception handling or any libraries (including standard ones)
log4j/log4net appenders and a supporting Eclipse RCP-based browser for viewing profiling information. The appenders operate either in-process or (to minimize overhead) remotely send their packets to a separate listener via UDP.
UMLMDA provides a set of java tools to read UML models from ArgoUML, Rational Rose, RSM or XMI and to setup generators with jsp based templates to generate code from the models. Based on this tools a MDA-Framework is developed for business applications.
Eclipse Text Editor Extensions (ETEE) extends the Eclipse text editor with convenient operations for filtering the selected text: 1) run a system command (pipe or filter) on the selected region, and 2) quote and unquote special XML characters/entities.
RCPApps provides a number of Eclipse plugins and several RCP applications to demonstrate how to build portable Rich Client Applications in the Eclipse ecosystem. The plugins will work both inside Eclipse and as their own standalone applications.
UIDiagram is visual modeling tool designed for fast creating GUIs targeted to mobile applications based on Web Services. UIDiagram is a part of Istar project. For more information visit project web site.
-- NO SUPPORT for newer Eclipse versions --- Flowchart Studio integrates flowchart editor, interpreter and debugger. It allows the user to quickly draw a flowchart though a graphical editor, run it and debug it. It is based on Eclipse Platform and in
The Concern Manipulation Environment (CME) is an integrated Aspect-Oriented Development (AOSD) environment that promotes incremental adoption of AOSD. It supports both developers who want to use an AOSD approach, and tool providers with novel AOSD ideas.