gnustep-devel
GNUstep Development Environment -- development tools
These packages provide tools for development applications for GNUstep, as
well as extra libraries for the GNUstep environment.
libcoq-hammer
automated reasoning tool for Coq
Hammer is a tool to help in the search of a proof
in Coq. It tries to find applicable lemmas and
combine them into a effective proof.
liblasi0
creation of PostScript documents containing Unicode symbols
LASi is a library that provides a C++ stream output interface (with
operator <<) for creating PostScript documents that can contain
characters from any of the scripts and symbol blocks supported in
Unicode and by the Pango layout engine. The library accommodates
right-to-left scripts such as Arabic and Hebrew as easily as
left-to-right scripts. Indic and Indic-derived Complex Text Layout
(CTL) scripts, such as Devanagari, Thai, Lao, and Tibetan are
supported to the extent provided by Pango and by the OpenType fonts
installed on your system. All of this is provided without need for
any special configuration or layout calculation on the programmer's
part.
goo
generic object-orientator (programming language)
GOO is a dynamic, type-based, object-oriented language in the same family
as Dylan and Scheme. It is designed to be simple, productive, powerful,
extensible, dynamic, efficient, and real-time.
harpia
Image Processing/Computer Vision Automatic Prgm. Tool