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).