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.