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.