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.

Libmatekbd is a keyboard configuration library for the MATE desktop environment.

Engrampa is the archive manager for the MATE Desktop.

The package contains an implementation of the freedesktop menu specification, the MATE menu layout configuration files, .directory files and assorted menu related utility programs.

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.

MATE User Guide is a collection of documentation which details general use of the MATE Desktop environment. Topics covered include sessions, panels, menus, file management, and preferences.

MATE Terminal is a terminal emulation application that you can use to access a shell. With it, you can run any application that is designed to run on VT102, VT220, and xterm terminals. MATE Terminal also has the ability to use multiple terminals in a single window (tabs) and supports management of different configurations (profiles).

Mate Netbook is a simple window management tool which:

1. Allows you to set basic rules for a window type, such as maximise|undecorate

2. Allows exceptions to the rules, based on string matching for window name and window class.

3. Allows reversing of rules when the user manually changes something: Re-decorates windows on un-maximise.

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

MATE control center is MATE's main interface for configuration of various aspects of your desktop.

Open CASCADE is a set of libraries for the development of applications dealing with 3D CAD data or requiring industrial 3D capabilities. It includes C++ class libraries providing services for 3D surface and solid modeling, CAD data exchange, and visualization. It is used for development of specialized software dealing with 3D models in design (CAD), manufacturing (CAM), numerical simulation (CAE), measurement equipment (CMM), and quality control (CAQ) domains.

This is the certified version of the Open Cascade Technology (OCCT) library.

Yices is a solver for SMT problems. It can process input in SMT-LIB format or its own s-expression-based format.

This package contains software that will allow you to use existing neural network potential parameterizations to predict energies and forces (with standalone tools but also in conjunction with the MD software LAMMPS). In addition it is possible to train new neural network potentials with the provided training tools.

Gecode is a C++ toolkit for developing constraint-based systems and applications. It provides a modular and extensible solver.

This package provides a computer algebra module for Lie groups. Documentation is available on http://www-math.univ-poitiers.fr/~maavl/pdf/LiE-manual.pdf.

OpenLibm is an effort to have a high quality, portable, standalone C mathematical library (libm). It can be used standalone in applications and programming language implementations. The project was born out of a need to have a good libm for the Julia programming language that worked consistently across compilers and operating systems, and in 32-bit and 64-bit environments.

This package provides a SAT solver based on conflict-driven clause learning.

The ELPA library provides efficient and scalable direct eigensolvers for symmetric matrices.

Why3 provides a language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions. Why3 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets and maps, etc.) and basic programming data structures (arrays, queues, hash tables, etc.). A user can write WhyML programs directly and get correct-by-construction OCaml programs through an automated extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs.

GNU JACAL is an interactive symbolic mathematics program based on Scheme. It manipulate and simplify a range of mathematical expressions such as equations, scalars, vectors, and matrices.

NetCDF is an interface for scientific data access and a software library that provides an implementation of the interface. The netCDF library defines a machine-independent format for representing scientific data. Together, the interface, library, and format support the creation, access, and sharing of scientific data.

The Interior Point Optimizer (IPOPT) is a software package for large-scale nonlinear optimization. It provides C++, C, and Fortran interfaces.

MUMPS (MUltifrontal Massively Parallel sparse direct Solver) solves a sparse system of linear equations A x = b using Gaussian elimination.

4ti2 implements algorithms for solving algebraic, geometric and combinatorial problems on linear spaces. Among others, it solves systems of linear equations, computes extreme rays of polyhedral cones, solves integer programming problems and computes Markov bases for statistics.