An analysis tool for Python that blurs the line between testing and type systems.

Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]

Hindley–Milner type inference implemented in Python.

Demo code showing off the new true exhaustiveness checks with Python 3.10 + Pyright

Lecture notes, assignments, and other materials for a one-semester course on programming language concepts and theory, interpretation and compilation, and programming paradigms.