libayatana-indicator3-tools

Tools for libayatana-indicator

The Ayatana Indicators library contains information to build indicators to go into modern desktops' indicator applets.

alljoyn-daemon-1604

AllJoyn daemon service

AllJoyn is a collaborative open-source software framework that makes it easy for developers to write applications that can discover nearby devices, and communicate with each other directly regardless of brands, categories, transports, and OSes without the need of the cloud.

fcitx-frontend-qt5

Free Chinese Input Toy of X - Qt5 IM Module frontend

Fcitx is the Free Chinese Input Toy of X, which was initially designed for Chinese users, and used XIM protocol. Now it has already evolved into a highly modularized, feature rich input method framework for Unix-like platforms supporting a considerable amount of frontends, backends and modules.

lemonbar

lightweight bar based on XCB

lemonbar is a lightweight bar based on XCB. It provides foreground/background color switching along with text alignment and colored under/overlining of text, full utf8 support and reduced memory footprint. Nothing less and nothing more.

gfortran-14-multilib-mipsisa64r6-linux-gnuabi64

GNU Fortran compiler (multilib support) (cross compiler for mips64r6 architectur

This is the GNU Fortran compiler, which compiles Fortran on platforms supported by the gcc compiler.

cbmc

bounded model checker for C and C++ programs

CBMC generates traces that demonstrate how an assertion can be violated, or proves that the assertion cannot be violated within a given number of loop iterations.