Suggestions for VDM
The following packages have something in common with the package VDM. The packages are ordered in decreasing similarity.
- formal-grammar: Typeset formal grammars
- backnaur: Typeset Backus Naur Form definitions
- naive-ebnf: EBNF in plain text
- objectz: Macros for typesetting Object Z
- simplebnf: A simple package to format Backus-Naur form (BNF)
- vdmlisting: Typesetting VDM in ASCII syntax
- zed-csp: Typesetting Z and CSP format specifications
- bnf-plain: Plain TeX macros for BNF grammars
- zed: Typeset Z specifications
- latex-bnf: LaTeX macros for typing BNF specifications
- ebnf: Simple package for EBNF productions
- context-bnf: A BNF module for ConTeXt
- braille: Support for braille
- tds: The TeX Directory Structure standard
- dvistd: A standard for DVI drivers
- tex-vpat: TeX Accessibility Conformance Report
- sr-hyphen-spec: Hyphenation of special cases in Serbian
- was: A collection of small packages by Walter Schmidt
- foilhtml: Interface between foiltex and LaTeX2HTML
- mapcodes: Support for multiple character sets and encodings
- ltxmisc: Miscellaneous LaTeX packages, etc.
- calendar-barr: A calendar document
- coursepaper: Prepare university course papers
- concprog: Concert programmes
- courseoutline: Prepare university course outlines
- jknappen: Miscellaneous packages by Joerg Knappen
- kalender: Create a calendar, in German
- labels: Print sheets of sticky labels
- mhs: Historical mathematics
- outliner: Change section levels easily
- utorontothesis: A thesis class definition for University of Toronto