Mercury is a logic/functional programming language which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs.

Mercury is a logic/functional programming language which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs.

M2-Planet, the PLAtform NEutral Transpiler, when combined with mescc-tools, compiles a subset of the C language into working binaries with introspective steps in between. It is self-hosting and for bootstrapping it also has an implementation in the M1 macro assembly language. M2-Planet is built as Phase-5 of the full source bootstrapping process and is capable of building GNU Mes.

NYACC is set of Guile modules for generating parsers and lexical analyzers. It provides sample parsers, pretty-printers using SXML trees as an intermediate representation, a decent C parser and an `FFI Helper' tool to help create Guile Scheme bindings for C-based libraries. It also provides (partially implemented) compilers based on these parsers to allow execution with Guile as extension languages.

NYACC is set of Guile modules for generating parsers and lexical analyzers. It provides sample parsers, pretty-printers using SXML trees as an intermediate representation, a decent C parser and an `FFI Helper' tool to help create Guile Scheme bindings for C-based libraries. It also provides (partially implemented) compilers based on these parsers to allow execution with Guile as extension languages.

Mescc-tools is a collection of tools for use in a full source bootstrapping process. It consists of the M1 macro assembler, the hex2 linker, the blood-elf symbol table generator, the kaem shell, exec_enable and get_machine.

GNU Mes--Maxwell Equations of Software--brings the Reduced Binary Seed bootstrap to Guix and aims to help create full source bootstrapping for GNU/Linux distributions. It consists of a mutual self-hosting Scheme interpreter in C and a Nyacc-based C compiler in Scheme and is compatible with Guile.

NYACC is set of Guile modules for generating parsers and lexical analyzers. It provides sample parsers, pretty-printers using SXML trees as an intermediate representation, a decent C parser and an `FFI Helper' tool to help create Guile Scheme bindings for C-based libraries. It also provides (partially implemented) compilers based on these parsers to allow execution with Guile as extension languages.

BitlBee brings IM (instant messaging) to IRC clients, for people who have an IRC client running all the time and don't want to run an additional IM client. BitlBee currently supports XMPP/Jabber (including Google Talk), MSN Messenger, Yahoo! Messenger, AIM and ICQ, and the Twitter microblogging network (plus all other Twitter API compatible services like identi.ca and status.net).

This module implements support for sending messages in a MUC to affiliated users who are not in the room. This is a custom extension by Tigase to allow push notifications from MUCs to users who are not currently connected.

Quaternion is a Qt desktop client for the Matrix instant messaging protocol. It uses libqmatrixclient and is its reference client implementation.

pounce is a multi-client, TLS-only IRC bouncer. It maintains a persistent connection to an IRC server, acting as a proxy and buffer for a number of clients.

senpai is an IRC client that works best with bouncers.

Telegram-purple is a plugin for Libpurple, the communication library used by the Pidgin instant messaging client, that adds support for the Telegram messenger.

This package is on ``life support'' until tdlib-purple is a full replacement.

MQTT and MQTT-SN are lightweight publish/subscribe messaging transports for TCP/IP and connection-less protocols (such as UDP). The Eclipse Paho project provides client side implementations of MQTT and MQTT-SN in a variety of programming languages. This package is for the Python implementation of an MQTT version client class.

OTR allows you to have private conversations over instant messaging by providing: (1) Encryption: No one else can read your instant messages. (2) Authentication: You are assured the correspondent is who you think it is. (3) Deniability: The messages you send do not have digital signatures that are checkable by a third party. Anyone can forge messages after a conversation to make them look like they came from you. However, during a conversation, your correspondent is assured the messages he sees are authentic and unmodified. (4) Perfect forward secrecy: If you lose control of your private keys, no previous conversation is compromised.

This library implements OMEMO of XMPP (XEP-0384) in C.

This module implements XEP-0363: it allows clients to upload files over HTTP.

This module implements support for a Encrypted Push Notifications, a custom extension to XEP-0357: Push Notifications.

Official fork of the C library implementation of the Tox encrypted messenger protocol.

HexChat lets you connect to multiple IRC networks at once. The main window shows the list of currently connected networks and their channels, the current conversation and the list of users. It uses colors to differentiate between users and to highlight messages. It checks spelling using available dictionaries. HexChat can be extended with multiple addons.

This package shows CAPTCHA without running proprietary code.

This package provides Ejabberd -- Robust, Ubiquitous and Massively Scalable Messaging Platform. It supports XMPP, MQTT and SIP protocols.

Pidgin is a modular instant messaging client that supports many popular chat protocols.