This package provides a formalization of real analysis compatible with the Coq standard library.

String::License identifies license statements in a string and serializes them in a normalized format.

Hypre is a set of matrix preconditioning libraries to aid in the solution of large systems of linear equations.

The SpatiaLite extension enables SQLite to support spatial (geometry) data in a way conformant to OpenGis specifications, with both WKT and WKB formats.

QCoro is a C++ library that provide set of tools to make use of C++20 coroutines in connection with certain asynchronous Qt6 actions.

ASF Data Search is an easy to use search tool for finding SAR data and freely processing higher level SAR products such as InSAR and AutoRIFT products with ASF's HyP3 service.