gobjc-13-mips64-linux-gnuabi64

GNU Objective-C compiler for the mips64-linux-gnuabi64 architecture

This is the GNU Objective-C compiler for the mips64-linux-gnuabi64 architecture, which compiles Objective-C on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.

libmdock-java

lightweight Java component nesting and docking system

Lightweight Java docking framework as used by Protégé.

r-cran-rcpptoml

'Rcpp' Bindings to Parser for Tom's Obvious Markup Language

The configuration format defined by 'TOML' (which expands to "Tom's Obvious Markup Language") specifies an excellent format (described at <https://toml.io/en/>) suitable for both human editing as well as the common uses of a machine-readable format. This package uses 'Rcpp' to connect the 'cpptoml' parser written by Chase Geigle (in C++11) to R.

libcuinj64-11.6

NVIDIA CUINJ Library (64-bit)

The Compute Unified Device Architecture (CUDA) enables NVIDIA graphics processing units (GPUs) to be used for massively parallel general purpose computation.

libcupti11.6

NVIDIA CUDA Profiler Tools Interface runtime library

The CUDA Profiler Tools Interface (CUPTI) enables the creation of profiling and tracing tools that target CUDA applications. CUPTI provides a set of APIs targeted at ISVs creating profilers and other performance optimization tools. The CUPTI APIs are not intended to be used by developers in their CUDA applications.

libcoq-core-ocaml

runtime libraries for Coq

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.