Haskell: Haskell is a purely functional language: data structures cannot be
modified and names cannot be rebound. This is in stark contrast to
object-oriented languages in which mutation is a central operation. In response
to this restriction, Haskell emphasizes features that support "functional
style", e.g. higher-order functions, lazy evaluation, and pattern "matching. Last modification on December 5 2000.
Alegro Common LISP: Commercial implementation of the Common LISP standard. Seemingly free
for Linux. Last modification on December 6 2000.
DrScheme: DrScheme is a graphical development environment for Scheme. DrScheme's
features include: Source text highlighting of syntax errors. Source text
highlighting of run-time errors. Support for multiple levels of Scheme from
``beginner'' to ``advanced''. Interactive and graphical static analysis. An
object system. A toolbox of simple drawing commands suitable for simple
drawing. An advanced graphical user interface (GUI) library. Last modification on December 12 2000.
Life: Life stands for Logic, Inheritance, Functions, and Equations. It
integrates the defining characteristics of the three styles we have seen:
Object-oriented: Mutable collections of named slots, belonging to classes
arranged in an inheritance hierarchy. Functional: Declarative/pattern matching
syntax, with currying and non-strictness. Logical: Unification and
backtracking. Last modification on October 28 1998.
Sisal: functional language which simplifies the parallel programming. Last modification on March 6 1996.
Screamer: an extension of Common Lisp with nondeterministic programming. Last modification on December 10 1997.
Elk: Elk is an implementation of the Scheme programming language. In contrast
to existing, stand-alone Scheme systems Elk has been designed specifically as
an embeddable, reusable extension language subsystem for applications written
in C or C++. Last modification on September 24 1996.
Elk: an implementation of the Scheme programming language. Last modification on September 24 1996.
Inlab-Scheme: an independent implementation of Scheme. Last modification on August 6 2000.
MzScheme: MzScheme (pronounced "Ms. Scheme") is a Scheme implementation for
Windows 95/NT, MacOS, and Unix. It is the underlying implementation for
DrScheme and MrEd. Last modification on December 12 2000.
SIOD (Scheme in One Defun): SIOD is a small-footprint implementation of the Scheme programming
language that is provided with some database, unix programming and cgi
scripting extensions. Last modification on October 27 2000.
Guile: The official GNU scripting language, from the Scheme
family. Last modification on September 24 2000.
Gambit: Gambit is a high-performance implementation of Scheme based on an
optimizing compiler. It conforms to the IEEE-Scheme standard (IEEE P1178) and
the Revised^4 Report on Scheme (R4RS). Last modification on May 17 2000.
Schemers.org: Information and news about the scheme programming language. Last modification on November 4 2000.
MrEd: MrEd is an architecture for developing portable graphical user interface
(GUI) applications. It extends MzScheme with graphics and provides the
underlying architecture for DrScheme. MrEd uses the WxWindows portable graphical library. Last modification on December 12 2000.
VSCM: VSCM is a complete and portable implementation of Scheme according to
R4RS (The ``Revised revised revised revised Report of the Algorithmic Language
Scheme''). VSCM is based on a virtual machine written in ANSI C and on a
bytecode-compiler written in Scheme itself. Last modification on March 1 1999.
CMU Common Lisp: CMU implementation of Lisp. Last modification on September 18 2000.
Scheme-compare: A comparison chart for about thirty implementations of scheme
for Linux. Last modification on February 14 1998.
Guile: includes an embeddable Scheme interpreter, several graphics options. Last modification on September 24 2000.
CLAIRE: a functional and OO language with advanced rule processing
capabilities. Last modification on September 29 1999.
Extended ML: a framework for specification and development of Standard ML. Last modification on September 13 2000.
MIT Scheme: a Scheme compiler which generate faster code. Last modification on January 25 2000.
Stk: STk is a free R4RS Scheme interpreter which can access the Tk graphical
package. Concretely, it can be seen as the standard Tk package where Tcl has
been replaced by a Scheme interpreter. STk embeds also an efficient CLOS like
object oriented system, called STklos, which provides: multiple inheritance,
generic functions, multi-methods, a MOP (Meta Object Protocol) Last modification on October 1 1999.
Stalin: Optimizing Scheme compiler. Last modification on November 22 2000.