The core of BRiAl is a C++ library, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings and subsets of the powerset of the Boolean variables. As a unique approach, binary decision diagrams are used as internal storage type for polynomial structures. On top of this C++-library a Python interface is provided. This allows parsing of complex polynomial systems, as well as sophisticated and extendable strategies for Groebner base computation. BRiAl features a powerful reference implementation for Groebner basis computation.

ocloc is a tool for managing Intel Compute GPU device binary format. It can be used for generation as well as manipulation of such binary files.

This interactive tool simulates transcoding scenarios using the rtpengine code base and produces performance and load statistics.

Fcitx is a input method framework with extension support, which provides an interface for entering characters of different scripts in applications using a variety of mapping systems.

sd-mux stands for Secure Digital Multiplexer. This is SD card switcher (multiplexer) designed to help automatic testing.

Fcitx is a input method framework with extension support, which provides an interface for entering characters of different scripts in applications using a variety of mapping systems.