Download

SDF: Modular Syntax Definition Formalism

Parser and Parser Generator

The latest source release of SDF is:

A binary distribution for Linux/x86 is also available:

There are continuous updates here:

Older releases:

Other Software

IDE

API Generation

  • ApiGen generates C or Java APIs from an SDF syntax definition.

  • Strafunski and Sdf2Haskell provide support for generic programming and language processing in the functional programming language Haskell. Sdf2Haskell implements the derivation of algebraic datatypes from SDF syntax definitions. The Haskell ATerm library can be used to import the results of the SGLR parser.

  • HaGLR is an implementation of Generalized LR parsing in Haskell, and also implements an SDF front-end, which is an extension of the Sdf2Haskell generator.

Pretty-Printer Generation

  • GPP is a collection of tools for pretty-printing and pretty-printer generation. It supports the SDF syntax definition formalism. GPP is part of StrategoXT.
  • Pandora is a pretty printing tool for SDF parse trees. It is part of The Meta-Environment

Testing

Metrics

  • SdfMetz -- A SDF monitoring tool. From the website: "is a tool to support grammar engineering. It calculates metrics and performs miscellaneus analyzes (like output the grammar graph or view the non-singleton levels of a grammar). This tool was implemented to fill the gap of grammar measuring and analyzes tools."
  • Meta-Environment contains a set of SDF metrics and visualizations, as inspired by SdfMetz.