ott-tools
Ott tool (executable)
Ott is a tool to write definitions of programming
languages and calculi. From the definition of a
language syntex and semanticsin a concise and readable
notation close to informal mathematics, it can
provide LaTeX, Coq, HOL, Isabelle/HOL, Lem or OCaml
versions of the definition.
libstdc++-13-pic-powerpc-cross
GNU Standard C++ Library v3 (shared library subset kit) (powerpc)
This is used to develop subsets of the libstdc++ shared libraries for
use on custom installation floppies and in embedded systems.
dxvk-wine32
Vulkan-based translation layer for Direct3D 8/9/10/11 - wine32 build
DXVK is a Vulkan-based translation layer for Direct3D 8/9/10/11 which
allows running 3D applications on Linux using Wine.
libsrpc0
Sogou RPC (SRPC) Runtime Library
SRPC is an enterprise-level RPC framework widely used by Tencent, Sogou and
many small and medium-sized companies. It handles hundreds of millions of
requests every day, mainly from search engines. It supports two common IDLs:
protobuf and thrift, and implements several commonly used rpc protocols.
It is also an open source version of Tencent's enterprise-level RPC protocol,
tRPC.
libstdc++-13-pic-hppa-cross
GNU Standard C++ Library v3 (shared library subset kit) (hppa)
This is used to develop subsets of the libstdc++ shared libraries for
use on custom installation floppies and in embedded systems.
libopenvdb9.1
Sparse Volume Processing toolkit - lib
OpenVDB is an open source C++ library comprising a novel hierarchical data
structure and a suite of tools for the efficient storage and manipulation of
sparse volumetric data discretized on three-dimensional grids. It is developed
and maintained by DreamWorks Animation for use in volumetric applications
typically encountered in feature film production.