Numix is a modern flat theme with a combination of light and dark elements for any GTK-based desktop environment, including GNOME Shell, Unity, MATE, Cinnamon and more.

Konversation is a client for the Internet Relay Chat (IRC) protocol. It is easy to use and well-suited for novice IRC users, but novice and experienced users alike will appreciate its many features:

mCRL2 stands for micro Common Representation Language 2. It is a specification language that can be used to specify and analyse the behaviour of distributed systems and protocols and is the successor to muCRL. Using its accompanying toolset, systems can be analysed and verified automatically.

The Common Open Research Emulator (CORE) is a tool for emulating networks in one or more machines. You can connect these emulated networks to live networks.

Repo is a repository management tool that the Android developers built on top of Git. Repo unifies the many Git repositories when necessary, does the uploads to the Android revision control system, and automates parts of the Android development workflow. Repo is not meant to replace Git, only to make it easier to work with Git in the context of Android. The repo command is an executable Python script that you can put anywhere in your path. In working with the Android source files, you will use Repo for across-network operations. For example, with a single Repo command you can download files from multiple repositories into your local working directory.