The Ott tool for writing definitions of programming languages and calculi
This page has moved to github.