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.
k3conf
Powerful Diagnostic Tool for Texas Instruments K3 based Processors
K3CONF is a Linux user-space application designed to provide a quick'n easy way
to dynamically diagnose Texas Instruments' K3 architecture based processors.
k3conf is intended to provide a similar experience to that of OMAPCONF that
runs on legacy TI platforms.
qml6-module-qtcore
Qt 6 QML Core 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.
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-qt-labs-sharedimage
Qt 6 Shared Image Provider 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.
chuffed-flatzinc
lazy clause generation FlatZinc implememntation
Chuffed is a state of the art lazy clause solver designed from the
ground up with lazy clause generation in mind. Lazy clause generation
is a hybrid approach to constraint solving that combines features of
finite domain propagation and Boolean satisfiability. It combines
some of the advantages of finite domain constraint programming (high
level model and programmable search) with some of the advantages of
SAT solvers (reduced search by nogood creation, and effective
autonomous search using variable activities).