GNU Prolog is a free Prolog compiler with constraint solving over finite domains (FD) developed at INRIA by Daniel Diaz. GNU Prolog is based on two systems developed by the same author (with lot of code rewriting and a lot of new extensions): wamcc and clp(FD). Much work has been devoted to make it ISO compatible, full compliance being one of its goals.

This is a fork of pyzeroconf, a Multicast DNS Service Discovery for Python.
It is compatible with Bonjour and Avahi.
Compared to some other Zeroconf/Bonjour/Avahi Python packages, python-zeroconf
is not tied to Bonjour or Avahi, does not use D-Bus and does not force you to
use a particular event loop or python-twisted.

cereal is a header-only C++11 serialization library. cereal takes arbitrary data types and reversibly turns them into different representations, such as compact binary encodings, XML, or JSON. cereal was designed to be fast, light-weight, and easy to extend - it has no external dependencies and can be easily bundled with other code or used standalone.

An up to date C++ port of the popular Java Lucene library, a high-performance, full-featured text search engine.

Ansifilter handles text files containing ANSI terminal escape codes.
The command sequences may be stripped or be interpreted to generate formatted output (HTML, RTF, TeX, LaTeX).

gws is a KISS, bash, colorful helper to manage workspaces composed of git repositories.

A utility that converts sourcecode to HTML, XHTML, RTF, LaTeX, TeX, XML or ANSI escape sequences with syntax highlighting.
It supports several programming and markup languages.
Language descriptions are configurable and support regular expressions.
The utility offers indentation and reformatting capabilities.
It is easily possible to create new language definitions and colour themes.

OpenGL-based 3D visualisation tool for source control repositories.

The repository is displayed as a tree where the root of the repository is the
centre, directories are branches and files are leaves. Contributors to the
source code appear and disappear as they contribute to specific files and
directories.

This project provides an infrastructure for translating man pages to different languages.

A sophisticated tool for exploring Conway's Game of Life and many other cellular automata.

compsize takes a list of files (given as arguments) on a btrfs
filesystem and measures used compression types and effective
compression ratio, producing a report.

Solarus is a 2D game engine written in C++, and it executes games made in Lua. It is designed with 16-bit classic action RPGs in mind.

A free and open-source game editor for the Solarus engine.

Eolie is a Web browser for the GNOME Desktop. It provides:
* Firefox sync support
* Secret password store
* A modern UI

This project was created for package astyle via attribute OBS:Maintained

This project was created for package solarus via attribute OBS:Maintained

This project was created for package poedit via attribute OBS:Maintained

Croiseur and its dependencies.

Poedit is cross-platform gettext catalogs (.po files) editor. It is built with wxWidgets toolkit and can run on any platform supported by it (although it was only tested on Unix with GTK+ and Windows). It aims to provide more convenient approach to editing catalogs than launching vi and editing the file by hand.

Gaupol is an editor for text-based subtitle files. It supports multiple subtitle
file formats and provides means of correcting texts and timing subtitles to match
video. The user interface is designed with attention to batch processing of
multiple documents and convenience of translating.

Gaupol should run on all Unix-like (GNU/Linux, *BSD, etc.) operating systems and
on Windows. Technically it should be able to run on Mac as well, but that has
not been tested nor made convenient. Gaupol's user interface is based on the GTK+
toolkit and has been designed to best fit the GNOME desktop environment.

Lollypop is a modern music player for GNOME. It has the following features:
- mp3/4, ogg and flac
- Genre/Cover browsing
- Genre/Artist/Cover browsing
- Search
- Main playlist (called queue in other apps)
- Party mode
- Replay gain
- Cover art downloader
- Context artist view
- MTP sync
- Fullscreen view
- Radios support
- Last.fm support
- Auto install codecs
- HiDPI support
- Tunein support