Typed Scheme is a typed dialect of PLT Scheme. It integrates with modules written in other PLT dialects, and provides a type system designed to support common Scheme idioms.
Typed Scheme is a pretty neat language because it can can both use and be used by (untyped) Scheme code in PLT Scheme.