Fcitx5 is the next generation of fcitx input method framework. It provides pleasant and modern input experience with intuitive graphical configuration tools. The framework is highly extensible with support for GTK+ and Qt toolkits, DBus interfaces, a large variety of desktop environments and a developer-friendly API.

Fcitx5 is the next generation of fcitx input method framework. It provides pleasant and modern input experience with intuitive graphical configuration tools. The framework is highly extensible with support for GTK+ and Qt toolkits, D-Bus interfaces, a large variety of desktop environments and a developer-friendly API.

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.

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.

This library provides different theories for Coq: - an algebraic hierarchy with an axiomatic formalization of the most common algebraic structures, like setoids, monoids, groups, rings, fields, ordered fields, rings of polynomials and real and complex numbers; - a construction of the real numbers satisfying the above axiomatic description; - a proof of the fundamental theorem of algebra; - a collection of elementary results on real analysis including continuity, differentiability, integration, Taylor's theorems and the fundamental theorem of calculus; - tools for exact real computations like real numbers, functions, integrals, graph of functions and differential equations.

gmobile is a library containing mobile related helpers for glib based projects.