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.
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.
python3-stone
interface description language (IDL) for APIs (Python3 version)
The Official API Spec Language for Dropbox. Define an API once in Stone. Use
backends, i.e. code generators, to translate your specification into objects
and functions in the programming languages of your choice.