sugar-session
Sugar Learning Platform - window manager
Sugar Learning Platform promotes collaborative learning
through Sugar Activities that encourage critical thinking,
the heart of a quality education.
Designed from the ground up especially for children,
Sugar offers an alternative to traditional "office-desktop" software.
libwebcam0
Webcam Library
The Webcam Library libwebcam is designed to simplify
the development of webcam applications, primarily on Linux but
with an option to be ported to other platforms, in particular
Solaris. It realizes part of what the unwritten Video4Linux user
space library was always supposed to be: an easy to use library
that shields its users from many of the difficulties and problems
of using the V4L2 API directly.
nextcloud-desktop-cmd
folder synchronization with an Nextcloud server - cmd client
The Nextcloud desktop app lets you always have your latest files wherever
you are. Just specify one or more folders on the local machine to and a server
to synchronize to. You can configure more computers to synchronize to the same
server and any change to the files on one computer will silently and reliably
flow across to every other.
libspex2
solves sparse linear systems in exact arithmetic
Suitesparse is a collection of libraries for computations involving
sparse matrices.
libmrpt-random2.11
Mobile Robot Programming Toolkit - random library
The Mobile Robot Programming Toolkit (MRPT) is an extensive, cross-platform,
and open source C++ library aimed to help robotics researchers to design and
implement algorithms in the fields of Simultaneous Localization and Mapping
(SLAM), computer vision, and motion planning (obstacle avoidance).
libcoq-mathcomp-real-closed
Real closed fields for Mathematical Components
This library contains definitions and theorems about real closed fields
for Mathematical Components. It includes a construction of the real
and algebraic closure (with a proof of the fundamental theorem of
algebra). The decidability of the first order theory of real closed
field, through quantifier elimination is also established.