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.