logcentral

Logging service for distributed applications

Monitoring distributed applications that are spread over a network is not an easy task. Information from several sources must be gathered, filtered and distributed to visualisation tools.

libfreerdp-client3-3

Free Remote Desktop Protocol library (client library)

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

mango-lassi

Share mouse and pointer with other computers

Mango-lassi lets you to share mouse and pointer with other computers using Avahi. It has features like: * Fully peer-to-peer. All Mango Lassi instances are both client and server at the same time. Other hosts may enter or leave a running session at any time. * No need to open X11 up for the network. * You have a 50% chance that for your setup you don't need any configuration at all. In the case of the other 50% you might need to swap the order of your screens manually in a simple dialog, because Mango Lassi didn't guess correctly which screen is left and which screen is right. * libnotify integration so that it tells you whenever a desktop joins or leaves your session. * Shows a nice OSD on your screen when your screen's input is currently being redirected to another screen. * Uses all those nifty GNOME APIs, like D-Bus-over-TCP, Avahi, libnotify, Gtk,.. * Supports both the X11 clipboard and the selection, supporting all content types, and not just simple text -- i.e. you can copy and paste image data between Gimp on your screens.

cvc3

Automatic theorem prover for SMT problems

CVC3 is an automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination.

geoclue-hostip

Position server for GeoClue (hostip)

avahi-ui-utils

Avahi GTK+ utilities

Avahi is a fully LGPL framework for Multicast DNS Service Discovery. It allows programs to publish and discover services and hosts running on a local network with no specific configuration. For example you can plug into a network and instantly find printers to print to, files to look at and people to talk to.