GitHub repository: plasma-umass/cwhy
Primary language: Python
Description: "See why!" Explains and suggests fixes for compile-time errors for C, C++, C#, Go, Java, LaTeX, PHP, Python, Ruby, Rust, and TypeScript