New York, NY

The place to download the public version of the GNAT Ada compiler and related packages.

Framework for customizable, retargetable and optimizing compiler back ends, written in Standard ML. Successfully retargeted to many architectures. Deals elegantly with special requirements imposed by execution model of different high-level, typed lang...

By Chia-Hsiang Chang.

SET Language: mathematical programming language closely resembling the language of sets and functions used by Mathematicians. Lets users define sets, then define functions and binary operations on the sets: reference documentation for the library of b...

A dissertation by David Bacon.

SET Language 2, close relative of SETL, has some clumsy support for closures, an experimental (broken) object system, and redefines integer division to mean something different than in SETL: 3/2 yields 1.5 in SETL, but only 1 in SETL2.

FTP site with version 2.2, for PCs using DOS; downloads of self-extracting .exe.

Java tools: a utility for searching the entire environment classpath for a particular class; utility to combine two or more jar files into one. C# programs: text editor, chat system, and others. All software with sources.

Web publishing system that is highly resistant to censorship and provides publishers with a high degree of anonymity.