Verish is a language for reasoning that resembles a natural language. It is equivalent to Lower Predicate Calculus, and has a built-in framework for defining and using abbreviations, and for introducing additional principles of reasoning that can be automatically expanded into a sequence of steps that use only basic principles of reasoning. It has a basic reasoning checking function, and can automatically expand one additional principle of reasoning into a sequence of steps using only the basic principles. It can also add HTML markup to a proof for display as a Web page.
Calligra is an integrated suite of applications that cover office, creative, and management needs. It offers applications on both desktop computers and mobile platforms like tablets and smartphones. OpenDocument Format (ODF) is used, making it compatible with OpenOffice.org, LibreOffice, and Microsoft Office. Calligra Suite contains the following applications: Calligra Words (word processor), Sheets (spreadsheets), Stage (presentations), Flow (diagrams and flowcharts), Kexi (visual database creator), Braindump (note taking), Plan (project management), Krita (drawing), and Karbon (vector graphics).
NouvaLinux backup and rescue is a live CD with some special tools for making backups and system recovery. The main tool is an application made by RyXéo (a free software company): a partclone GUI. Backup is Clonezilla compatible: you can make backups with NouvaLinux backup and restore them with Clonezilla.
SSD (Sawfish Session Dialog) is a small and flexible wrapper for session commands. It is intended to be used with Sawfish, but does not require it. It can be configured to use any command for logout, reboot, shutdown, suspend, hibernate, and lock actions. Preset command definitions are available for: KDE4, GNOME2, XFCE4, MATE, and Razor-Qt. It is part of Sawfish-Extras (currently there's only SSD, but more is planned).
Kst is a fast real-time large-dataset viewing and plotting tool with built-in data analysis functionality. It contains many powerful built-in features and is expandable with plugins and extensions. It features powerful keyboard and mouse plot manipulation, a large selection of built-in plotting and data manipulation functions (such as histograms, equations, and power spectra), built-in filtering and curve fitting capabilities, a convenient command-line interface, a powerful graphical user interface with non-modal dialogs for an optimized workflow, support for several popular data formats, extended annotation objects similar to vector graphics applications, and high-quality export to bitmap or vector formats,
LibAPCNIS is a PHP library for accessing the NIS port of the Apcupsd UPS Monitoring daemon. It allows you to access realtime UPS stats from a PHP script without having Apcupsd installed. It does not require the apcaccess application included with an Apcupsd installation, and there are no external dependencies.