AwesomeC is essentially a dialect of C with type inference, and few other nice features. The goal is to make a much more concise/reusable/typesafe form of C that can be incorporated into existing C projects seamlessly. AwesomeC generates nicely formatted human readable C code as it's output. ...

Pyntch is a Python source code analyzer. It can detect possible runtime errors before actually running a Python code. Pyntch examines a source code statically and infers all possible types of variables, class attributes, function signatures, and return values of each function or method. Then it dete...

*Shed Skin* is an _experimental_ compiler, that can translate pure, but _implicitly statically typed_ Python programs into optimized C++. It can generate stand-alone programs or _extension modules_ that can be imported and used from larger Python programs. Besides the typing restriction, programs...

A type checker and a type inference tool for the type system presented in 2005 by Cédric Fournet, Andrew D. Gordon and Sergio Maffeis in [http://research.microsoft.com/en-us/um/people/adg/publications/msr-tr-2005-01.pdf A Type Discipline for Authorization Policies]

Recless is a type inferring Erlang parse transform. Instead of writing these lines: City = ((Project#project.owner)#person.address)#address.city, ...