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.