Search Results for "eclipse-jpf" - Page 12
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
ModelMutationSystem
Mutation System for UML and Variability Models
This Mutation Systems defines operators for mutating UML and variability models. In UML it supports the following diagram types: state machines, classes, composite structures, In variability modeling it supports feature models and feature mapping models. -
2
Coronis SDK
Set of module for data processing of wireless device
The goal is to create a leading “Set of software libraries for data processing of wireless device based on Coronis platform“. These libraries will run on all major platforms (embedded and desktop) and provide services for data processing through generic APIs. Keywords: Coronis, Wavenis, API, Plugin, Wireless, Waveport, Wavecard, Profile, Java, C, C++, C# -
3
This Eclipse plugin help you to create, edit and verify your GLSL (OpenGL Shading Language) and NVidia CG vertex and pixel shaders directly inside the Eclipse IDE. Each shader can be edit in an editor with syntax color with error/warning markers.
-
4
SOMOMOTO
Software Modularization and Monitoring Tool
An Eclipse plug-in to monitor and act against the deterioration of software modularity in Java source code. On going development, with a prototype available. -
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
5
Extension to the well-known Tomcat Sysdeo Plugin for eclipse. It adds features for managing context both, for: * Runtime functions like start, stop & reload context * Configuration functions like removing a context. Solving annoying development tasks
-
6
This project has been moved to github: https://ragnaroek.github.io/dandelion/ https://github.com/Ragnaroek/dandelion
-
7
rejcc
Customized version of JavaCC 5.0
Customized version of JavaCC 5.0 to add incremental parsing. Set up as an Eclipse project. -
8
2step is a development framework written in Java for developing complete web applications (including web services). As a servlet framework features access control, logging, I18N, database access, deploy, XML/XSL, etc, and uses Jetty, FOP and jCharts.
-
9
The OWL-S Composer is an open source plugin that supports graphical Web Services composition under Eclipse, helping inexperient developers to build OWL-S compositions and giving a pratical solution for the experient ones.
-
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.
-
10
An Eclipse-based IDE for Erlang http://www.erlang.org, a concurrency-oriented language developed by Ericsson. The project is now hosted at https://github.com/erlang/erlide_eclipse Please install/update from http://download.erlide.org/update
-
11
Columns Plug-in for Eclipse defines the concept of 'column' and some functions of this editable component. Functions such as copy, paste, cut, fill, lowercase, uppercase, search and replace, columns history and others are provided.
-
12
Eclipse Development Plugins: DB Manager, DB Designer, Report Designer for JasperReports, Dev Assistant, Properties Editor
-
13
Transtrl for i18n
Transtrl locates need-to-translate strings for Java software i18n
Transtrl is a need-to-Translate String Locator. It is an eclipse plugin that locates the constant strings that require translation for Java software internationalization (i18n) and further localization (L10n). The developers can either use the tool to work out a internationalized version quickly or check whether they forget to externalize some constant strings in their i18ned versions. The new version of the tool (TransVis) also support visualize how constant strings flows to the GUI and how the string is concatenated with other strings. -
14
MagicGroup is an Eclipse plugin that permits you to group resources (mainly source files) differently than from the Project Explorer's view.
-
15
This project hosts a number of small Eclipse utility plugins including an Eclipse-Windows explorer integration plugin and a negative text search engine (for finding files that do not contain a particular word or phrase).
-
16
DEFT, the Development Environment For Tutorials, allows you to easily write and maintain tutorials which contain source code examples. If the code you're documenting changes, your examples in the tutorial will change as well.
-
17
Fara
A rearchitecture for the ActionFixture for the FIT Library
This project is a small rearchitecture of the FIT Libraries action fixture to avoid bad scaling fixture classes when used with ui testing. Also it provides an adapter for fest testing. There are a few commands implemented yet to use your ui. It is possible that this fit framework do not only grow with ui tests it could be possible to integrate persistence fixture classes. -
18
Isabelle/Eclipse
Eclipse integration for Isabelle proof assistant
...By building on Eclipse it inherits various IDE goodies out of the box. This SourceForge project is used to distribute Isabelle/Eclipse files - the source code and issue management is available on GitHub: http://github.com/andriusvelykis/isabelle-eclipse Visit Isabelle/Eclipse website at http://andriusvelykis.github.com/isabelle-eclipse -
19
The DocBook Publishing Utilities tools, which make creation and publishing of DocBook easier. The tools are: Maven plug-in to Transform HTML into XML (use after docbkx); Eclipse DocBook table editor; Eclipse wizards for initial DocBook files.
-
20
-
21
eclipse.cppunit.testsrunner
CppUnit for Eclipse CDT C/C++ Unit Testing Support
This Eclipse plugin provides a CppUnit Tests Runner for Eclipse CDT C/C++ Unit Testing Support plugin. The plugin takes the vanilla CppUnit XML Test Report output by a test application and adds the test results to the Eclipse CDT C/C++ Unit view. -
22
...Please find us at https://github.com/thechiselgroup/Diver. Support requests & messages sent here may never be seen.) Dynamic Interactive Views For Reverse Engineering. Div/er is a set of Eclipse Plugins that aid developers in understanding software. It uses dynamic analysis and reverse engineering to offer views and filters that aid comprehension and discovery.
-
23
HotelsReservations
Android Application Integrated with a Web Application (Beta Version)
Android Application devoted for hotels reservation in Lebanon (Rooms, Suites), exchanged with a web application using PHP/MYSQL. -
24
Octclipse
Octave Eclipse GUI
...Mac support is possible. The project needs a maintainer for Mac version, since I don't have Mac to build Octclipse and test it on this platform. Also, it is worth to support Eclipse 4.0 Juno with DLTK 4. -
25
CodeCover is a free glass box testing tool that measures statement, branch, loop, MC/DC, ?-operator, and sync- coverage. CodeCover supports coverage reports per each test case. Available languages: Java and COBOL.