The EntityLang language shows some of the Spoofax basics, and comes with a short tutorial and screenshots. A basic version of language is included in the "new project" wizard.
A simple calculator language, illustrating basic syntax and transformations.
https://svn.strategoxt.org/repos/StrategoXT/spoofax-contrib/calculang/
Based on the WebDSL language, NWL is a pedagogical language definition.
Mobl is a language for programming mobile phones.
Lua is a dynamically typed, lightweight, embeddable scripting language. Spoofax-Lua is an Eclipse plugin for Lua built using Spoofax, featuring reference resolving, type analysis and content assist.