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.