Search Results for "eclipse-jpf" - Page 47
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
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.
-
3
ogre4j is a project that enables the use of the OGRE (Object-Oriented Graphics Rendering Engine) library through JNI in Java applications.
-
4
<Portuguese> Este é um programa para controle de farmácia desenvolvido em java. Ainda está em desenvolvimento e todo código está disponível. <English> This is a free software in java language to control pharmacy. Import the zip file by Eclipse IDE.
-
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.
-
5
An Eclipse plugin that will allows a user to quickly and accurately create and edit fusedocs in the CFEclipse editor.
-
6
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.
-
7
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.
-
8
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
-
9
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.
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
10
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.
-
11
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.
-
12
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
-
13
The Little Portal Gizmo is a small Java web application container based on Eclipse plug-ins and the Apache HTTP Core. It uses a custom and very light weight API. The web applications you develop for the Gizmo have the form of Eclipse plug-ins.
-
14
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
-
15
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.
-
16
-
17
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.
-
18
OpenReports is a powerful, flexible, and easy to use web reporting solution that provides browser based, parameter driven, dynamic report generation and flexible report scheduling capabilities. Supports JasperReports, JFreeReport, JXLS, and Eclipse BIRT
-
19
Bogor-PubSub is a set of extensions to the Bogor model checker enabling accurate, automatic verification of Publish-Subscribe infrastructures.
-
20
...It will include a contact list/address book, calendar, event management, location lookup and possibly a few other features. It will use the latest and greatest of the Eclipse RCP technology as a base.
-
21
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.
-
22
PLEASE NOTE - JAVAPATHFINDER HAS MOVED TO: http://babelfish.arc.nasa.gov/trac/jpf Java PathFinder is a system to verify executable Java bytecode programs.
-
23
-
24
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.
-
25
OpenCafe is a small and easy-to-use Lan-Housing system management. Here we take care of customers, access control for employers and onther things.