libghc-ogma-language-copilot-prof

Ogma: Runtime Monitor translator: Copilot Language Endpoints; profiling librarie

Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime verification framework that generates hard real-time C99 code.

libhalide12-0

fast, portable computation on images and tensors

Halide is a programming language designed to make it easier to write high-performance image and array processing code on modern machines. Halide currently targets: * CPU architectures: X86, ARM, MIPS, Hexagon, PowerPC, RISC-V * Operating systems: Linux, Windows, macOS, Android, iOS, Qualcomm QuRT * GPU Compute APIs: CUDA, OpenCL, OpenGL Compute Shaders, Apple Metal, Microsoft Direct X 12 Rather than being a standalone programming language, Halide is embedded in C++. This means you write C++ code that builds an in-memory representation of a Halide pipeline using Halide's C++ API. You can then compile this representation to an object file, or JIT-compile it and run it in the same process.

python3-bme280

Python interface for a Bosch BME280 digital sensor module

Sensor provides temperature, humidity and pressure through Python 3 using I2C interface.

libpdb-redo3

Library file for libpdb-redo

This library contains shared code for the various programs in the project PDB-REDO.

librte-net-pfe22

Data Plane Development Kit (librte-net-pfe runtime library)

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.

libqgisgrass7-3.16.14

QGIS - shared grass library

QGIS is a Geographic Information System (GIS) which manages, analyzes and display databases of geographic information.