PolyJ
Java with support for generic programming in the form of parameterized types. Provides constrained parametric polymorphism, with advantages over some other proposals for adding genericity to Java. [Open Source, GPL]
Java > Extensions
|
MetaJ
A generic protocol-based self-applicative interpreter for Java. Revolves around a generic reification procedure which can be used to reify any class of the interpreter.
Java > Extensions
|
jContractor
during class loading and instruments the class bytecodes on-the-fly to check run-time contract violations. [Apache Open Source Licence]
Java > Extensions
|
Ptolemy II
Set of Java packages supporting heterogeneous, concurrent modeling and design. [Open Source, BDL]
Java > Extensions
|
Bali
Java with a spoonful of syntactic sugar: proposed set of additions to make Java terser and safer. Terseness makes languages easier to read, write, maintain. Ideas from Abundance (Byte Magazine Oct 1986), Eiffel, Pascal, Delphi, Smalltalk, PL/I, Algol-68, Forth, even COBOL.
Java > Extensions
|
|
