Search Results for "eclipse-jpf" - Page 79
Sort By:
Showing 2542 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.
-
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.
-
1
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)
-
2
-
3
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
-
4
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.
-
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.
-
5
GFace contains custom reusable SWT UI widgets for applications written in eclipse SWT/JFace/RCP technology.
-
6
-
7
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).
-
8
-
9
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.
-
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
-
11
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.
-
12
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.
-
13
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.
-
14
OpenEMS™ is the multi platform Grid framework to seamlessly aggregate all your multi platform resources into a virtual super computer.
-
15
-
16
-
17
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.
-
18
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.
-
19
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)
-
20
The SELinux IDE project encompasses several tools for SELinux policy administration, development, and testing. The SLIDE project is now being hosted at http://oss.tresys.com. Please go there for all updates and information.
-
21
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.
-
22
-
23
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.
-
24
Manage Eclipse plugins in link way. auto-generate link file when running eclipse. Only work under JSE 5.0
-
25