Proof Logic : A logical framework for theorem proving
PWC driver modded for Long Exposure and Led control support
Utility to show live progress, status & stats for running simulations
Real-time interactive 3D graphics API for scientific simulations
Libraries and command line tools for medical image processing.
AstroCTC - Linux astronomy software for Planetary and Lunar image c
Real time satellite tracking and orbit prediction
Analysis and display of Census, business, government attribute data
Visualize genetic code structure from fasta file.
Accumulation of mathematical knowledge, matrix numerical optimization
Binary Diff and Undiff Utility
An Efficient Binary data Format
Real Space Multigrid based electronic structure code.
lnlc calculates linear nlc-width and corresponding expressions