All software packages are available
packages. They are licensed under the LGPL, which I have
clarified to state that linking against one of these
libraries (by putting the appropriate
require clause in your program) is mere
aggregation. Therefore, a program that uses these libraries
may be released under any license.
ClassicJava: an implementation of (most of) the model
of Java by Flatt, Krishnamurthi, and Felleisen in POPL
environment.plt: a PLT Scheme implementation of a
rib-cage environment data structure that supports any
kind of data as keys and several advanced operations on
contract-utils.plt: a library of contract definitions
and contract utilities, for use with PLT Scheme's contract
views.plt: a mechanism for defining pattern-matching
views on abstract data types. This is based on Phil
Wadler's paper on views in POPL 1987, although it is not
as complete. This library does not (intend to) define
additional constructors for abstract data types.
tests for expressions that produce multiple values.
Last modified: 30 Aug 2007