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