Search Results for "eclipse-jpf" - Page 73
Sort By:
Showing 2473 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.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
1
-
2
-
3
...It is powered by the Sun ROME syndication framework and supports RSS 0.90, 0.91, 0.92, 0.93, 0.94, 1.0, 2.0, ATOM 0.3 and 1.0). Intuitive, fast and responsive ui using eclipse technologies (JFace / SWT)
-
4
External diff Tool is an Eclipse plugin that allows the launch of an external diff tool for file compares rather than the default built-in Eclipse diff tool. This plugin doesn't replace the built-in Eclipse tool. It only adds a new menu item to the GUI.
-
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.
-
5
The SBeaVeR editor is an Eclipse based plugin that allows business modellers and analysts to create fact-oriented business models and rules based on OMG's SBVR standard. It is part of the DBE project.
-
6
...A project is described in XML as modules with transitive dependencies. Features are provided thanks to plugins: Java execution, JUnit reports, EMMA code coverage, Eclipse integration...
-
7
Flux is a Java tool available as Eclipse plug-in supporting the model-driven design of a Struts 1.1 web application by repeatedly (re-)generating the struts-config-<module>.xml files from UML activity diagrams.
-
8
CodeGenClipse is a project for adding Eclipse IDE support for code generation tools. Currently available is CodeGenJostraca that integrates the Jostraca Code generator into Eclipse v3.1.2+. For installation help & details refer to the project homepage.
-
9
The Eclipse XML Meta-Modeling Tools project provides tools like editors, extended validation and generators for developing xml based meta-models and domain-specific languages in eclipse.
-
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.
-
10
SPlayer (from Simply Player) is an Eclipse 3.x and up plug-in built to provide audio playback of MP3 files. The player supports both local and remote playback (over HHTP) as well as Shoutcast (PLS) playlists.
-
11
eclipse-gsearch project is an eclipse plug-in which gives access to search with google desktop within files in the users workspace (needs google desktop v2 installed)
-
12
This is a project to create a simple system to archive and manage the book that we have. It's written in Java and using Eclipse Tools
-
13
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.
-
14
This Project is an attempt to make Online Stock Trading Website. With the help of Jakarta Struts Framework n JDBC/MySQL we wish to accomplish this task.
-
15
GFace contains custom reusable SWT UI widgets for applications written in eclipse SWT/JFace/RCP technology.
-
16
-
17
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).
-
18
-
19
-
20
-
21
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.
-
22
OpenEMS™ is the multi platform Grid framework to seamlessly aggregate all your multi platform resources into a virtual super computer.
-
23
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.
-
24
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.
-
25
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.