AMC is a programmable compiler/preprocessor. It has a built-in programming language called CGL (Code Generation Language) that lets you add new syntactical elements to the source files that AMC processes. In addition, AMC has a module structure reminescent of the UCSD p-System compiler. AMC comes with a default package that adds a dynamic form of OOP to C.
ANTLR (ANother Tool for Language Recognition) is a language tool that provides a framework for constructing recognizers, compilers, and translators from grammatical descriptions containing C++, Java, or Sather actions. It is similar to the popular compiler generator YACC, however ANTLR is much more powerful and easy to use. ANTLR-produced parsers are not only highly efficient, but are both human-readable and human-debuggable (especially with the interactive ParseView debugging tool). ANTLR can generate parsers, lexers, and tree-parsers in either C++, Java, or Sather. ANTLR is currently written in Java.
Bigloo is an implementation of the Scheme programming language. It relies on an optimizing compiler from Scheme to C. Bigloo enables connections between Scheme code and C code. It proposes many extensions to Scheme such as a regular parser compiler, an lalr parser compiler, pattern matching, an object layer, etc.
Cavalry is a Just-In-Time translator (compiler) for java bytecodes. It is written in Java and produces IA-32 Machine code. It depends on an IA-32 Assembler also written in Java and included in this package. The assembler uses an Intel / NASM type syntax and currently only produces raw machine code (no object formats eg ELF are supported). It currently only supports a limited number of instructions, bascially everything the Translator needs. The assembler can compile a source-file from the command prompt, but it is not very friendly at the moment.
Ciao is a complete Prolog system subsuming ISO-Prolog with a novel modular design which allows both restricting and extending the language. Ciao extensions currently include feature terms (records), higher-order, functions, constraints, objects, persistent predicates, a good base for distributed execution (agents), and concurrency. Libraries also support WWW programming, sockets, and external interfaces (C, Java, TCL/Tk, relational databases, etc.). An Emacs-based environment, a stand-alone compiler, and a toplevel shell are also provided.