Edsger W. Dijkstra and others suggest a unique style to present mathematical proofs and to construct programs. This package provides macros that support calculational proofs and Dijkstra's guarded command language.

Lualibs is a collection of Lua modules useful for general programming. The bundle is based on lua modules shipped with ConTeXt, and made available in this bundle for use independent of ConTeXt.

This is a simple package to set up document margins. This package is considered obsolete; alternatives are the typearea package from the koma-script bundle, or the geometry package.

This package defines a \makebox* command that does the same as a \makebox command, except that the width is given by a sample text instead of an explicit length measure.

The package uses PSTricks to draw bar charts from data stored in a comma-delimited file. Several types of bar charts may be drawn, and the drawing parameters are highly customizable.

The basic command of the package is \relsize, whose argument is a number of \magsteps to change size; from this are defined commands \larger, \smaller, \textlarger, etc.

The package makes it easier to produce examples for TeX course. It provides an example environment, which typesets its contents on the left of the page, and prints it verbatim on the right.

Latin Modern Math is a maths companion for the Latin Modern family of fonts, in OpenType format. For use with LuaLaTeX or XeLaTeX, support is available from the unicode-math package.

This is a small package of macros for creating cubic spline interpolants in MetaPost or Metafont. Given a list of points the macros can produce a closed or a relaxed spline joining them.

The package provides enhanced fonts with LaTeX support files providing access to the typewriter fonts from newtx. Regular and bold weights, slanted variants and a choice of four different styles for zero.

The package draws ASCII art of animals saying a specified message. The following macros are available: \ducksay, \duckthink, \DefaultAnimal, \AddAnimal, and \DucksayOptions. Multi-line messages are fully supported.

The polynom package implements macros for manipulating polynomials, for example it can typeset long polynomial divisions. The main test case and application is the polynomial ring in one variable with rational coefficients.

This package lets you typeset justified sequences, also called pointing strings. It's used for instance, in research papers about game semantics to represent sequence of game moves with their associated justification pointers.

Pst-eps is a PSTricks-based package for exporting PSTricks images on the fly to encapsulated PostScript (EPS) image files, which can then be read into a document in the usual way.

The package makes a quick hack to ziffer to display numbers in maths mode according to ISO 31-0, regardless of input format (European $1.235,7$ or Anglo-American $1,235.7$).

The package provides comprehensive facilities for preparing lists of signs and variations, using PGF. This package has been taken temporarily out of circulation to give the author time to investigate some problems.

This package can be used to draw liftarms with TikZ. It provides several options for the appearance of the liftarms, a command which connects two liftarms and an environment to describe a construction.

The bundle provides two classes for usage by KdG University College professors and master students: kdgcoursetext for writing course texts, and kdgmasterthesis for writing master's theses.

The package recursively draws trees: each subtree is defined in a bundle environment, with a set of leaves described by \chunk macros. A chunk may have a bundle environment inside it.

The namespc package adds rudimentary C++-like namespace functionality to LaTeX. It may be used to declare local LaTeX commands, which can be made accessible in a later contexts without defining them globally.

This package provides Lambda expressions. It is an interface to specify the parameters and replacement code of a document-command, and then to evaluate it with compatible arguments. Optionally, it can be used recursively.

This LaTeX package gives easy access to text-style subscripts in math mode by providing an optional argument to _. This is implemented by using the \text{} command from the amstext package.

The package amends the \see and \seealso macros that are used in building indexes with MakeIndex, to deal with repetitions, and to ensure page numbers are present in the actual index entries.

The sidecap package defines environments called SCfigure and SCtable (analogous to figure and table) to typeset captions sideways. Options include outercaption, innercaption, leftcaption and rightcaption.