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.