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.