Search Results for "eclipse-jpf" - Page 31
Sort By:
Showing 2473 open source projects for "eclipse-jpf"
View related business solutions-
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.
-
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
Merlin ToolChain integrates requirements, configuration management, project management, and testing tools via Eclipse using plug-ins.
-
2
Web on OfficeFloor. Distribution of the web functionality available on OfficeFloor for use in JEE containers. This is to enable easier adoption by developers of the simplified web development with OfficeFloor.
-
3
Term Project by UTD students for Requirement Engineering CS6361. G-HOPE (Google "Helping Old People Easily") - A smartphone application for elder with difficulties like lack of hearing, speech impairment, unclear speech, low vision, weak memory etc.
-
4
A framework and runtime environment for exploring agent-based models designed to support the definition of models using an expressive, high-level and extensible Java API and to support the exploration of these models in both interactive and batch mod
-
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.
-
5
CHAMELEON is a declarative framework for tailoring adaptable Java applications for resource-constrained devices and can be used for tackling a form of adaptation to the execution context.
-
6
-
7
-
8
Its an Eclipse 3.5 Plugin. It can be used to find linear paths for unit testing of any method. The linear path covers all the child methods and till leaf level of the hierarchy. The packages which should be covered in the path can be controlled.
-
9
Knime (http://www.knime.org) nodes for sequence bioinformatics. Sequime is an eclipse plug-in for the KNIME data mining platform, providing additional nodes for reading, processing and visualizing sequence information.
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
10
In large projects there are a lot of task tags like TODO, FIXME, etc. and Eclipse provides only plain list of all these task tags which is difficult to use. Task Tag Decorator plugin is a plugin which can decorate Package Explorer with icons or text.
-
11
A simple Eclipse plugin to check C/C++ Files for correct syntax. It is intended as an addition - not replacement - for the CDT project. It offers improved marking of errors and warnings. Update-Site is: http://www.jaylib.org/eclipse/plugins/CppChecke
-
12
Système d'Exploitation Sémantique du Web ( Web Semantic Operating System). Moterako est chargé d'assurer, dans un environnement sémantique, la liaison entre les Utilisateurs, les Ressources et les applications.
-
13
-
14
Perfidix is a tool for developers to conveniently and consistently benchmark Java code. It's intentionally designed to be used like JUnit to simplify its adoption and comes with a suitable Eclipse plugin. NOTE: THIS PROJECT HAS MOVED TO GITHUB!
-
15
-
16
TutorMates Editor is a MathML editor developed in Java and SWT using the Eclipse infrastructure. This project is part of a largest one called TutorMates, an application for learning and teaching mathematics.
-
17
Chex4j allows you to document and enforce @pre and @post conditions of method calls with runtime or build time class file instrumentation. Conditions run as fast as normal code.
-
18
This project houses various examples to help developers see how to better use the server side work in Eclipse's Equinox project.
-
19
ProViz is a program visualization framework for Java. It is built as a plugin to the Eclipse IDE. (We are getting close to publishing resources and making this project distributable. Stay tuned!) A video demo: http://www.youtube.com/watch?v=BsoK1n-OM
-
20
Model-based development environment for embedded projects. Features a clean and advanced language designed for embedded programming.
-
21
Palamedes is a plugin that enables users to use Eclipse for Game Description Language (GDL) development, making Eclipse a first class GDL IDE. It comes with many goodies such as syntax highlighting, knowledge base analysis, debug and many other.
-
22
The Flexible Task Graphs programming model and supporting system for Java provides tools for very low latency real time programming in Java.
-
23
Grupo para la realización de la práctica de Ingeniería del Software III. Se complementará con el grupo de Google.
-
24
Eslink is a Eclipse plug-in collection for SAS® development. They provide a partly integration of the SAS® system into the Eclipse environment.
-
25