Projects

Guile

Guile is an implementation of the Scheme programming language. In addition to supporting the R5RS Scheme standard, a large subset of R6RS, and many SRFIs, Guile includes full access to POSIX system calls, networking support, multiple threads, dynamic linking, and a foreign function call interface. ... [More] Guile can run interactively, as a script interpreter, and as a Scheme compiler to VM bytecode suitable for stand-alone applications. It is also packaged as a library so that applications can easily incorporate a complete Scheme interpreter/VM. [Less]

lfe

Lisp Flavoured Erlang (LFE)

AkLisp

A toy Lisp dialect

blisp

GoalsUse Boehm GC library for memory management Make C core as small as possible Write as much code in the Lisp dialect itself (make it largely self-hosting, like Glasgow Haskell) Use the pair/list data structure(s) whenever possible as the data structure(s) (taking a cue from Lua - which did, in ... [More] turn, from Scheme) Incorporate influences from "pure" functional programming languages like Haskell Consistent error-handling at C and Lisp levels For now, a very forgiving dynamic type system InfluencesHaskell Lua Arc All the Lisps and Schemes, of course Python because it's my favorite language and so bound to creep in somewhere AboutThe writer is a university student interested in compilers and interpreters. He hopes that he shall learn a great deal of this arcane art from this project. [Less]

scheme-cat

This is a simple implementation of the Cat programming language in Scheme. The goal is to support the entire set of primitives and all of the semantics of Cat in a simple and easy to understand code base. The hope is that this will encourage others to play around with the semantics of Cat, and ... [More] write their own extensions -- as well as simply improve the implementation. Right now it supports all of the level 0 and 1 primitives, supports the definition of recursive functions, and plays (sort-of) nicely with the PLT Scheme module system. The short term goals are to add type inferencing and the level 2 primitives, which I consider essentially the first milestone. [Less]