Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.
Easy Eclipse makes Eclipse & Eclipse plugins easy to download, install & use. We test Eclipse plugin & create installers to deliver complete Eclipse-based IDEs & Eclipse plug-ins for C/C++, Java, Perl, PHP, Python, Ruby. Visit http://easyeclipse.org
Stock exchange analysis system, featuring shares pricing watch, intraday and history charts with technical analysis indicators, level II/market depth view, news watching, automated trading systems, integrated trading. Based on Eclipse RCP framework.
SBLIM (pronounced "sublime"), the Standards Based Linux Instrumentation for Manageability is an IBM-initiated Open Source project, intended to enhance the manageability of GNU/Linux systems. It does so by enabling WBEM, Web Based Enterprise Management.
Jikes RVM is a flexible infrastructure for virtual machine research
Jikes RVM (Research Virtual Machine) provides a flexible open testbed to prototype virtual machine technologies and experiment with a large variety of design alternatives. Jikes RVM runs on many platforms and advances the state-of-the-art of virtual machine technologies for dynamic compilation, adaptive optimization, garbage collection, thread scheduling, and synchronization. It is self-hosted, i.e. its Java code runs on itself without requiring a second virtual machine. Most other virtual machines for the Java platform are written in native code (typically C or C++). A Java implementation provides ease of portability and a seamless integration of virtual machine and application resources such as objects, threads, and operating-system interfaces.
Task Parallel Engine for JavaSE
TymeacSE is a full-feature, multi-threading, fork-join framework for Java SE development (RMI and internal server). TymeacSE provides a high performance queuing facility, professional thread management and recursive processing that is easy to use.
The Model Operations Processing System (MOPS) has been designed to assist operations on model railroads. It has the look and feel of mainframe systems that would have been in used in the late 20th century.
Implementation of Combinatory Reduction Systems (CRS) with experimental extensions, in Java. CRS is a formalism for higher-order rewriting invented by J.W.Klop in 1980. For further details see the Project/Web Site.
UI Widgets, Theme, plugins that will help you build SWT/JFace/RCP applications.
Data Parallel Engine for JavaSE
TymeacDSE is a Fork-Join application server employing the Divide-and-Conquer methodology in either an embedded or remote (RMI) configuration.
Mercury-Ant is a framework of directory structures and naming conventions to allow multiple projects to use a single ant build file for common targets. This facilitates diverse configuration files and cross project deployment and installation targets.
NetClipse is an Eclipse plugin for NetBeans. Eclipse runs embedded within the NetBeans platform as a plugin offering the best of both worlds to Java developers. May be just a joke ;-) .... Check also it's twin at : http://sf.net/projects/beanclipse
A PHP Unit Testing plugin for Eclipse, it's just a view, a wizard ...
Source Attacher - Eclipse plugin capable of attaching sources to opened classes automatically from specified library directory. Repository Search - Web application compatible with Source Attacher. Is capable of downloading Maven repository indexes.
The Tinikling Labanotation Editor
onevan is an Open-source projects