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