Personal tools
Skip to content. | Skip to navigation
Symbola was created with Mathematics and other technical documents in mind. It covers many scripts and symbols supported by Unicode. These include those in Basic Latin, Latin-1 Supplement, Latin Extended-A, IPA Extensions, Spacing Modifier Letters, Greek and Coptic, Cyrillic, Cyrillic Supplementary, General Punctuation, Superscripts and Subscripts, and many others. It was created by George Douros.
Gearman provides a generic framework to farm out work to other machines or dispatch function calls to machines that are better suited to do the work. It allows you to do work in parallel, to load balance processing, and to call functions between languages. It can be used in a variety of applications, from high-availability web sites to the transport for database replication. In other words, it is the nervous system for how distributed processing communicates.
Gecode is a toolkit for developing constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible.
gedit is a small, but powerful text editor designed specifically for the GNOME desktop. It has most standard text editor functions and fully supports international text in Unicode. Advanced features include syntax highlighting and automatic indentation of source code, printing and editing of multiple documents in one window. gedit is extensible through a plugin system, which currently includes support for spell checking, comparing files, viewing CVS ChangeLogs, and adjusting indentation levels. Further plugins can be found in the gedit-plugins package.