libghc-data-reify-prof
Reify a recursive data structure into an explicit graph.; profiling libraries
'data-reify' provided the ability to turn recursive structures into explicit
graphs. Many (implicitly or explicitly) recursive data structure can be given
this ability, via a type class instance. This gives an alternative to using
'Ref' for observable sharing.
gccgo-11-multilib-mips64-linux-gnuabi64
GNU Go compiler (multilib support) (cross compiler for mips64 architecture)
This is the GNU Go compiler, which compiles Go on platforms supported
by the gcc compiler.
qt6-quick3dphysics-examples
Qt 6 Quick 3D physics examples
Qt is a cross-platform C++ application framework. Qt's primary feature
is its rich set of widgets that provide standard GUI functionality.
libpsmt2-frontend-ocaml
Parse and type-check SMT-LIB 2 (runtime files)
A library to parse and type-check a conservative extension
of the SMT-LIB 2 standard with prenex polymorphism.
php-jakeasmith-http-build-url
Provides functionality for http_build_url() to environments without pecl_http
This simple library provides functionality for `http_build_url()` from
pecl_http before version 2. It aims to mimic the functionality of the PECL
function in every way.
libmrpt-system2.11t64
Mobile Robot Programming Toolkit - system library
The Mobile Robot Programming Toolkit (MRPT) is an extensive, cross-platform,
and open source C++ library aimed to help robotics researchers to design and
implement algorithms in the fields of Simultaneous Localization and Mapping
(SLAM), computer vision, and motion planning (obstacle avoidance).