IBus Theme Tools can extract IBus-specific settings from GTK themes to apply both within and without GNOME Shell.

IBus-Anthy is an engine for the input bus "IBus"). It adds the Anthy Japanese language input method to IBus. Because most graphical applications allow text input via IBus, installing this package will enable Japanese language input in most graphical applications.

ibus-table is a framework for table based input methods using IBus.

ibus-rime provides the Rime input method engine for IBus. Rime is a lightweight, extensible input method engine supporting various input schemas including glyph-based input methods, romanization-based input methods as well as those for Chinese dialects. It has the ability to compose phrases and sentences intelligently and provide very accurate traditional Chinese output.

IBus is an input framework providing a full-featured and user-friendly input method user interface. It comes with multilingual input support. It may also simplify input method development.

ibus-table-others provides the following input methods on IBus-Table on IBus framework:

• CNS11643

• Compose

• Emoji

• IPA-X-SAMPA

• LaTex

• Mathwriter

• Mongol bichig

• RussianTraditional

• Telex

• Thai

• Translit

• Ua-Translit

• Viqr

• VNI

• Yawerty

librime is the core library of Rime Input Method Engine, which is a lightweight, extensible input method engine supporting various input schemas including glyph-based input methods, romanization-based input methods as well as those for Chinese dialects. It has the ability to compose phrases and sentences intelligently and provide very accurate traditional Chinese output.

This Input Method uses VOSK for voice recognition and allows to dictate text in several languages in any application that supports IBus. One of the main advantages is that VOSK performs voice recognition locally and does not rely on an online service.

IBus-Chewing is an IBus front-end of Chewing, an intelligent Chinese input method for Zhuyin (BoPoMoFo) users.

This package provides a library to support hangul input method logic, hanja dictionary and small hangul character classification.

rime-data provides the schema data of Rime Input Method Engine.

ICU is a set of C/C++ and Java libraries providing Unicode and globalisation support for software applications. This package contains the C/C++ part.

ICU is a set of C/C++ and Java libraries providing Unicode and globalisation support for software applications. This package contains the C/C++ part.

ICU is a set of C/C++ and Java libraries providing Unicode and globalisation support for software applications. This package contains the C/C++ part.

ICU is a set of C/C++ and Java libraries providing Unicode and globalisation support for software applications. This package contains the C/C++ part.

ICU is a set of C/C++ and Java libraries providing Unicode and globalisation support for software applications. This package contains the C/C++ part.

ICU is a set of C/C++ and Java libraries providing Unicode and globalisation support for software applications. This package contains the C/C++ part.

ICU is a set of C/C++ and Java libraries providing Unicode and globalisation support for software applications. This package contains the C/C++ part.

ICU is a set of C/C++ and Java libraries providing Unicode and globalisation support for software applications. This package contains the C/C++ part.

ICU is a set of C/C++ and Java libraries providing Unicode and globalisation support for software applications. This package contains the Java part.

Lightweight parser combinator library for Idris, inspired by Parsec. This package is used (almost) the same way as Parsec, except for one difference: backtracking.

A pretty printing library for Idris based on Phil Wadler's paper A Prettier Printer and on Daan Leijen's extensions in the Haskell wl-pprint library.

This is a bifunctor library for Idris based off the excellent Haskell Bifunctors package from Edward Kmett.

Idris is a general purpose language with full dependent types. It is compiled, with eager evaluation. Dependent types allow types to be predicated on values, meaning that some aspects of a program's behaviour can be specified precisely in the type. The language is closely related to Epigram and Agda.