Projects

Steel Bank Common Lisp

Steel Bank Common Lisp, aka SBCL, is an open source compiler and runtime system for ANSI Common Lisp. It provides an interactive environment including an integrated native compiler, a debugger, and many extensions.

CLISP - an ANSI Common Lisp

GNU CLISP is an ANSI Common Lisp implementation with an interpreter, compiler, debugger, object system (CLOS, MOP), sockets, fast bignums, arbitrary precision floats, and foreign language interface which runs on most UNIXes and Win32.

Racket

Programming language suitable for implementation tasks ranging from scripting to application development, and supporting the creation of new programming languages. It includes the DrRacket programming environment, a virtual machine with a just-in-time compiler, and various other tools.

Chicken

Chicken is a compiler for the Scheme programming language. Chicken produces portable, efficient C, supports almost all of the current Scheme language standard, R5RS and includes many enhancements and extensions.

CMUCL

a high-performance, free Common Lisp implementation which runs on most major Unix platforms. It mainly conforms to the ANSI Common Lisp standard.

Ikarus

Ikarus Scheme is a free optimizing incremental native-code compiler for Scheme as specified in the Revised^6 Report on the Algorithmic Language Scheme.

The Slate Programming Language

OverviewThis is the source management site for the Slate programming language. Getting StartedTo get started with Slate, you need: A VM: Some pre-built VMs are available in the Downloads section. Or, get the sources via one of our repositories (cloning an hg or git repository or extracting a ... [More] tarball), and build using 'make'. A pre-made Slate image. Download the appropriate Slate image from our Downloads section. Currently we support all little-endian systems with a GCC toolchain or Visual Studio out of the box, with either a 32-bit or 64-bit build of VM and image equally supported. Build instructions are contained within the README in the source tree. If tweaks are required for your platform, please let us know so we can improve our support. Finally, run "./slate -i imagefile.image" Release PracticesWe are not currently making versioned releases, but image snapshots with the latest core library updates are uploaded mid-month or at the end of the month after confirming basic stability. If the images are not dated recently, that should be because they're still compatible with source trees from that date onward. IssuesStability should be steadily improving, and any major crashes are worth reporting. [Less]

Lambda Gears

Scheme VM and Compiler

qilang

1. What is Qi? A language implemented in Common Lisp that generates efficient type secure Lisp programs which you can run on any machine. 2. What advantages does writing in Qi have over writing in Lisp? Quite a few. Qi uses pattern-matching instead of forcing you to write in CARs and CDRs. ... [More] Typically Qi programs have 40% of the non-whitespace characters that Lisp programs have. 2. Qi has optional static type checking. You don't have to pray your program will not crash with a type error in a real application. 3. Qi is lambda-calculus consistent. It makes Common Lisp understand things like partial applications. 3. If I choose Qi, do I have to give up Lisp? Absolutely not. In fact you can mix Qi and Lisp functions into one file and load them together. You can use Lisp functions within Qi code with no problems. You can even add to the type discipline of Qi to tell it about the types of functions that you have written in Lisp and it will accept your information. 4. What advantages does writing in Qi have over writing in ML or Haskell? Qi runs on top of Lisp, which means that Qi inherits all the features of Lisp that ML and Haskell do not have; (think macros, EVAL, hash-tables, property-lists, metaprogramming ....) 2. Static typing is optional in Qi. You do not have to buy into it if you are dealing with code that is resistant to type checking. Or you can choose to check only that code you are interested in. 3. The type discipline of Qi is based on sequent notation which is a much more powerful and flexible tool for defining types than that used in ML or Haskell. To find out why click here. [Less]

liskell

Liskell is Haskell on the inside but looks like Lisp on the outside, as in its source code it uses the typical Lisp syntax forms, namely symbol expressions, that are distinguished by their fully parenthesized prefix notation form. Liskell captures the most Haskell syntax forms in this prefix notation form.