Fast comparer for database data in the key predefined tables
Mobile implementation of HMA standardised EO data sources
A OWL reasoning framework for the analysis of big biomedical data
Monitor your GNU/Linux server with your smartphone
Spatial data transformation, multi-scale mapping, vector web mapping
Ric & Ry Remote Protocol
proof verifier for mathematical proofs and documentation generator
Alignments in Rotating Cylinder / 3D
Graphical tool for visualizing changes in web pages
A Java application for transferring computer files in 5 letter groups
Information System "Supercritical Fluid Extraction"
Modern, cross platform library of functions used in CoCo software