Search Results for "eclipse-jpf" - Page 46
Sort By:
Showing 1556 open source projects for "eclipse-jpf"
View related business solutions-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
Stop vibe-debugging.AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
-
1
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.
-
2
GFace contains custom reusable SWT UI widgets for applications written in eclipse SWT/JFace/RCP technology.
-
3
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).
-
4
-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
5
-
6
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.
-
7
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.
-
8
-
9
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.
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
10
The Eclipse Agentry Plugin represents an interface for the Microsoft Agent Control. It provides fully access to the Microsoft own Agents but also to custom ones.
-
11
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.
-
12
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.
-
13
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.
-
14
Manage Eclipse plugins in link way. auto-generate link file when running eclipse. Only work under JSE 5.0
-
15
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.
-
16
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.
-
17
SWCalendar provides SWT developers with a fully functional and robust calendar control for integration into their applications or plugins. The control is completely customizeable through the use of its rendering API.
-
18
This project aims to provide developers a convenient library about graph theory algorithm and some basic data structures. It will be developed in Java via Eclipse IDE, supporting both win32 and linux systems, and published as jar files.
-
19
A plug-in for the Eclipse and NetBeans IDEs for experimental use in the development and testing of Automation Objects (AOs) for industrial automation and control.
-
20
JyDT, Jython Development Tools for Eclipse, consists of several plug-ins to support Jython development. Its main features are: Jython projects, content assist, control-click navigation, browsing perspective. See http://www.redrobinsoftware.net/jydt/.
-
21
...Reverse object oriented source code (Java, C#, PHP5) into XOL (XML Object Language) DOM repository.Validate syntax using XML Schema. XSLT for code refactoring & code generation. IDE Editors available (Eclipse plugin)
-
22
Free scripts & examples- JSP, Eclipse, SQL, PHP, ASP, Win32 Batch, Javascript, Flash/Actionscript. -=-=-=-=-=-=- NOTE: This project is closed. For new development related to integrating Beyond Compare with Eclipse, see http://beyondcvs.sourceforge.net/
-
23
Motion Modeling is a developers centric modeling tool based on the eclipse platform. It's designed to be easily extensible via javascript to handle new features or new metamodels. For v0.1 the support of UML1.4 class diagrams is planned.
-
24
Ultimate CIM is the Eclipse plugin that enables developers to explore CIMOM, walk associations, execute WQL queries, graphically view class hierarchy and more... It is the ultimate tool to aid in CIM (WBEM) client development.
-
25
A complete, fast, previously commercial, JDO 1.0.1 implementation for databases, opened by Versant in 2005 and then abandoned in early 2006. The design-time code is already in Eclipse Dali. This project is the original source drop, including the runtime.