Optimizing-pda-compiler is a project mainly written in Scheme, it's free.

A compiler for pushdown automata which uses optimizing flow analyses.