Extensions

Bali

mindprod.com

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 (B…

311 visits Jan 7, 2026 Details

Borneo

sonic.net

Modification of the Java language designed to have true support for the IEEE 754 floating point standard.

423 visits Nov 15, 2025 Details

GJ: Generic Java

cis.unisa.edu.au

Support for generics. Superset of the Java programming language. Compatible with existing libraries. [Freeware]

353 visits Jan 2, 2026 Details

Groovy

groovy.codehaus.org

Open-source pure Java implementation of a strongly-typed Genetic Programming experimentation platform. Project home.

181 visits Mar 23, 2026 Details

Jass

semantik.Informatik.Uni-Oldenburg.DE

Java with assertions, spoken: jazz, like the music. Improvement of JaWA language extension. Gives Java the concepts of Design by Contract from Bertrand Meyer, and Eiffel, and exten…

414 visits Apr 8, 2025 Details

JavaParty

ipd.uka.de

A minimal extension to Java easing distributed parallel programming of cluster computers. A source code transformation automatically generates a distributed pure Java program based…

374 visits Apr 12, 2026 Details

Javassist

csg.is.titech.ac.jp

Supports load-time and runtime behavioural reflection in Java by allowing classes to be modified by Java code as they are loaded in. [Freeware, source available]

72 visits Mar 28, 2025 Details

JaWA

theoretica.informatik.uni-oldenburg.de

Java With Assertions, an extension of Java by assertions, a concept borrowed from Bertrand Meyer, and Eiffel. Still available, superseded by Jass.

14 visits Aug 18, 2025 Details

jContractor

jcontractor.sourceforge.net

Supports Design By Contract in Java. Discovers &quot;contracts&quot; during class loading and instruments the class bytecodes on-the-fly to check run-time contract violations. [Ap…

72 visits Apr 3, 2024 Details

JJ

publicstaticvoidmain.com

Simplified subset of Java (supersedes Jr), and online environment for learning programming: simple, made for beginners, includes assertions and Design by Contract from Bertrand Mey…

177 visits Mar 25, 2025 Details

JMangler

javalab.cs.uni-bonn.de

A framework for load-time transformation of Java programs. [Open Source, LGPL]

381 visits Apr 21, 2026 Details

JWIG

brics.dk

Java extensions for high-level Web service development; Java-based high-level language to develop interactive Web services; merges main features of &amp;lt;bigwig&amp;gt; language …

23 visits Apr 26, 2024 Details

Kiev

forestro.com

Prolog-like engine, multimethods, parameterized types (derived from Pizza), closures (derived from Pizza), arithmetic types, type states and cases (derived from Pizza), 'foreach' s…

405 visits Nov 8, 2025 Details

MetaJ

emn.fr

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.

55 visits Oct 5, 2023 Details

Nextgen

cs.rice.edu

An extension of Java and GJ to support polymophic methods while perserving static type information (no erasure). For research purposes.

490 visits Dec 30, 2025 Details

OpenJava

csg.is.titech.ac.jp

Extensible language based on Java. OpenJava MOP (Metaobject Protocol) is the extension interface of the language. Via the MOP, programmers can customize the language to implement n…

189 visits Nov 3, 2024 Details

Pizza

pizzacompiler.sourceforge.net

A variant of Java that adds parametric polymorphism, first-class functions, and class cases and pattern matching to the language. The compiler compiles into Java byte code so the b…

62 visits Jan 29, 2026 Details

PolyJ

pmg.lcs.mit.edu

Java with support for generic programming in the form of parameterized types. Provides constrained parametric polymorphism, with advantages over some other proposals for adding gen…

110 visits Sep 23, 2024 Details

Ptolemy II

ptolemy.eecs.berkeley.edu

Set of Java packages supporting heterogeneous, concurrent modeling and design. [Open Source, BDL]

441 visits Jun 9, 2024 Details

The Java Modeling Language (JML)

cs.iastate.edu

A behavioral interface specification language that can be used to specify the behavior of Java modules.

376 visits Dec 21, 2024 Details

Category Info