Search Results for "eclipse-jpf" - Page 28
Sort By:
Showing 1556 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.
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
1
This programs is a Eclipse Plguin. By using this plugin, the code quality of Java project can keep being maintained to continuous. This plugin outputs the graph with the time axis and HTML table.
-
2
-
3
ogre4j is a project that enables the use of the OGRE (Object-Oriented Graphics Rendering Engine) library through JNI in Java applications.
-
4
Hammock is a Java ME mock object library for testing J2ME apps with J2MEUnit or JMUnit. It includes mocks of many of the MIDP classes. A HammockMaker utility lets you mock other classes. The software includes an Ant task and Eclipse plug-in.
-
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
The SAVE-IDE is an integrated development environment for architectural and component-based design of embedded systems. Including a tool chain for analysis, verification and code generation, with focus on safety and real-time.
-
6
ATTENTION! For various reasons, the infrastructure of the Reuseware project has moved. All information and latest versions are available via the new Reuseware webpage: http://reuseware.org
-
7
OpenEJB is a embeddable, lightweight EJB 3.0 implementation that can be used as a standalone server or embedded into Tomcat, JUnit, Eclipse, Intellij, Maven, Ant, and any IDE or application. OpenEJB is included in Apache Geronimo and Apple's WebObjects.
-
8
The project implement a framework of modular compilers that allows compile time programming for .NET, Java and other platforms. Languages on this framework are multi-paradigm and can be extended by programming new semantic structures or DSL.
-
9
An implementation of the Open Group's Application Response Measurement (ARM) Version 4 standard. The ARM standard describes a means of breaking an application down into it's constituent transactions, and measuring response time across multiple tiers.
-
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
10
MockCentral is an easy-to-use, fully-featured set of tools that provides a new approach to java software testing using mock objects. It enables the developer to create and access libraries of mock objects defined in xml files external to the testing code
-
11
JaValid is an annotation-based validation framework and can be used in any type of Java application. It provides full integration with the Spring Framework, Java Server Faces, Facelets and any Database. For more info visit: http://www.javalid.org
-
12
This eclipse plugin allows for the export of an eclipse project's runtime configurations to shell scripts in various formats. This allows for the execution of java code OUTSIDE the Eclipse environment without having to custom write the shell script code.
-
13
The open web architecture framework defines web applications in an eclipse based DSL editor. A code generator transforms the models into a Google Web Toolkit / Google App Engine project which can be customized by the developer.
-
14
Bogor-PubSub is a set of extensions to the Bogor model checker enabling accurate, automatic verification of Publish-Subscribe infrastructures.
-
15
CVSSnitch is an application that creates useful CVS reports that usually people estimate the development process of a project, It is a an open source project under the GPL v2.
-
16
PLEASE NOTE - JAVAPATHFINDER HAS MOVED TO: http://babelfish.arc.nasa.gov/trac/jpf Java PathFinder is a system to verify executable Java bytecode programs.
-
17
-
18
Framework: Project for Evolutionary Predator Prey Algorithms, used to implement an evolutionary scheme based on the developement by van Laumanns. Implement testproblems, special behaviours, environments, and other yet not known features.
-
19
Eclipse Plug-In for deploying a project into one "fat" executable jar file containing all referenced libraries. References are taken from the project settings, so no manual configuration is necessary.
-
20
An eclipse plug-in for opening a selected file/folder in the file explorer/shell. Supported in both Windows (Tested in Windows XP - Eclipse 3.3.1) and Linux (Tested in FC8 - Eclipse Ganymede). Welcome to contribute to this project.
-
21
This is a plugin project to extend the eclipse IDE functionality providing it with views, actions and an underlying connectivity core. It will attempt to implement a jxta-based solution for Peer Programming.
-
22
LET (LaTeX Editing Tools) is a set tools for editing LaTeX documents in the Eclipse workbench. It has a context sensitive parser for multi-file LaTeX documents which can be extended via the Eclipse extension point mechanism.
-
23
Janus - Java'n'UML Simultanously. A free CASE tool plug in for Eclipse with support for editing Java code and UML diagrams simultaneously. Right now this is also the home of the Image Export plug in to export GEF diagrams to various image formats.
-
24
The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.
-
25
The iPOJO-Toolbox includes several projects to ease the conception and the use of components above the Apache Felix iPOJO framework. It contains several handlers, some standard OSGi services as well as an Eclipse plugin, and many other useful features.