libcoq-unicoq

enhanced unification algorithm for Coq

This package provides a new unification algorithm, replacing the existing one through a plugin.

gobjc++-12-powerpc64-linux-gnu

GNU Objective-C++ compiler

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

adr-tools

tools for working with a log of Architecture Decision Records

Architecture Decision Records or ADRs for short encode architectural decisions through the lifetime of a project. They are meant to help future maintainers to understand how the project came do be the way it is. ADRs can help understand past decisions, supersede them with new decisions and list currently effective decisions.

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.

gobjc++-12-powerpc-linux-gnu

GNU Objective-C++ compiler

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

php-symfony-orange-sms-notifier

Symfony Orange Sms Notifier Bridge

The Symfony Orange Sms Notifier Bridge provides Orange Sms integration for Symfony Notifier.