COMPILERS
github ↗
Type Inference for COOL
An interpreter for the COOL programming language extended with automatic type inference: declare a variable as AUTO_TYPE and the system deduces what it must be.
Where I've used it:
An interpreter for the COOL programming language extended with automatic type inference: declare a variable as AUTO_TYPE and the system deduces what it must be.
A web tool that analyzes context-free grammars: it computes their key properties, finds which parser families can handle them, and suggests fixes for problem grammars.