Search Results for "eclipse-jpf" - Page 30
Sort By:
Showing 1477 open source projects for "eclipse-jpf"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
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.
-
1
Tuning Fork Visualization Platform is a data visualization and analysis tool built on the Eclipse Rich Client Platform that supports the development and continuous monitoring of systems. It is particularly useful for real-time systems.
-
2
Eclipse Notepad Plugin, as the name says, is a plugin for Eclipse to write notes inside the workbench. The plugin has a view with tabs, where each tab is a separated note. The notes are all stored inside the workspace metadata.
-
3
The Amplify MDA project is aimed at delivering a 'model-to-text' generator tool with real-world applicability in less than 1000 lines of Java/Groovy code.
-
4
The goal of XP Studio is to create a complete software development environment in which it is easy to practice eXtreme Programming (XP) or other Agile software development methodologies.
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
5
A little C++ library with commonly needed functionalities. It consists of four major parts: commandline parsing, event management, threads and logging.
-
6
xqz aims to provide a MDD framework to handle communication thanks to Tx/Rx Queues and generic command extensible mechanism. This framework will take advantage of EMFT frameworks for concurrent command scheduling in a model driven environment.
-
7
sfEclipse is an Eclipse plugin for php symfony framework. It provides easier, faster and better developing process based on symfony framework. This plugin extends PDT (PHP Development Tools) and it is still evaluating.
-
8
This will be to bring a GUI (Graphical User Interface) to the Java Pathfinder (JPF) so that developers can easily have JPF run through their programs and search for possible runtime exceptions in their java programs.
-
9
A eclipse plugin to test regular expressions (regex). Full highlighting of regexp syntax. Tooltip with detailed description of regex items, etc... Very usefull. Project page has java-applet to test regexp online. (Regex implementation: java.util.regex.*)
-
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
This project assembles the implementations of inference engines for CHORD, an object-oriented extension of CHRD.
-
11
VINE is a vocabulary Integration Environment Tool, developed at MMI. It allows to create fast mappings and alignments from ontologies in OWL. VOC2OWL is a tool to create ontologies from ASCII files. They are both JAVA based and are delivered as a Rich Cl
-
12
PyConsole is an Eclipse Plug-in which embeds Python Shell in Eclipse as Console. Developer will use it as they use python interpreter without leaving Eclipse.
-
13
CodeIndo is a plug-in, based in Eclipse Platform, for supply basics metrics into code of a Java Project.
-
14
Simply put, the fccrc (Feeble ClearCase Remote Client project) is a facade on top of IBM/Rational's clearcase remote client API. This API is used in it's own stand alone Java application and as an Eclipse plugin.
-
15
Eclipse 3.4 Plugin with several JSP Refatoring Tools. The short term planning is to have the following tools: 1) List/Remove JSP Comments; 2) List/Resolve/Rollback JSP Imports. And for long term: 1) Merge / dif jsp files (back and forth from import).
-
16
A collection of eclipse plugins and various tools to help in software development. This will include some autogeneration, architecture patterns, etc... Our hope is to have this grow overtime to support developers in the opensource community.
-
17
The DITA Open Platform is a free, open-source project which goal is to provide an enterprise platform for the edition, management and processing of DITA documents.
-
18
BioSunMS, a flexible software platform for submission, management, retrieval of sample and MS data(MALDI or SELDI), and clinical proteomics-related statistical analysis. BioSunMS integrated all functions into a user-friendly desktop RCP application.
-
19
This project is a java web application developer toolbox. It is among other, a simple and powerful framework which does not require dealing with XML files. It also provides a lot of other features, such as a DB abstraction layer, a nice javadoc doclet, a
-
20
A wrapper for the JMutation System (MuJava), which performs Mutation Testing. An Eclipse Plugin with runtime configurations and a view. Increased usability is provided using the features of the IDE.
-
21
WSMO Studio is a Semantic Web Service and Semantic Business Process modelling environment based on the Web Services Modelling Ontology (WSMO). WSMO Studio is available as a set of Eclipse plug-ins that can be extended and customised by 3rd parties.
-
22
Fastmarks is a plugin for Eclipse. If, like me, you need to constantly go back and forth between a few spots in code, place (toggle) bookmarks and navigate with shortcuts. I overuse it during Test Driven Developpement to come back to my unit test !
-
23
Spring of Eclipse is a (java, eclipse plug-in based) Framework for developers, that want to use the Springframework for RCP (Eclipse Rich Client Platform) applications. It makes possible to configure your spring beans eclipse like, via extension-points.
-
24
M3G Viewer
View M3G File Contents
The M3G Viewer is a standalone application for viewing the contents of the 3D Graphics File Format that complements the Mobile 3D Graphics API (M3G). -
25
Source Attacher - Eclipse plugin capable of attaching sources to opened classes automatically from specified library directory. Repository Search - Web application compatible with Source Attacher. Is capable of downloading Maven repository indexes.