libcoq-unimath

univalent formalization of mathematics for Coq

This package provides a library to formalize a substantial body of mathematics using the univalent point of view.

qml6-module-qtqml-xmllistmodel

Qt 6 QtQml XmlListModel QML module

Qt is a cross-platform C++ application framework. Qt's primary feature is its rich set of widgets that provide standard GUI functionality.

libsundials-nvecparallel-petsc6

PETSc vector operations library (SUNDIALS library)

This package provides implementations for all vector operations defined by the generic NVECTOR module in the table of operations for SUNDIALS (SUite of Nonlinear and DIfferential/ALgebraic equation Solvers).

libsysprof-4

library for system-wide Linux profiler

Sysprof is a sampling CPU profiler that uses a ptrace in Linux kernel to profile the entire system, not just a single application. Sysprof handles shared libraries and applications do not need to be recompiled. In fact they don't even have to be restarted.

libimlib2t64

image loading, rendering, saving library

Imlib2 is a library that does image file loading and saving as well as rendering, manipulation, arbitrary polygon support, etc.

libandroid-zipflinger-java

Library dedicated to ZIP files manipulation

It can create an archive from scratch but also add/remove entries without decompressing/compressing the whole archive. The goal of the library is to work as fast as possible (its original purpose is to enable fast Android APK deployment). The two main features allowing high-speed are Zipflinger's ability to edit the CD of an archive and its usage of zero-copy transfer when moving entries across archives.