Red language is a native-code compiled functional, imperative, symbolic, and homoiconic programming language that re-uses most of REBOL's syntax and semantics. Both static and JIT compilation support are planned. A strong emphasis is made on concurrency and both task and data parallelism support using an actor-like abstraction and parallel collections (Scala-like). The target range of usage spreads from low-level system programming (thanks to the built-in Red/System C-level DSL) and embedded systems, up to high-level scripting, with an optional REPL console.
Eero is a binary-compatible variant of Objective-C 2.0, implemented with a patched version of the Clang/LLVM compiler. It features a streamlined syntax with improved readability and reduced code clutter, as well as new features such as Python-like indentation and a limited form of operator overloading. It is inspired by languages such as Smalltalk and Ruby.
Racket (formerly PLT Scheme) is a programming language suitable for implementation tasks ranging from scripting to application development, including GUIs, Web services, etc. It includes the DrRacket programming environment, a virtual machine with a just-in-time compiler, tools for creating stand-alone executables, the Racket Web server, extensive libraries, documentation for both beginners and experts, and more. It supports the creation of new programming languages through a rich, expressive syntax system. Example languages include Typed Racket, ACL2, FrTime, and Lazy Racket.
LIME is a dynamic programming language with a LISP-like syntax. It features partial function application, eager and lazy evaluation, call-by-value and call-by-reference, macros, reading/writing LIME code as data, a standard library including infinite streams, and an interactive mode with auto-indentation.
Alore is an object-oriented programming language with a clean syntax that resembles Python and Lua. It is optionally-typed like Google Dart. It is both a dynamic scripting language and a general-purpose language with static typing. It is aimed at most programming tasks, from short scripts to complex applications. It allows programmers to freely mix static and dynamic typing within a program. It has native threads and a very fast edit-test cycle. Programmers can always bypass type checking and run their programs immediately.