Lays out dependencies (links) between Excel files in a visual graph
Synthesizing embedded control software from formal specifications
genome assembler finisher, gap, gap close, sort contig
Scheduling lockages at ship locks with several parallel lock chambers
Java utilities for byte streams, readers and format detection
We describe a simple XML format to share text documents and annotation
An example project to demonstrate continuous integration, in HTML5..
Generating PLC programs from formal specifications
A JavaDoc doclet that outputs source code structure in XML format.
Tool for parsing, verifying, browsing and converting EDIFACT and X12
Cress is a comprehensive toolset for graphical service/workflow design
Repair and Maintenance your PC easily with Smart System Repair.
Command line arguments parser for Java
Java API for the Romanian WordNet
An assembler and disassembler for the JVM (Java Virtual Machine)
Automated bacterial and archaeal genome annotation system
Stochastic Performance Logic testing tools and utilities.
Libraries developed to build an Enterprise Application