Last released Jul 27, 2026
Tyger is a simple type analysis tool that provides the foundations to implement diferent typing disciplines in Python.