QuantLib is a cross-platform, quantitative finance C++ library for modeling, pricing, trading, and risk management in real-life. It is also wrapped as Python/Ruby/Scheme modules. Extensions for Excel, R, and Mathematica are available. Other such extensions are under consideration. QuantLib offers tools that are useful both for practical implementation and for advanced modeling. It features market conventions, yield curve models, solvers, PDEs, Monte Carlo (low-discrepancy included), exotic options, VAR, and so on.
RuStem is a fast Ruby module with the the Porter stemming algorithm (a process for removing the commoner morphological and inflexional endings from words in English; its main use is as part of a term normalisation process that is usually done when setting up Information Retrieval systems).
Berkeley DB XML is a native XML database engine for use within your product. Made available as a C++ library with language bindings for Java, Perl, Python, PHP, and Tcl, it integrates directly into your application (it is not a standalone database server). It provides XQuery access into a database of document containers. XML documents are stored and indexed in their native format using Berkeley DB as the transactional database engine.
Ruby-UDBM is a Ruby binding for the UPPAAL DBM library. It offers access to the federation type (set of DBMs) and most of its operations. In addition, a graphical viewer is provided to allow users to visualize updates on the fly. The library gives access to systems of constraints where clock constraints can be declared and used as intuitive formulas. This binding is intended to be a research prototyping tool as well as a teaching tool for students learning timed automata.
BDDs [bry86] (or more precisely ROBDDs) are efficient data structures for representing a boolean formula. They are widely used in formal verification, in particular symbolic model-checking. Ruby- BDD, based on Buddy, provides access to BDDs from Ruby, a powerful and very easy to use object-oriented language. The purposes are quick prototyping and education.
Tioga is a Ruby library for creating figures and plots with high quality text and graphics in PDF format. Text is processed directly by TeX (not an emulation), and the graphics covers a broad range of PDF features including images, curves, clipping, and transparency. Tioga is relatively easy to use, complete, and well documented.