A realtime-schedule generator for educational purposes
Proof Logic : A logical framework for theorem proving
Command-line tools for simple statistics
Neural Networks Collection
Libraries and command line tools for medical image processing.
Utility to show live progress, status & stats for running simulations
X Inertial-aided Visual Odometry
Sampling exactly from the normal and exponential distributions
Visualize genetic code structure from fasta file.
Workflow and set of tools for Automated Imagery Classification
A Parallel Tool to Find DNA Tandem Repeats on Multicore Clusters
Binary Diff and Undiff Utility
Free 3D Mobile CAD
muda.pl - MQ unified data assembler
A program for associating taxonomic information in a phylogenetic tree