Smaller C is a simple single-pass C compiler with support for most of C89 and C99. It targets 16- and 32-bit x86, and MIPS, on DOS, Windows, Linux, and older versions of macOS.

Typeshed contains external type annotations for the Python standard library and Python builtins, as well as third party packages as contributed by people external to those projects.

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

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

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