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.
Dynagraph is a cross-platform library and command-line tool for dynamically drawing graphs (networks, flowcharts, family trees, etc.) in reponse to continual modifications. Included are DynaDAG for directed graphs and FDP force-directed placement.
FlexWiki is a collaborative web-based authoring environment implemented on the Microsoft .NET platform.
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).
PROJECT DEVELOPMENT MOVED TO GITHUB! EmoFilt enables the free-for-non-commercial-use speech synthesis engine MBROLA to sound emotional by manipulating the phonetic description. It does so by modifying melody and rhythm of the speech, matching a target emotion. It is available for 34 languag
Description and detailed explanation on Fourier Transform, some FFT, LPC etc. Runable project demonstrates DCT transform on continuous audio, show and edit audio source with different zooming and view.
Generates prime numbers. This program finds primes by checking to see if the modulus of the current number is equal to 0 for any previously found primes up unitl the square root of the number.
JavaSeis.org: Java based software for processing and storing petroleum industry seismic data.
WINX focus the goal: MOST SIMPLE BUT EFFECTIVE. It is a C++ template GUI library that easy to use, and compatible to WTL. WTL is an effective Windows GUI library. However, it is NOT SIMPLE. (NOTE: We're migrating to http://code.google.com/p/winx)
Turing and Post Machines' C++ Simulators
The C++-programs simulate : Nondeterministic/Deterministic Multitape Turing & Post Machines, Universal Turing Machine, Turing Machine with faults, failures and recovery.
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).
High quality and high performance scalable vector graphic library for C++. Anti-aliasing, alpha-blending, gradients & Gouraud shading, custom processing pipelines, filtered image transforms, affine and perspective tranforms, etc. Note: This project has b
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/
JSPowerLin - Linux with a Java edge, a lightweight platform for developing and deploying J2EE applications and Java Server Pages on a server or servercluster.
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.
Jason (AgentSpeak) implementation for Robocup Rescue, including launcher, TCP/UDP connection and agents for FireBrigade, FireStation, AmbulanceTeam, AmbulanceCenter, PoliceForce and PoliceStation.
PROSE is a system that performs controlled, systematic, and efficient modification of the code of running Java applications without requiring them to be shut down. PROSE is an infrastructure that supports software adaptation by extending apps at runtime.
The Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning using the discrete event calculus, a comprehensive and highly usable formalism for reasoning about action, change, space, and mental states.
Gentee is a friendly full-scale and free programming language. It is easy-to-master and can be a reliable assistant in your everyday work. Software developers can easily use it in their applications.
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.
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.
Computational implementation of 3D shape grammar for AutoCAD. For creation and use of shape grammars, with canonical shape representation, instance matching with shape emergence, full grammar rules derivation.
ADOL-Py is a python extension to the ADOL-C automatic differentiation library.
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.