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.
This Java library (currently 217 classes) is able to handle quantities in terms of basic arithmetics, conversion to similar units, serialization. As framework it allows to create new dimensions and units by inheritance.
JavaSeis.org: Java based software for processing and storing petroleum industry seismic data.
GeneaPro is a multi-user, cross-platform Genealogy database program based on the GenTech Genealogical Data Model. Written in Java using the Eclipse Rich Client Platform (RCP), Hibernate persistance, and SQL/JDBC databases (HSQLDB, MySQL, PostgreSQL).
The FBench is the ongoing development of an open-source graphical software tool for embedded automation components and systems based on the IEC 61499 standard. The project originates from the OOONEIDA Workbench pioneered by Dr. James Christensen in 2005.
Project c2h - cetacean to human - building Seadragon, a tool for the scientific research of the acoustic communication of cetaceans, supporting the creation, emission, and recognition of underwater whistles. The blog: http://leafyseadragon.blogspot.com/
Jastor is a Java code generator that generates Beans from Web Ontologies (OWL) enabling convenient, type safe access and eventing of RDF stored in a Jena model. Jastor uses Eclipses Java Emitter Templates (JET).
Simulation platform for automated stock exchange trading. It delivers statistics to analyse performance on historic data and allows comparison between trading strategies, that can be coded in Java.
A deterministic pandemic influenza simulator. Computes the effect of interventions like antiviral treatment of cases and social distancing. To be used for pandemic preparedness planning by health care offices. OS-independent Java/SWT/RCP/Applet.
OpenSHORE is an XML based Semantic Document Repository (SDR) with a free definable meta model that builds up a semantic network from sections and relations in documents. The acronym SHORE means Semantic Hypertext Object Repository.
The Annotation Graph Schema API aims to aid developers in the creation and querying of Annotation bases where the use of XML-based tools is needed. It is easily integratable with any persistent representation and has a flexible in-memory model.
Jason (AgentSpeak) implementation for Robocup Rescue, including launcher, TCP/UDP connection and agents for FireBrigade, FireStation, AmbulanceTeam, AmbulanceCenter, PoliceForce and PoliceStation.
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.
A Java tool for mining pathway mentions from literature
PathNER is a tool for the identification of specific pathway mentions from biomedical literature. PathNER is built upon the GATE embedded framework.It's based on soft dictionary matching and rules-based detection. The dictionary is generated from ConsensusPathDB and Pathway Ontology and the rules are implemented in JAPE. Using PathNER, you can identify all occurrences of informative pathway names (e.g. 'the Wnt pathway'). PathNER can be used to assist studies that aim at uncovering associations between disease and pathways.
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.
Dynagraph for Grappa is a Java front-end for the Dynagraph graph layout engines. It supports direct manipulation (graphical editing) of graphs, as well as text-driven display of dynamic graphs.
Tool to achieve measures of sizes and angles using a set of visual drawing rules in screen. The rules can be resized, inverted and placed horizontally and vertically. Multiple pointers to capture polygonal forms. Easy to use and multiplatform.
Java-based implementation of the Optimization Programming Language.
AnywhereAnyway makes it possible to view and fully-interact with one computer from any other computer or mobile device anywhere on the Internet. It is cross-platform, allowing remote control between different types of computers running different OSes.
A tool to extract BHPS individuals with ANY variable form ANY wave (1991-2003). It create lifepaths, for further research.
bioviz (with a z) replaces biovis (with an s) See http://www.bioviz.org for details on the Bioviz project.
Broccoli contains: -real and complex numbers,vectors,matrices,functions,polynomials -function minimizers,evolutionary algorithms,neural networks -pdfs,cdfs,max-likelihood,regression,DGPs,PRNGs,armax,garch,statistical estimation etc. -friendly JavaSwingGUI
The Concern Modeling Tool is both a framework for software engineers, who desire to explore Multidimensional Separation of Concerns (MDSoC) concepts, and software developers/project managers who intend to develop concern oriented systems.
Crypt-EG is an easy visual cryptosystem program that implements ElGamal method using elliptic curves.
The future of information technology will be based on controlling the flow of natural light. This project is an attempt to establish the code (or software) that will enable this to happen. It involves rewriting an OS from the ground up.