Seminal is a compiler-construction project for designing compilers that produce better error messages (particularly during type-checking) while simultaneously making compilers simpler, more reliable, and faster. The key idea is to use a simple and robust type-checker as an oracle for an error-message finder that uses search to find a good error message in the form of a "similar" code skeleton that would type-check.
For more information, see the project's main page.