GitHub repository: pdferreira/tyes
Primary language: Scala
Description: TyES (Type Experiment System) is a personal project in the area of type systems, aiming to provide a playground to test different type system ideas in a simple way.