FreeRDP is a libre client/server implementation of the Remote Desktop Protocol (RDP).

This is the GNU Modula-2 compiler, which compiles Modula-2 on platforms supported by gcc. It uses the gcc backend to generate optimised code.

This package provides definitions and verified translations between different representations of regular languages for Coq: miscellaneous automata, regular expressions, WS1S logic. It also contains various decidability results and closure properties of regular languages.

The libguestfs library allows accessing and modifying guest disk images. It offers the following features, among many others: * making batch configuration changes to guests; * viewing and editing files inside guests; * getting disk used/free statistics; * migrating between virtualization systems; * performing partial backups; * performing partial guest clones; * cloning guests and changing registry/UUID/hostname info.

JSS is an authoring tool for CSS which allows you to use JavaScript to describe styles in a declarative, conflict-free and reusable way. It can compile in the browser, server-side or at build time in Node.

Mir is a display server running on Linux systems, with a focus on efficiency, robust operation and a well-defined driver model.