This package provides a simple way to format Backus-Naur form (BNF). The included bnfgrammar environment parses BNF expressions (possibly annotated), so users can write readable BNF expressions in their documents.

This LaTeX package offers commands for typesetting total values of counters.

This package provides a LuaLaTeX package to draw pixel-art pictures using TikZ.

This package makes it easy to combine and index individual PDF files into one large PDF file.

The package provides an environment for syntax highlighting source code in LaTeX documents. The highlighted source code output is formatted via Pygments library of the Python language.

The main purpose of the package is to make the drawing of bar diagrams possible and easy in LaTeX. The BarDiag package is inspired by and based on PSTricks.

This package, along with TikZ, will typeset block diagrams for use with programming and control theory. It is an English translation of the schemabloc package.

The bundle provides several packages for commonly-needed support for typesetting theorems. The packages should work with kernel theorems (theorems out of the box with LaTeX, and the theorem and amsthm packages. The features of the bundle include: a key-value interface to \newtheorem; a \listoftheorems command; hyperref and autoref compatibility; a mechanism for restating entire theorems in a single macro call.

This package provides a set of extensions to LaTeX picture environment, including a wider range of vectors, and a lot more box frame styles.

The package provides virtual math alphabets based on pxfonts and txfonts, with LaTeX support files and adjusted metrics. The mathalpha package offers support for this collection.

SpiX offers a way to store information about the compilation process for a TeX file inside the TeX file itself. Just write the commands as comments in the TeX files, and SpiX will extract and run those commands. Everything is stored in the TeX file (so that you are not missing some piece of information that is located somewhere else), in a human-readable format (no need to know SpiX to understand it).

This ConTeXt module enables simple creation and inclusion of graphs with Gnuplot. It writes a script into temporary file, runs Gnuplot and includes the resulting graphic directly into the document.

The package provides macros for typesetting Karnaugh-Maps and Veitch-Charts in a simple and user-friendly way. Karnaugh-Maps and Veitch-Charts are used to display and simplify logic functions manually. These macros can typeset Karnaugh-Maps and Veitch-Charts with up to ten variables.

This is the Finnish translation of (No So) Short Introduction to LaTeX2e, with added coverage of Finnish typesetting rules.

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.

The package provides a means of reading Asymptote figures from separate files, rather than within the document, as is standard in the asymptote package, which is provided as part of the Asymptote bundle. The Asymptote way can prove cumbersome in a large document; the present package allows the user to process one picture at a time, in simple test documents, and then to migrate (with no fuss) to their use in the target document.

This package allows you to write \Level 2 {Some heading} instead of the usual \section stuff; the definitions of the levels can then easily be changed. There is a mechanism for shifting all levels. This makes it easy to bundle existing articles into a compilation.

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.

This package allows highlighting of Python code, based on the listings package.

This is a temporary package, which is used during a test phase to load the new PDF management code of LaTeX. The new PDF management code offers backend-independent interfaces to central PDF dictionaries, tools to create annotations, form Xobjects, to embed files, and to handle PDF standards. The code is provided, during a testphase, as an independent package to allow users and package authors to safely test the code. At a later stage it will be integrated into the LaTeX kernel (or in parts into permanent support packages), and the current testphase bundle will be removed.

The package introduces Subversion variants of the standard LaTeX macros \ProvidesPackage, \ProvidesClass and \ProvidesFile where the file name and date is extracted from Subversion Id keywords. The file name may also be given explicitly as an optional argument.

The package supports drawing proof trees of the kind often used in introductory logic classes, especially those aimed at students without strong mathemtical backgrounds. Hodges (1991) is one example of a text which uses this system. When teaching such a system it is especially useful to annotate the tree with line numbers, justifications and explanations of branch closures. The package provides a single environment, prooftree, and a variety of tools for annotating, customising and highlighting such trees. A cross-referencing system is provided for trees which cite line numbers in justifications for proof lines or branch closures.

The package allows you to draw Go game positions with MetaPost. Two methods of usage are provided, either using the package programmatically, or using the package via a script (which may produce several images).

This package implements an interface for embedding video and audio files in SVG output. SVG with embedded media is very portable, as it is supported by all modern Web browsers across a variety of operating systems and platforms, including portable devices. All DVI producing TeX engines can be used. The dvisvgm utility converts the intermediate DVI to SVG. By default, media files are embedded into the SVG output to make self-sufficient SVG files.