python3-mintpy

Miami INsar Time-series software in PYthon

The Miami INsar Time-series software in PYthon (MintPy as /mInt paI/) is an open-source package for Interferometric Synthetic Aperture Radar (InSAR) time series analysis. It reads the stack of interferograms (coregistered and unwrapped) in ISCE, ARIA, FRInGE, HyP3, GMTSAR, SNAP, GAMMA or ROI_PAC format, and produces three dimensional (2D in space and 1D in time) ground surface displacement in line-of-sight direction. It includes a routine time series analysis (`smallbaselineApp.py`) and some independent toolbox.

corectrl

Control your computer hardware using application profiles

CoreCtrl allows control of the CPU and AMD GPUs to set custom profiles for applications. This aims to be flexible, comfortable and accessible to regular users.

python3-pytest-djangoapp

Django pluggable application testing (Python3 version)

Nice pytest plugin to help you with Django pluggable application testing.

gnat-11-mipsisa32r6-linux-gnu

GNU Ada compiler

GNAT is a compiler for the Ada programming language. It produces optimized code on platforms supported by the GNU Compiler Collection (GCC).

python3-intervals

tools for handling intervals in Python

This package provides objects, methods, constructors and functions for representing and manipulating mathematical intervals. Included are factory methods for creating intervals objects, comparison operators, set operators, and arithmetic functions.

protection-domain-mapper

Qualcomm Protection Domain mapper service

This is the reference implementation for Qualcomm's Protection Domain mapper service.