Haxe is an open source toolkit based on a modern high level strictly typed programming language, a state-of-the-art light-speed cross-compiler, a complete cross-platform standard library, and ways to access to each platform's native capabilities.
Swift is a programming language for iOS, OS X, watchOS and tvOS apps that builds on the best of C and Objective-C, without the constraints of C compatibility. Swift adopts safe programming patterns and adds modern features to make programming easier, more flexible, and more fun.
Racket (formerly PLT Scheme) is a modern programming language in the Lisp/Scheme family, suitable for a wide range of applications. It goes beyond Lisp and Scheme with dialects that support objects, types, laziness, and more.
A compiled language with Ruby like syntax and type inference Language goals: - Have a syntax similar to Ruby (but compatibility with it is not a goal) - Statically type-checked but without having to specify the type of variables or method arguments.
Rebol (historically REBOL) is a cross-platform data exchange language and a multi-paradigm dynamic programming language designed by Carl Sassenrath for network communications and distributed computing.
Pyret is a programming language designed to serve as an outstanding choice for programming education while exploring the confluence of scripting and functional programming. It's under active design and development, and free to use or modify.