libcoq-menhirlib
support library for Coq-verified Menhir parsers
This package provides a support library for verified
Coq parsers produced by Menhir.
libtepl-6-0
Text editor library for GTK
Tepl is a library that eases the development of GtkSourceView-based text
editors and IDEs. Tepl is the acronym for “Text editor product line”. It
serves as an incubator for GtkSourceView.
qml6-module-qtquick3d-particleeffects
Qt 6 Quick 3D Particle Effects QML module
Qt is a cross-platform C++ application framework. Qt's primary feature
is its rich set of widgets that provide standard GUI functionality.
libnvidia-tesla-ngx1
NVIDIA NGX runtime library (Tesla version)
The NVIDIA binary driver provides optimized hardware acceleration of
OpenGL/GLX/EGL/GLES applications via a direct-rendering X Server
for graphics cards using NVIDIA chip sets.
libnvidia-tesla-nvvm4
NVIDIA NVVM Compiler library (Tesla version)
The Compute Unified Device Architecture (CUDA) enables NVIDIA
graphics processing units (GPUs) to be used for massively parallel
general purpose computation.
libnvidia-tesla-allocator1
NVIDIA allocator runtime library (Tesla version)
The NVIDIA binary driver provides optimized hardware acceleration of
OpenGL/GLX/EGL/GLES applications via a direct-rendering X Server
for graphics cards using NVIDIA chip sets.