Frege is a non-strict, pure functional programming language in the spirit of Haskell. It enjoys a strong static type system with type inference. Higher rank types are supported, though type annotations are required for that. Frege programs are compiled to Java and run in a JVM. Existing Java Classes and Methods can be used seamlessly from Frege. Frege is not a Haskell dialect, though some effort has been expended to make it look and feel like so.
In the Genyris programming paradigm objects can belong to multiple classes independent from construction. Indentation reduces parentheses yet retains the power of Lisp. External Java libraries can be imported.
fun4j is a framework that integrates major concepts from functional programming into the Java Platform. It also provides seamless integration of Java with Lisp coding, by using a lisp-to-bytecode compiler.
Greebo is a multi-paradigm programming language that borrows on concepts from Lisp, Dylan, Lua or IO. Some features are tail recursion optimization, both lexical and dynamic closures, zero special forms (‘def’ or ‘if’ can be used like any other procedure), first-class environments whose bindings and properties may be manipulated at wish, powerful macros, literal indexers and slices for anything that is a collection and more.