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.

node-mime

library for mime-type mapping for Node.js

mime is a Node.js library for mime-type mapping.

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