API-Driven Program Synthesis for Testing Static Typing Implementations

Existing applications seem to be for JVM languages only, but this might be interesting for other languages, too.