> Sadly, they don't have debuggers or reference compilers, just written language definitions and consultable output collections.
Why on earth would you want this? That's tantamount to replacing the court system itself, and I definitely prefer juries and judges to compilers and debuggers.