Search Results for "eclipse-jpf" - Page 29
Sort By:
Showing 1477 open source projects for "eclipse-jpf"
View related business solutions-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
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
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
-
2
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.
-
3
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.
-
4
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.
-
Your monitoring isn't a stack. It's a pile. Fix that.Replace Datadog, New Relic, and Sentry without adding three more dashboards.
-
5
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
-
6
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
-
7
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.
-
8
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.
-
9
Bogor-PubSub is a set of extensions to the Bogor model checker enabling accurate, automatic verification of Publish-Subscribe infrastructures.
-
$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
This is an Eclipse plugin based on JSMin Javascript minifier. It adds an Ant task called jsminify that copies Javascript files and minifies them while copying, thus leaving the sources intact.
-
11
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.
-
12
PLEASE NOTE - JAVAPATHFINDER HAS MOVED TO: http://babelfish.arc.nasa.gov/trac/jpf Java PathFinder is a system to verify executable Java bytecode programs.
-
13
-
14
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.
-
15
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.
-
16
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.
-
17
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.
-
18
A toolkit for the Clojure programming language. Including a general purpose that augments Clojure's standard library, a platform the plugin-extensible GUI applications, a simple Clojure IDE based on that platform, testing services and more.
-
19
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.
-
20
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.
-
21
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.
-
22
-
23
The Shrimp suite provides interactive visualizations of graph-based data. Creole (Eclipse plug-in) visualizes Java source code. Jambalaya (Protege plug-in) visualizes ontologies (including OWL), & Stand-Alone Shrimp visualizes RSF/GXL/PRJ/PPRJ files.
-
24
This software is a set of eclipse plugins. Use it to get a more complete solution to the internationalization and localization needs of your Java applications.
-
25
An eclipse plugin for code coverage visualization of JUnit Tests. Especially useful for test-first development. Supported coverages include block coverage and all-uses coverage (Data Flow Analysis).