This is a staging site. Uploads will not persist. Testing only.

libopencl-clang12

thin wrapper for clang

Opencl-clang is a thin wrapper library around clang. It has an OpenCL-oriented API and is capable of compiling OpenCL C kernels to SPIR-V modules.

libs6-2.11

small and secure supervision software suite (shared library)

s6 is a small suite of programs for UNIX, designed to allow process supervision (a.k.a service supervision), in the line of daemontools and runit, as well as various operations on processes and daemons. It is meant to be a toolbox for low-level process and service administration, providing different sets of independent tools that can be used within or without the framework, and that can be assembled together to achieve powerful functionality with a very small amount of code.

libqt63dinput6

Qt 6 3D Input library

Qt is a cross-platform C++ application framework. Qt's primary feature is its rich set of widgets that provide standard GUI functionality.

r-cran-spdl

GNU R package to Wrap RcppSpdlog Functions

Logging functions in 'RcppSpdlog' provide access to the logging functionality from the 'spdlog' 'C++' library. This package offers shorter convenience wrappers for the 'R' functions which match the 'C++' functions, namely via, say, 'spdl::debug()' at the debug level. The actual formatting is done by the 'fmt::format()' function from the 'fmtlib' library (that is also 'std::format()' in 'C++20' or later).

libclsync0t64

clsync control socket library

Clsync recursively watches for source directory and executes external program to sync the changes. Clsync is adapted to use together with rsync. This utility is much more lightweight than competitors and supports such features as separate queue for big files, regex file filter, multi-threading.

libcryptominisat5-5.11

SAT solver library

CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.