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.