This applet displays information from various applications consistently in the MATE panel.

MATE Polkit is a MATE specific D-Bus service that is used to bring up authentication dialogs.

Icon theme using Faenza and Faience icon themes and some customized icons for MATE. Furthermore it includes some icons from Mint-X-F and Faenza-Fresh icon packs.

Mate-panel contains the MATE panel, the libmate-panel-applet library and several applets. The applets supplied here include the Workspace Switcher, the Window List, the Window Selector, the Notification Area, the Clock and the infamous 'Wanda the Fish'.

Mate System Monitor provides a tool for for the MATE Desktop to monitor your system resources and usage.

The MATE Desktop Environment is the continuation of GNOME 2. It provides an intuitive and attractive desktop environment using traditional metaphors for GNU/Linux systems. MATE is under active development to add support for new technologies while preserving a traditional desktop experience.

Mate Common includes common files and macros used by MATE applications.

Atril is a simple multi-page document viewer. It can display and print PostScript, Encapsulated PostScript EPS, DJVU, DVI, XPS and Portable Document Format PDF files. When supported by the document, it also allows searching for text, copying text to the clipboard, hypertext navigation, and table-of-contents bookmarks.

Pluma is the text editor for the MATE Desktop.

MATE Power Manager is a MATE session daemon that acts as a policy agent on top of UPower. It listens to system events and responds with user-configurable actions.

This library provides access to weather information from the internet for the MATE desktop environment.

This package includes the standard themes for the MATE desktop, for example Menta, TraditionalOk, GreenLaguna or BlackMate. This package has themes for both gtk+-2 and gtk+-3.

wxMaxima is a graphical user interface for the Maxima computer algebra system. It eases the use of Maxima by making most of its commands available through a menu system and by providing input dialogs for commands that require more than one argument. It also implements its own display engine that outputs mathematical symbols directly instead of depicting them with ASCII characters.

wxMaxima also features 2D and 3D inline plots, simple animations, mixing of text and mathematical calculations to create documents, exporting of input and output to TeX, and a browser for Maxima's manual including command index and full text searching.

TypeTree is a template library for constructing and operating on statically typed trees of objects.

SMTInterpol is an SMT solver, that can compute Craig interpolants for various theories.

The p4est software library enables the dynamic management of a collection of adaptive octrees, conveniently called a forest of octrees. p4est is designed to work in parallel and scales to hundreds of thousands of processor cores.

HDF5 is a suite that makes possible the management of extremely large and complex data collections.

SCOTCH is a set of programs and libraries which implement the static mapping and sparse matrix reordering algorithms developed within the SCOTCH project. Its purpose is to apply graph theory, with a divide and conquer approach, to scientific computing problems such as graph and mesh partitioning, static mapping, and sparse matrix ordering, in application domains ranging from structural mechanics to operating systems or bio-chemistry.

Wcalc is a very capable calculator. It has standard functions (sin, asin, and sinh for example, in either radians or degrees), many pre-defined constants (pi, e, c, etc.), support for using variables, "active" variables, a command history, hex/octal/binary input and output, unit conversions, embedded comments, and an expandable expression entry field. It evaluates expressions using the standard order of operations.

The itex2MML utility is a stream filter. It takes text with embedded itex equations, converts the itex equations to MathML, and outputs the resulting text.

This package contains an implementation of the POPF planner described in Forward-Chaining Partial Order Planning, that has been updated to compile with newer C++ compilers.

Chuffed is a state of the art lazy clause solver designed from the ground up with lazy clause generation in mind. Lazy clause generation is a hybrid approach to constraint solving that combines features of finite domain propagation and Boolean satisfiability.

GKlib is a library of various helper routines and frameworks used by software from KarypisLab, such as METIS.

Kissat is a bare-metal SAT-solver written in C. It is a port of CaDiCaL back to C with improved data structures, better scheduling of inprocessing and optimized algorithms and implementation.