type-systems topic

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

pschanely

C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..

ergawy

A collection of programming languages and type systems.

ayazhafiz

Playing with type systems

andreypopp