Search Results for "eclipse-jpf" - Page 33
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.
-
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
Welcome to the Qualyzer wiki. Qualyzer supports researchers conducting qualitative inquiries by helping them manage participants, transcripts, and memos.
-
2
Replicross synchronizes two databases of similar structure. Rules written in an XML/EMF model describe how data must be updated from one base to the other. Another functionality is to propagate incrementally the structure of one database to the other.
-
3
SVGCompost is an SVG compositing editor for Eclipse, based on existing Eclipse GEF and GMF functionality and the Apache Batik framework. For further information, please refer to the wiki.
-
4
CAP4EI
Code Analysis Plugin for Eclipse Indigo
Be accommodated in this project a version of CAP (Code Analysis Plugin for Eclipse) valid for Eclipse Indigo. The version of CAP in sourceforge.net/projects/cap4e/ not work correctly in Eclipse Indigo so I made the appropriate adjustments. I tried to connect to the original author of CAP4E but without results. Please, if anyone could do it for me I am willing to give the original author of the updated package for me to post it on the original site. ... -
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.
-
5
Tre7
tre7
Classic italian cards game, tresette. -
6
BRAYTE
Bruno's RAY Tracing Engine
Yet another ray-tracer. Mixing Python, CUDA and a specialized compact SDL (Scene Description Language). -
7
-
8
OmegaT+ Computer Assisted Translation (CAT) tools platform that includes OmegaT+ (translation processor), bitext2tmx (aligner/TMX editor), and Validator (TMX validation).
-
9
-
$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
-
11
MLDonkey G2gui is a next-generation crossplatform Graphical User Interface to the MLDonkey core. Its goal is to be userfriendly and powerful, using state of the art Java-techniques like SWT and other parts of the eclipse framework.
-
12
eLML (eLesson Markup Language) is an XML framework for creating structured eLessons based on a pedagogical model. eLML consists of an XMLSchema and XSLT files to create XHTML, PDF, LaTeX, IMS CP and SCORM versions, standards supported by most LMS.
-
13
MARS
Multi Agent Roundbased Simulator
MARS (Multi Agent Roundbased Simulator) is a simulator for Multi Agent systems written in java. It sets up on the eclipse platform and is realized as a set of plugins. It was started as a project-group at University of Paderborn in 2010. At the moment there is a second project-group using MARS. The german documentation of first group can be found at http://www.cs.uni-paderborn.de/fileadmin/Informatik/AG-Kleine-Buening/files/ws11/pg-agents-2/Abschlussdoku-pg-1.pdf If you want to start MARS, check out all eclipse projects and run "gui.product" as Eclipse Application from the "de.upb.agents.gui" project. ... -
14
XJML
XJML 1.0 is a platform for Verification and Validation of Java classes
XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71) -
15
Librazur is an open source project published under the terms of the GPL. It aims to create a complete platform for creating enterprise softwares in Java, deployed with the ease of Java WebStart and built upon the fundations of Eclipse RCP.
-
16
Canorus is the next generation music score editor. It is the official successor of NoteEdit. It uses Qt4, has scripting capibilities and uses modern development standards like eclipse, patterns and test units as base.
-
17
A pure Java API for Telelogic Synergy/Change, which allow basic operations on records. The core API classes are integrated in an Eclipse plugin for convenient use through the IDE.
-
18
Selenity
A plugin for Selenium, It makes it really easy using Selenium Grid
A plugin for Selenium, It makes it really easy using Selenium Grid inside Eclipse and running your System Tests. (Also available as standalone application.) Features 1. Start/Stop Selenium Hub with desired settings 2. Supports up to 5 Selenium Remote Control 3. Custom Logging level both for Selenity and Selenium 4. Test launcher for simple tests, Can run many tests simultaneously. (Going to be a full custom test utility) -
19
A static checker that model checks the implementation of equality for an Eclipse Java Project.
-
20
Collaborative Programming
Collaborative Programming Eclipse plugin with Agile practices support
...(Stand-up) - Planning and task complexity estimating support. (Sprint Planning Meeting) - Communication support in distributed environment through the integrated tools in Eclipse IDE (Small Team) - Collaboration support between team members by preview code changes in real time. - Performing and managing peers’ code review with proper components support. -
21
cpp2xml
A tool to convert C++ definitions into XML
cpp2xml is a tool to convert C/C++ definitions into XML. The main goal is to use the XML as input to code generation tools, but any other usage may be imagined. -
22
Angosso
Performance and stability
Develop: domain secure, and performing secure Domain Name System (DNS) dynamic updates. Domain Name System Security Extensions Servlet API Package The javax.servlet.http package contains a number of classes and interfaces that describe and define the contracts between a servlet class running under the HTTP protocol and the runtime environment provided for an instance of such a class by a conforming servlet container. -
23
Antrunner4e is an eclipse-plugin that inserts a contextmenue item to start a antfile with the current file or directoryname as input.This provides an easy way to execute actions like compiling the current file, transfer by ftp, execute sql and so on.
-
24
Ecomm
Eclipse communicator
Instant messenger for IDE Eclipse -
25
JVMLense
The open source profiler for the jvm.
Get an inside view of your application. Find bottlenecks by looking at the development of the duration of your main business methods over time even in production. Find the cause of those bottlenecks by applying the profiling capabilities of JVMLense.