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.

Mate-applets includes various small applications for Mate-panel:

1. accessx-status: indicates keyboard accessibility settings, including the current state of the keyboard, if those features are in use.

2. Battstat: monitors the power subsystem on a laptop.

3. Character palette: provides a convenient way to access non-standard characters, such as accented characters, mathematical symbols, special symbols, and punctuation marks.

4. MATE CPUFreq Applet: CPU frequency scaling monitor

5. Drivemount: lets you mount and unmount drives and file systems.

6. Geyes: pair of eyes which follow the mouse pointer around the screen.

7. Keyboard layout switcher: lets you assign different keyboard layouts for different locales.

8. Modem Monitor: monitors the modem.

9. Invest: downloads current stock quotes from the Internet and displays the quotes in a scrolling display in the applet. The applet downloads the stock information from Yahoo! Finance.

10. System monitor: CPU, memory, network, swap file and resource.

11. Trash: lets you drag items to the trash folder.

12. Weather report: downloads weather information from the U.S National Weather Service (NWS) servers, including the Interactive Weather Information Network (IWIN).

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

Mate-settings-daemon is a fork of gnome-settings-daemon.

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

Engrampa is the archive manager for the MATE Desktop.

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.

SoftFPU is a C++ library implementing concrete and symbolic semantics for floating point numbers as defined in the IEEE-764 Standard for Floating-Point Arithmetic. It is templated in terms of the bit-vectors, propositions, floating-point formats and rounding mode types used. This allow the same code to be executed as an arbitrary precision library or to be used to build symbolic representations of floating-point operations.

Fast Downward is a portfolio-based planning system that supports the propositional fragment of PDDL2.2.

An implementation of the maxflow algorithm described in An Experimental Comparison of Min-Cut/Max-Flow Algorithms for Energy Minimization in Computer Vision.

Yuri Boykov and Vladimir Kolmogorov.

In IEEE Transactions on Pattern Analysis and Machine Intelligence,

September 2004

This is a C version of the minpack minimization package. It has been derived from the fortran code using f2c and some limited manual editing. Extern C linkage permits the package routines to be called from C++.

Elemental is a modern C++ library for distributed-memory dense and sparse-direct linear algebra, conic optimization, and lattice reduction.

SUNDIALS is a family of software packages implemented with the goal of providing robust time integrators and nonlinear solvers that can easily be incorporated into existing simulation codes.

AMD is a set of routines for ordering a sparse matrix prior to Cholesky factorization (or for LU factorization with diagonal pivoting).

METIS is a set of serial programs for partitioning graphs, partitioning finite element meshes, and producing fill-reducing orderings for sparse matrices. The algorithms implemented in METIS are based on the multilevel recursive-bisection, multilevel k-way, and multi-constraint partitioning schemes.

Kiwi is an efficient C++ implementation of the Cassowary constraint solving algorithm. Kiwi has been designed from the ground up to be lightweight and fast. Kiwi ranges from 10x to 500x faster than the original Cassowary solver with typical use cases gaining a 40x improvement. Memory savings are consistently > 5x.

PETSc, the Portable, Extensible Toolkit for Scientific Computation, is a suite of data structures and routines for the scalable (parallel) solution of scientific applications modeled by partial differential equations. It employs the MPI standard for all message-passing communication. petsc4py provides Python bindings to almost all functions of PETSc.

GNU Dionysus is a convenient system for quickly retrieving the values of mathematical constants used in science and engineering. Values can be searched using a simple command-line tool, choosing from three databases: universal constants, atomic numbers, and constants related to semiconductors.

ARPACK-NG is a collection of Fortran77 subroutines designed to solve large scale eigenvalue problems.

DUNE, the Distributed and Unified Numerics Environment is a modular toolbox for solving partial differential equations (PDEs) with grid-based methods. It supports the easy implementation of methods like Finite Elements (FE), Finite Volumes (FV), and also Finite Differences (FD).

libensemble is a complete toolkit for dynamic ensembles of calculations. It connects deciders to experiments or simulations.

Veusz is a scientific plotting and graphing program with a graphical user interface, designed to produce publication-ready 2D and 3D plots. In addition it can be used as a module in Python for plotting. It supports vector and bitmap output, including PDF, Postscript, SVG and EMF.

GLPK is a C library for solving large-scale linear programming (LP), mixed integer programming (MIP), and other related problems. It supports the GNU MathProg modeling language, a subset of the AMPL language, and features a translator for the language. In addition to the C library, a stand-alone LP/MIP solver is included in the package.

mCRL2 (micro Common Representation Language 2) is a formal specification language for describing concurrent discrete event systems. Its toolset supports analysis and automatic verification, linearisation, simulation, state-space exploration and generation, and tools to optimise and analyse specifications. Also, state spaces can be manipulated, visualised and analysed.