Proof Logic : A logical framework for theorem proving
Libraries and command line tools for medical image processing.
Real time satellite tracking and orbit prediction
Real-time interactive 3D graphics API for scientific simulations
Utility to show live progress, status & stats for running simulations
Binary Diff and Undiff Utility
Real Space Multigrid based electronic structure code.
Fast rainflow counting written in C (C99)
Natural language processing using coroutines in C
Epidemic simulator
CANopen based stack for communication in embeded control systems.
Parallel simulators for Membrane Computing on the GPU
Very simple utilite to manage Apogee cameras
A national virtual bridge engineering contest for kids of all ages.
The FMI++ PowerFactory FMU Export Utility
a Toolset for Molecular Mechanical Force Field Parameterization
A debian image with linux RT kernel, OpenCV345, ROS, and LinuxCNC
C API to control NexStar compatible telescopes