Skip to content

Spoofax: The Language Designer's Workbench

An open-source language designer's workbench with everything you need for designing your next textual (domain-specific) programming language.

Getting Started Source Code

Stable 2.5.20 (12-04-2024)
Development 2.6.0-SNAPSHOT



Declaratively specify your syntax and pretty-printer using the Syntax Definition Formalism 3 (SDF3) language.

Static Semantics

Static Semantics

Use Statix to declare the type system and name binding using scope graphs.

Term Transformations

Term Transformations

Write an interpreter or compiler using term transformations in Stratego.

The Spoofax Language Workbench

Spoofax is a platform for developing textual (domain-specific) programming languages. The platform provides the following ingredients:

  • Meta-languages for high-level declarative language definition
  • An interactive environment for developing languages using these meta-languages
  • Code generators that produces parsers, type checkers, compilers, interpreters, and other tools from language definitions
  • Generation of full-featured Eclipse editor plugins from language definitions
  • An API for programmatically combining the components of a language implementation

With Spoofax you can focus on the essence of language definition and ignore irrelevant implementation details.

Get started by downloading and installing Spoofax or build it from source.

Looking for Spoofax 3? Visit the Spoofax 3 documentation website.

Last update: July 3, 2024
Created: July 3, 2024