Xmonad

Begun in March 2007, it is similar to dwm, larswm, StumpWM and other members of the tiling window manager family in that it arranges windows in a non-overlapping pattern and strives to make it possible for the user to productively manage windows without the use of the mouse. xmonad is packaged and distributed on a wide range of Unix-like operating systems, such as a large number of Linux distributions, and BSD systems.

While originally a clone of dwm (derivative in areas such as default keybindings), xmonad now supports features not available to dwm users such as per-workspace layout, tiling reflection, state preservation, layout mirroring, GNOME support and per-screen status bars; it can be customised by modifying an external configuration file and 'reloaded' while running. xmonad features have begun to influence other tiling window managers - dwm has borrowed "urgency hooks" from xmonad, has also included Xinerama support (for multihead displays) with release 4.8, and patches exist to reimplement xmonad's Fibonacci layout.

Extensions to the core system, including emulation of other window managers and unusual layout algorithms, such as window tiling based on the Fibonacci spiral, have been implemented by the active community and are available as a library.In addition to obviating the need for the mouse, of Functional Programs| the xmonad developers make heavy use of semi-formal methods and program derivation for improving reliability and enabling a total line of code count less than 1200, as of version 0.7; window manager properties (such as the behavior of window focus) are checked through use of QuickCheck. This emphasis makes xmonad unusual in a number of ways; besides being the first window manager written in Haskell, it is also the first to use the zipper data structure for automatically managing focus, and its core has been proven to be safe with respect to pattern matches, contributing further to reliability.