Synthesizing embedded control software from formal specifications
genome assembler finisher, gap, gap close, sort contig
Java Chess Engine
DNA/RNA Sequence K-mer Toolkit
Tool for parsing, verifying, browsing and converting EDIFACT and X12
Modular Java framework for meta-heuristic optimization
Program to export Oracle APEX workspace and applications
IP Monitor notifies you when your public IP address changes
Tarte project provides common API libraries among multi-languages.
Dialogue Similarity
Simple soundboard app with hotkeys
A small java tool that will consume your CPUs
Portable multi-platform backup tool with advanced features
GeneticAlgorithm-based search for Heterogeneous Ensemble Combinations
Its The Graphicsl User Interface to MySQL, providing wide coverage.
Open Source Managed File Transfer