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.