Tool support for the Z formal notation
Ultra Fast Geospatial Database & Geofencing Server
Structure-from-Motion and Multi-View Stereo
Leading open-source visualization and observability platform
Geographic library
Simple tools for working with gravitational waves
Command-line tools for astronomy and astrophysics
A portable, multi-platform, command-line driven graphing utility
A cross-platform statistical package for econometric analysis
High-performance read alignment, quantification and mutation discovery
Tools to analyse output from the stellar-evolution code ev/STARS/TWIN
General Mission Analysis Tool
An USB programmer for PIC, dsPIC, AVR, serial memories
2D & 3D TeX-Aware Vector Graphics Language