libftxui-dom5.0.0

Cross-platform C++ functional TUI library - DOM Module

ftxui is a modern C++ TUI library for building interfaces in a functional style.

gobjc++-14-mipsisa32r6el-linux-gnu

GNU Objective-C++ compiler for the mipsisa32r6el-linux-gnu architecture

This is the GNU Objective-C++ compiler for the mipsisa32r6el-linux-gnu architecture, which compiles Objective-C++ on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.

libportal-gtk4-1

Flatpak portal library for GTK 4 GUIs

libportal provides GIO-style C APIs for most Flatpak portals' D-Bus interfaces. It is primarily intended for installation in Flatpak runtimes, where applications can use it to interact with portals; it can also be used to test the portal services.

libcoq-aac-tactics

Coq tactics for reasoning modulo AC (theories)

This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.

fp-units-win-fcl

Free Pascal - Free Component Library dependency package

The Free Pascal Compiler is an Object Pascal compiler supporting both Delphi and Turbo Pascal 7.0 dialects, as well as Mac Pascal dialects. It provides a completely portable RunTime Library (RTL) available on many platforms and compatible with Turbo Pascal, along with a platform-independent class-based Free Component Library (FCL) adding many Delphi extensions and interfacing with many popular open source libraries.

libmrpt-vision-lgpl2.5

Mobile Robot Programming Toolkit - vision-lgpl 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).