e-sygoing.link — Extensions

Pizza

Thu, 29 Jan 2026 17:42:50 -0500

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 binaries can be run on a normal JVM. [Freeware]

Nextgen

Tue, 30 Dec 2025 14:16:38 -0500

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

Borneo

Sat, 15 Nov 2025 13:35:33 -0500

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

Kiev

Sat, 08 Nov 2025 17:06:43 -0500

Prolog-like engine, multimethods, parameterized types (derived from Pizza), closures (derived from Pizza), arithmetic types, type states and cases (derived from Pizza), 'foreach' statement, global method and variable definitions, virtual fields, variable number of arguments of methods, project, incremental compiling. [Open Source, GPL]

Ptolemy II

Sun, 09 Jun 2024 19:54:13 -0400

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

JWIG

Fri, 26 Apr 2024 16:23:32 -0400

Java extensions for high-level Web service development; Java-based high-level language to develop interactive Web services; merges main features of language into Java by providing explicit support for Web service sessions, safe XHTML dynamic document building.

jContractor

Wed, 03 Apr 2024 23:06:05 -0400

Supports Design By Contract in Java. Discovers "contracts" during class loading and instruments the class bytecodes on-the-fly to check run-time contract violations. [Apache Open Source Licence]

MetaJ

Thu, 05 Oct 2023 02:30:07 -0400

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.