Xref: bloom-picayune.mit.edu comp.lang.misc:12056 comp.sources.d:8783 comp.archives.admin:834 news.answers:3343
Newsgroups: comp.lang.misc,comp.sources.d,comp.archives.admin,news.answers
Path: bloom-picayune.mit.edu!mintaka.lcs.mit.edu!think.com!spool.mu.edu!agate!tfs.com!tfs.com!muir
From: [email protected] (David Muir Sharnoff)
Subject: Catalog of compilers, interpreters, and other language tools [part 1/2]
Message-ID: <[email protected]>
Followup-To: comp.archives.admin
Summary: montly posting of free language tools that include source code
Supersedes: <[email protected]>
Reply-To: [email protected]
Organization: TRW Financial Systems
Date: Mon, 5 Oct 1992 02:53:21 GMT
Approved: [email protected]
Expires: Fri, 25 Dec 1992 01:26:32 GMT
Lines: 1013

Archive-name: free-compilers/part1
Last-modified: 1992/10/04
Version: 2.0



Catalog of Free Compilers and Interpreters.


With this document, I attempt to track the freely available compilers
and interpreters. THIS IS STILL A DRAFT DOCUMENT: it has errors, it
is not complete, and I might re-organize it.

There is some overlap of coverage between this document and
Bill Kinnersley's Language List. His document covers all computer
languages and as a by-product includes some information about
implementations. I wish to cover all free implementations and as
a by-product cover some languages. Both from laziness and to avoid
duplication of effort, I have not integrated the information from
Bill Kinnersley's Language List into my catalog.

There is also some overlap between my catalog and Colas Nahaboo's
Catalog of embeddable Languages.

It is my intention that my catalog primerily serve developers rather
than researchers. I am much more intersted in production quality
systems.

To be on this list a package must have source code included. If there
are any packages on this list that do not have source code included,
then I would appreciate it if it is brought to my attention so that
I may correct the error.

There are many fields filled in with a question mark (?). If you have
information which would allow me to remove question marks, please
send it to me.The only field which I do not expect to be completely
obvious is the "parts" field because I wish to distinguish between
compilers, translators, and interpretors. To qualify as a compiler
as I'm using the term, it must compile translate to a machine-readable
format no higher-level than assembly. Why? Just because. If you've
got a better idea, send it in.

I hope to post this once a month. I don't know if I will be able to.

David Muir Sharnoff , 10/2/92

This documents attempts to catalog freely availiable compilers,
interpretors, libraries, and language tools. It is my intention
that it be aimed at developers rather than researchers.

Please note that I am supporting the FSF boycott of Apple by not including
Macintosh-only entries. If you want to find Macintosh ports, ftp to
bric-a-brac.apple.com, sumex-aim.stanford.edu, pacific.mps.ohio-state.edu,
plains.nodak.edu, plains.nodak.edu, wuarchive.wustl.edu, archive.umich.edu,
jyu.fi, neptune.ethz.ch, archive.umich.edu, cs.dal.ca, and ftp.uu.net.
Or send mail to Zbigniew Fiedorowicz
for his list.

-------------------------------- tools -----------------------------------------

language:ABC
package:ABC
version:1
parts:?
author:?
how to get:ftp programming/languages/abc/* from mcsun.eu.net
description:ABC is an imperative language originally designed as a
replacement for BASIC: interactive, very easy to learn,
but structured, high-level, and easy to use. ABC has
been designed iteratively, and the present version is
the 4th iteration. The previous versions were called B
(not to be confused with the predecessor of C).
references:"The ABC Programmer's Handbook" by Leo Geurts,
Lambert Meertens and Steven Pemberton, published by
Prentice-Hall (ISBN 0-13-000027-2)
"An Alternative Simple Language and Environment for PCs"
by Steven Pemberton, IEEE Software, Vol. 4, No. 1,
January 1987, pp. 56-64.
ports:unix, ms-dos, atari, mac
contact:[email protected]
updated:?

language:Ada
package:Ada grammar
version:?
parts:scanner(lex), parser(yacc)
how to get:ftp from primost.cs.wisc.edu or mail to
[email protected]
contact:[email protected]
updated:10/12/91

language:Ada
package:Compiler for Toy/Ada in SML/NJ
version:?
parts:translator(?)
author:Amit Bhatiani
how to get:ftp pub/compiler*.tar.Z from master.cs.rose-hulman.edy
conformance:subset
updated:4/8/92

language:Ada
package:NASA PrettyPrinter
version:?
parts:Ada LR parser, ?
how to get:ftp from Ada Software Repository on wsmr-simtel20.army.mil
description:pretty-print program that contains an ada parser
requires:Ada
info-source:Michael Feldman in comp.compilers
[he also has a yacc grammar for ada]
updated:2/1/91

language:Ada
package:yacc grammar for Ada
version:?
parts:parser(yacc)
author:Herman Fischer
how to get:ftp PD2:GRAM2.SRC
from wsmr-simtel20.army.mil
contact:?
updated:2/1/91

language:Algol, Foogol
package:foogol
version:?
parts:compiler
author:?
how to get:comp.sources.unix archive volume 8
conformance:subset of Algol
description:?
ports:VAX
updated:?

language:APL
package:J-mode
what:add on to J
parts:emacs macros
how to get:ftp public/j/gmacs/j-interaction-mode.el from think.com
updated:3/4/91

language:APL
package:Sharp APL
how to get:ftp languages/apl/* from watserv1.waterloo.edu
updated:7/6/92

language:APL
package:I-APL
how to get:ftp languages/apl/* from watserv1.waterloo.edu
updated:7/6/92

language:APL
package:RATAPL
how to get:ftp languages/apl/* from watserv1.waterloo.edu
updated:7/6/92

language:APL
package:TryAPL2
how to get:ftp languages/apl/* from watserv1.waterloo.edu
updated:7/6/92

language:APL, J
package:APL, J, and other APL Software at Waterloo
parts:ftp archive
how to get:ftp languages/apl/index from watserv1.waterloo.edu
contact:Leroy J. (Lee) Dickey
updated:7/6/92

language:Assembler (8051)
package:CAS: The Free Full-Featured 8051 Assembler
version:?
parts:?
author:?
how to get:ftp /pub/8051/assem from csd4.csd.uwm.edu
description;an experimental public domain one-pass assembler for the 8051
portability:high
ports:MS-DOS, ?
requries:ANSI-C compiler
updated:8/13/92

language:BASIC
package:? basic ?
version:?
parts:paser(yacc), interpreter
author:?
how to get:comp.sources.unix archives volume 2
updated:?

language:BASIC
package:? bournebasic ?
version:?
parts:interpreter
author:?
how to get:comp.sources.misc archives volume 1
description:?
updated:?

language:BASIC
package:? basic ?
version:?
parts:interpreter
author:?
how to get:ftp ? from wsmr-simtel20.army.mil
description:?
contact:?
updated:?

language:BASIC
package:ubasic
version:8
parts:?
author:Yuji Kida
how to get:? ask archie ?
references:reviewed in Notices of the A.M.S #36 (May/June 1989),
and "A math-oriented high-precision BASIC", #38 (3/91)
contact:?
updated:7/6/92

language:BNF
package:Grey
version:2
parts:parser generator(Forth)
author:Martin Anton Ertl
how to get:author
description:Gray is a parser generator written in Forth. It takes
grammars in an extended BNF and produces executable Forth
code for recursive descent parsers. There is no special
support for error handling.
requires:Forth
ports:TILE Release 2 by Mikael Patel
updated:2/5/91

language:BNF ??
package:ZUSE
version:?
parts:parser generator(?)
author:Arthur Pyster
how to get:? Univ Calif at Santa Barbara ?
description:ll(1) paser generator
requires:Pascal
updated:9/23/86

language:BNF ??
package:FMQ
version:?
parts:paser generator w/error corrector generator
author:Jon Mauney
how to get:ftp from csczar.ncsu.edu
status:?
contact:?
updated:3/31/90

language:BNF ??
package:ATS (Attribute Translation System)
version:?
author:? University of Saskatchewan ?
how to get:?
description:generates table-driven LL(1) parsers with full insert-only
error recovery. It also handles full left-attribute semantic
handling, which is a dream compared to using YACC's parser
actions.
contact:?
info-source:Irving Reid in comp.compilers
status:?
updated:11/29/88

language:BNF ??
package:PCCTS (Purdue Compiler-Construction Tool Set)
version:?
parts:?
how to get:? ftp ?
contact:? Hank Dietz ?
updated:?


language:BNF ??
package:DEER
version:?
parts:parser geneartor
author:Bob Grey
description:LL(1) paser generator generates directly executable C,
rather than a table-driven C machine.
reference:Bob Grey, 1987 Summer Usenix proceedings.
status:?
updated:11/29/88

language:BNF ??
package:LLGen
version:?
parts:parser generator
author:? Fischer and LeBlanc ?
how to get:? ftp from csczar.ncsu.edu ?
description:LL(1) parser generator
conformance:subset of FMQ
reference:"Crafting A Compiler", by Fischer and LeBlanc
status:?
contact:?
updated:3/31/90

language:Bourne Shell
package:bash (Bourne Again SHell)
version:1.12
parts:parser(yacc), interpreter, documentation
how to get:ftp /u2/emacs/bash-1.12.tar.Z from prep.ai.mit.edu
author:Brian Fox
description:?
restriction:CopyLeft
bugs:gnu.bash.bug
updated:1/28/92

language:C
package:xdbx
version:2.1
parts:X11 front end for dbx
how to get:retrieve xxgdb from comp.sources.x volumes 11, 12, 13, 14, & 16
contact:Po Cheung
updated:2/22/92

language:C
package:ups
version:2.1
parts:interpreter, symbolic debugger, tests, documentation
how to get:? ftp from contrib/ups*.tar.Z from export.lcs.mit.edu ?
author:Mark Russell
description:Ups is a source level C debugger that runs under X11 or
SunView. Ups includes a C interpreter which allows you to add
fragments of code simply by editing them into the source window.
ports:Sun, Decstation, VAX(ultrix), HLH Clipper
discussion:[email protected]
bugs:Mark Russell
updated:5/20/91

language:C
package:lcc
version:?
parts:compiler
author:? Princton & Bell Labs ?
how to get:ftp from princeton.edu
description:+ hand coded C parser (faster than yacc)
+ retargetable
+ code "as good as GCC"
- mips, sparc, 68k backends for sale
contact:?
ports:vax
updated:?

language:C
package:smallc
version:?
parts:compiler
author:?
how to get:comp.sources.unix volume 5
description:?
conformance:?
ports:68k, 6809, VAX, 8080
updated:?

language:C
package:GCT
version:1.3
parts:test-coverage-preprocessor
author:Brian Marick
how to get:ftp pub/testing/GCT.README from cs.uiuc.edu
description:GCT is test-coverage tool based on GNU C. Coverage tools
measure how thoroughly a test suite exercises a program.
restriction:CopyLeft
discussion:[email protected]
support:commercial support available from author, (217) 351-7228
ports:?
updated:6/27/92

language:C
package:Harvest C
version:2.1
ports:Macintosh
how to get:ftp mac/development/languages/harves* from archive.umich.edu
description:?
contact:Eric W. Sink
updated:5/26/92

language:C++
package:ET++
parts:class libraries, documentation
how to get:ftp C++/ET++/* or pub/* from iamsun.unibe.ch
contact:Erich Gamma
updated:10/26/92

language:C++
package:C++ grammar
how to get:comp.sources.misc volume 25
parts:parser(yacc)
updated:10/23/91

language:C++
package:?
version:?
parts:parser(yacc)
author:Jim Roskind
how to get:comp.archives archive on primost.cs.wisc.edu
status:?
updated:12/26/89

language:C++
package:COOL
version:?
parts:libraries, tests, documentation
how to get:ftp ? from cs.utexas.edu
description:A C++ class library developed at Texas Instruments. Cool
contains a set of containers like Vectors, List, Has_Table,
etc. It uses a shallow hierarchy with no common base
class.The funtionality is close to Common Lisp data
structures (like libg++). The template syntax is very close
to Cfront3.x and g++2.x. Can build shared libraries on Suns.
contact:Van-Duc Nguyen
ports:?
updated:8/5/92

language:C++, Extended C++
package:EC++
version:?
parts:translator(C++), documentation
author:Glauco Masotti
how to get:? ftp languages/misc/EC++.tar.Z from ftp.uu.net ?
description:EC++ is a preprocessor that translates Extended C++
into C++. The extensions include:
+ preconditions, postconditions, and class invariants
+ parameterized classes
+ exception handling
+ garbage collection
status:?
updated:10/10/89

language:C (ANSI)
package:? 1984 ANSI C to K&R C preprocessor ?
version:?
parts:translator(K&R C)
author:?
how to get:from comp.sources.unix archive volume 1
status:?
updated:?

language:C (ANSI)
package:unproto ?
version:? 4 ? 1.6 ?
parts:translator(K&R C)
author:Wietse Venema
how to get:ftp pub/unix/unproto4.shar.Z from ftp.win.tue.nl
contact:?
updated:?

language:C, ANSI C, C++
package:? The Roskind grammars ?
version:?
parts:parser(yacc)
author:Jim Roskind
how to get:ftp pub/*grammar* from ics.uci.edu
description:The C grammar is CLEAN, it does not use %prec, %assoc, and
has only one shift-reduce conflict. The C++ grammar has
a few conflicts.
status:?
updated:12/26/89

language:C, C++
package:xxgdb
version:1.06
parts:X11 front end for gdb
how to get:retrieve xxgdb from comp.sources.x volumes 11, 12, 13, 14, & 16
contact:Pierre Willard
updated:2/22/92

language:C, C++
package:gdb
version:4.5
parts:symbolic debugger, documentation
how to get:ftp /u2/emacs/gdb-4.5.tar.Z from prep.ai.mit.edu
author:many, but most recently Stu Grossman
and John Gilmore
ports:most unix variants, vms, vxworks, amiga, msdos
bugs:gnu.gdb.bug
discussion:?
restriction:CopyLeft
updated:4/13/92

language:C, C++, Objective C
package:emx programming environment for OS/2
parts:gcc, g++, gdb, libg++, .obj linkage, DLL, headers
how to get:ftp pub/os2/2.0/programing/emx-0.8e from ftp-os2.nmsu.edu
author:Kai-Uwe Rommel
updated:9/21/92

language:C, nroff
package:c2man
version:1.1
parts:documentation generator (C -> nroff -man)
how to get:alt.sources archive
author:Graham Stoney
description:c2man is a program for generating Unix style manual pages in
nroff -man format directly from ordinary comments embedded
in C source code
updated:7/10/92

language:C-Refine, C++-Refine, *-Refine
package:crefine
version:3.0
parts:pre-processor, documentation
how to get:aquire from any comp.sources.reviewed archive
author:Lutz Prechelt
description:C-Refine is a preprocessor for C and languages that
vaguely resemble C's syntax. It allows symbolic naming
of code fragments so as to redistribute complexity and
provide running commentary.
portability:high
ports:unix, msdos, atari, amiga.
updated:7/16/92

language:CAML (Categorical Abstract Machine Language)
package:CAML
version:3.1
parts:?
author:?
description:CAML is a language belonging to the ML family including:
+ lexical binding discipline
+ static type inference
+ user-defined (sum and product) types
+ possibly lazy data structures
+ possibly mutable data structures
+ interface with the Yacc parser generator
+ pretty-printing tools
+ and a complete library.
how to get:? ftp lang/caml from nuri.inria.fr ?
status:?
discussion:?
ports:Sun-3 Sun-4 Sony-68k Sony-R3000 Decstation Mac-A/UX Apollo
portability:?
bugs:[email protected] or [email protected]
updated:?

language:Caml Light
package:Caml Light
version:0.4
how to get:ftp lang/caml-light/* from nuri.inria.fr
author:Xavier Leroy
parts:bytecode compiler, runtime, scanner generator, parser generator
ports:most unix, Macintosh, Amiga, MS-DOS
conformance:subset of CAML
features:very small
performance:five to ten times slower than SML-NJ
portability:very high
contact:Xavier Leroy
updated:10/5/91

language:Candle, IDL (Interface Description Language)
package:Scorpion System
version:5.0
author:University of Arizona
parts:software development environment for developing
software development environments, documentation
how to get:ftp scorpion/* from cs.arizona.edu
description:20 tools that can be used to construct specialized
programming environments
history:The Scorpion Project was started by Prof.Richard
Snodgrass as an outgrowth of the SoftLab Project (which pro-
duced the IDL Toolkit) that he started when hewas at the
University ofNorth Carolina. TheScorpion Project is
directed by him at the University of Arizona and by Karen
Shannon at the University of North Carolina at Chapel Hill.
reference:"The Interface Description Language: Definition and Use,"
by Richard Snodgrass, Computer Science Press, 1989,
ISBN 0-7167-8198-0
ports:Sun-3, Sun-4, Vax, Decstation, NeXT, Sequent, HP9000
discussion:[email protected]
contact:[email protected]
updated:4/10/91

language:Common Lisp
package:CMU Common Lisp
version:16e
parts:compiler, runtime, documentation, editor
author:?
how to get:ftp *-source.tar.Z from ftp.cs.cmu.edu. precompiled versions
also available
description:includes macs-like editor (hemlock), pcl, and clx.
ports:sparc, mips
contact:[email protected]
updated:9/1/92

language:Common Lisp
package:PCL (Portable Common Loops)
version:8/28/92 PCL
parts:library
author:? Richard Harris ?
how to get:ftp pcl/* from parcftp.xerox.com
description:A portable CLOS implementation. CLOS is the object oriented
programming standard for Common Lisp. Based on Symbolics
FLAVORS and Xerox LOOPS, among others.Loops stands for
Lisp Object Oriented Programming System.
status:?
ports:Lucid CL 4.0.1, CMUCL 16e, ?
updated:9/2/92

language:Common Lisp
package:WCL
version:?
parts:?, shared library runtime, source debugger
author:Wade Hennessey
how to get:ftp ? from sunrise.stanford.edu
description:A common lisp implementation as a shared library. WCL
Is not a 100% complete Common Lisp, but it does have
the full development environment including dynamic file
loading and debugging.A modified version of GDB provides
mixed-language debugging. A paper describing WCL was
published in the proceedings of the 1992 Lisp and Functional
Programming Conference.
contact:Wade Hennessey
ports:Sun sparc.
updated:9/29/92

language:CommonLisp
package:KCL (Kyoto Common Lisp)
parts:translator(C), interpretor
how to get:? ftp pub/kcl*.tar.Z from rascal.ics.utexas.edu ?
author:T. Yuasa and M. Hagiya (working under R. Nakajima) at the
description:KCL, Kyoto Common Lisp, is an implementation of Lisp,
It is written in the language C to run under Un*x-like
operating systems. KCL is very C-oriented; for example,
the compilation of Lisp functions in KCL involves a
subsidiary C compilation.
conformance:conforms to the book ``Common Lisp: The Language,''
G. Steele, et al., Digital Press, 1984.
contact:[email protected] [email protected]
discussion:[email protected]
bugs:[email protected]
updated:6/87

language:CommonLisp
package:AKCL (Austin Kyoto Common Lisp)
version:1-600
parts:patches to KCL
how to get:ftp pub/akcl-*.tar.Z from rascal.ics.utexas.edu
author:Bill Schelter
description:AKCL is a collection of ports, bug fixes, and
performance improvements to KCL.
ports:Decstation3100, HP9000/300, i386/sysV, IBM-PS2/aix, IBM-RT/aix
SGI Sun-3/Sunos[34].* Sun-4 Sequent-Symmetry IBM370/aix,
VAX/bsd VAX/ultrix
updated:9/17/91

language:CommonLisp
package:CLX
version:5.01
parts:library
how to get:ftp contrib/CLX.R5.01.tar.Z from export.lcs.mit.edu
description:CommonLisp binding for X
contact:?
ports:?, CMU Common Lisp
bugs:[email protected]
updated:8/26/92

language:context-free BNF-like grammar
package:TXL: Tree Transformation Language
version:6.0
parts:translator generator
author:Jim Cordy
how to get:ftp txl/00README for instructions from qusuna.qucis.queensu.ca
description:+ TXL is a generalized source-to-source translation
system suitable for rapidly prototyping computer
languages and language processors of any kind.It has
been used to prototype several new programming
languages as well as specification languages, command
languages, and more traditional program transformation
tasks such as constant folding, type inference, source
optimization and reverse engineering. TXL takes
as input an arbitrary context-free grammar in extended
BNF-like notation, and a set of show-by-example
transformation rules to be applied to inputs parsed
using the grammar.
updated:2/23/92

language:csh (C-Shell)
package:tcsh
version:6.02
parts:interpreter
author:Christos Zoulas
how to get:?
description:a modified C-Shell with history editing
updated:5/17/92

language:EDIF (Electronic Design Interchange Format)
package:Berkeley EDIF200
version:7.6
parts:translator-building toolkit
author:Wendell C. Baker and Prof A. Richard Newton of the Electronics
Research Laboratory, Department of Electrical Engineering and
Computer Sciences at the University of California, Berkeley, CA.
how to get:ftp from pub/edif in ic.berkeley.edu
description:?
ports:?
restriction:no-profit w/o permission
updated:7/90

language:EDIF v 2 0 101
package:University of Manchester EDIF v 2 0 101 Syntax Checker
how to get:ftp pub/edif from edif.cs.man.ac.uk
description:Parser/Syntax checker for EDIF v 2 0 101 written in ANSI-C

language:EuLisp
package:Feel (Free and Eventually Eulisp)
version:0.75
parts:interpreter, documentation
how to get:ftp pub/eulisp from ftp.bath.ac.uk
author:Pete Broadbery
description:+ integrated object system
+ a module system
+ parallelism
+ interfaces to PVM library, tcp/ip sockets, futures,
Linda, and CSP.
ports:most unix
portability:high, but can use shared memory and threads if available
updated:9/14/92

language:FMPL of Accardi
package:FMPL interpreter
version:1
parts:interpreter, documentation
author:Jon Blow
how to get:ftp src/local/fmpl/* from xcf.berkeley.edu
description:FMPL is an experimental prototype-based object-oriented
programming language developed at the Experimental Computing
Facility of the University of California, Berkeley.
+ lambda-calculus based constructs.
+ event-driven (mainly I/O events)
updated:6/2/92

language:FORTH
package:TILE Forth
version:?
parts:? compiler, interpreter ?
author:Mikael Patel
how to get:alt.sources archive
description:?
conformance:Forth83
restriction:shareware/GPL
ports:?
updated:?

language:FORTH
package:cforth
version:?
parts:interpreter
author:?
how to get:comp.sources.unix archive volume 1
description:?
updated:?

language:Forth, Yerk
package:Yerk
version:3.62
parts:?
how to get:ftp pub/Yerk/? from oddjob.uchicago.edu
description:Yerk is an object oriented language based on a
Forth Kernel with some major modifications. It
was originally known as Neon, developed and sold
as a product by Kriya Systems from 1985 to 1989.
Several of us at The University of Chicago have
maintained Yerk since its demise as a product.
Because of the possible trademark conflict that
Kriya mentions, we picked the name Yerk, which is
at least not an acronym for anything, but rather
stands for Yerkes Observatory, part of the Department
of Astronomy and Astrophysics at U of C.
author:?
updated:?

language:Fortran
package:f2c
version:?
parts:translator(C)
author:?
how to get:? mail subject "send all from f2c/src" to [email protected] ?
bugs:[email protected]
updated:? 2/16/91 ?

language:Fortran
package:Floppy
version:?
how to get:ffccc in comp.sources.misc archive volume 12
description:?
contact:?
updated:8/4/92

language:Fortran
package:Flow
version:?
parts:?
how to get:comp.sources.misc archive volume 31
author:Julian James Bunn
descripton:The Flow program is a companion to Floppy, it allows the user
to produce various reports on the structure of Fortran
77 code, such as flow diagrams and common block tables.
requires:Floppy
ports:VMS, Unix, CMS

language:FP
package:? funcproglang ?
version:?
parts:translator(C)
author:?
how to get:comp.sources.unix archive volume 13
descrition:? Backus Functional Programming ?
updated:?

language:Garnet ??
package:Garnet
version:2.1 alpha
how to get:ftp from /usr/garnet/? from a.gp.cs.cmu.edu
description:?
contact:?
updated:?

language:Garnet
package:Multi-Garnet
version:2.1
how to get:ftp /usr/garnet/alpha/src/contrib/multi-garnet from a.gp.cs.cmu.edu
author:Michael Sannella
description:better contstraint system for Garnet ??
updated:9/21/92

language:Gofer (Haskell derivitive)
package:Gofer
version:2.21
parts:?, documentation, examples
author:Mark Jones
how to get:ftp languages/haskell/gofer from src.doc.ic.ac.uk
conformances:Gofer does not implement all of Haskell, although it is
very close.
ports:many, including Sun, PC, Mac, Atari, Amiga
updated:7/6/92

language:Haskell
package:Chalmers Haskell (aka Haskell B.)
version:?
parts:?
how to get:ftp pub/haskell/chalmers/hbc from animal.cs.chalmers.se
requires:LML
contact:?
updated:7/6/92

language:Hermes
package:IBM Watson prototype Hermes system
version:0.8alpha patchlevel 01
parts:bytecode compiler, bytecode translator(C), runtime
author:Andy Lowry
how to get:ftp pub/hermes/README from software.watson.ibm.com
description:Hermes is a very-high-level integrated language and
system for implementation of large systems and
distributed applications, as well as for
general-purpose programming. It is an imperative,
strongly typed, process-oriented language. Hermes
hides distribution and heterogeneity from the
programmer. The programmer sees a single abstract
machine containing processes that communicate using
calls or sends. The compiler, not the programmer,
deals with the complexity of data structure layout,
local and remote communication, and interaction with
the operating system. As a result, Hermes programs are
portable and easy to write. Because the programming
paradigm is simple and high level, there are many
opportunities for optimization which are not present in
languages which give the programmer more direct control
over the machine.
reference:Strom, Bacon, Goldberg, Lowry, Yellin, Yemini. Hermes: A
Language for Distributed Computing. Prentice-Hall, Englewood
Cliffs, NJ. 1991. ISBN: O-13-389537-8.
ports:RS6000 Sun-4 NeXT IBM-RT/bsd4.3 (Sun-3 and Convex soon)
discussion:comp.lang.hermes
updated:3/22/92

language:ici
package:ici
parts:interpreter, documentation, examples
author:Tim Long
how to get:? ftp pub/ici.cpio.Z from extro.ucc.su.edu.au ?
description:ICI has dynamic arrays, structures and typing with the flow
control constructs, operators and syntax of C. There are
standard functions to provided the sort of support provided
by the standard I/O and the C libraries, as well as addi-
tional types and functions to support common needs such as
simple data bases and character based screen handling.
ports:Sun4, 80x86 Xenix, NextStep, MS-DOS
features:+ direct access to many system calls
+ structures, safe pointers, floating point
- no associative array builtin.
+ simple, non-indexed built in database
+ terminal-based windowing library
contact:?
portability:high
status:actively developed.
updated:6/22/91

language:Icon
package:icon
version:8.7 (8.5, 8.0 depending on platform)
parts:interpreter, compiler (some platforms), library
author:Ralph Griswold
how to get:ftp icon/* from cs.arizona.edu
description:Icon is a high-level, general purpose programming language that
contains many features for processing nonnumeric data,
particularly for textual material consisting of string of
characters.
- no packages, one name-space
- no exceptions
+ object oiented features
+ records, sets, lists, strings, tables
+ unlimited line length
+ good C interface
- unix interface is primitive
+ co-expressions
references:"The Icon Programmming Language", Ralph E. Griswold and
Madge T. Griswold, Prentice Hall 1983.
"The Implementation of the Icon Programmming Language",
Ralph E. Griswold and Madge T. Griswold, Princeton
University Press 1986
ports:Amiga, Atari, CMS, Macintosh, Macintosh/MPW, MS-DOS, MVS, OS/2,
Unix (most variants), VMS
discussion:comp.lang.icon
contact:[email protected]
updated:8/21/92

language:IFP (Illinois Functional Programming)
package:ifp
version:?
parts:interpreter
author:?
how to get:comp.sources.unix archive volume 10
description:?
updated:?

language:J ?
package:J ?
version:5 ?
how to get:ftp languages/apl/* from watserv1.waterloo.edu
updated:7/6/92

language:Janus
package:qdjanus
version:1.3
parts:translator(prolog)
author:Saumya Debray
how to get:ftp janus/qdjanus/* from cs.arizona.edu
conformance:mostly compliant with "Programming in Janus" by
Saraswat, Kahn, and Levy.
description:janus is a janus-to-prolog compiler meant to be used
with Sicstus Prolog
updated:5/18/92

language:Janus
package:jc
version:1.50 alpha
parts:translator(C)
author:David Gudeman
how to get:ftp janus/jc/* from cs.arizona.edu
description:jc is a janus-to-C compiler (considerably faster than qdjanus)
bugs:[email protected]
discussion:[email protected]
ports:sun-4, sun-3
updated:6/9/92

language:Kevo
package:kevo
version:0.9b2
parts:?, demo programs, user's guid, papers
author:Antero Taivalsaari
how to get:ftp /ursa/kevo/* from ursamajor.uvic.ca
description:Experimental prototype-based object-oriented system.
Although the Kevo system has been built to experiment
with ideas which are somewhat irrelevant from the
viewpoint of Forth, the system does bear some
resemblance to Forth; in particular, the system
executes indirect threaded code, and a great deal
of the primitives are similar to those of Forth's.
ports:Macintosh ('020 or better)
contact:[email protected]
updated:9/21/92

language:Lambda-Prolog
package:Prolog/Mali (PM)
version:? 6/23/92 ?
parts:translator(C), linker, libraries, runtime, documentation
how to get:ftp pm/* from ftp.irisa.fr
author:Pascal Brisset
description:Lambda-Prolog, a logic programming language defined by
Miller, is an extension of Prolog where terms are
simply typed $\lambda$terms and clauses are higher
order hereditary Harrop formulas. The main novelties
are universal quantification on goals and implication.
references:+ Miller D.A. and Nadathur G. "Higher-order logic programming",
3rd International Conference on Logic Programming, pp 448-462,
London 1986.
+ Nadathur G. "A Higher-Order Logic as a Basis for Logic
Programming", Thesis, University of Pennsylvania, 1987.
requires:MALI-V06 abstract memory. MALI is available by anonymous ftp
from ftp.irisa.fr
ports:unix
discussion:[email protected]
contact:[email protected]
updated:7/6/92

language:lex
package:flex
version:2.3.7
parts:scanner generator
how to get:ftp /u2/emacs/flex-2.3.7.tar.Z from prep.ai.mit.edu
author:Vern Paxson
updated:3/29/91

language:lisp
package:xlisp
version:2.0
parts:interpreter
author:David Micheal Betz / 127 Taylor Road / Peterborough, NH 03458
/ (603) 924-6936 (home)
how to get:? ftp languages/lisp/xlisp.shar.Z from ftp.uu.net ?
description:XLISP is an experimental programming language
combining some of the features of Common Lisp with an
object-oriented extension capability. It was
implemented to allow experimentation with
object-oriented programming on small computers.
conformance:subset of Common Lisp with additions of Class and Object
ports:unix, amiga, atari, mac, ms-dos
contact:Brad Davis (unix port)
restriction:no commercial use
updated:5/26/92 (unix), 12/16/87 (other platforms)

language:lisp
package:"LISP, Objects, and Symbolic Programming"
version:?
parts:book with compiler included
author:Robert R. Kessler and Amy R. Petajan
publisher:Scott, Foresman and Company, Glenview, IL
how to get:bookstore...
updated:1988

language:lisp
package:franz lisp
version:?
how to get:?
author:?
updated:?

language:Logo
package:logo
version:4
parts:interpreter
author:?
how to get:comp.sources.unix archive volume 10
description:?
updated:?

language:Logo
package:MswLogo
version:2.3
parts:?
author:George Mills
how to get:ftp pub/comp.lang.logo/programs/mswlogo from cher.media.mit.edu
history:The core of this Version of Logo comes from a project done by
Boston Childrens Museum and Lincoln Sudbury Regonal High
School. The port to Windows was done by George Mills of DEC.
description:?
ports:MS Windows 3.x
updated:9/29/92

language:Logo
package:Berkeley Logo
version:2.7 - alpha
parts:?
author:Brian Harvey
how to ge:ftp pub/*logo* from anarres.cs.berkeley.edu
description:?
ports:unix, pc, mac
updated:9/29/92

language:ML
package:LML
version:?
parts:compiler(?), interactive environment
how to get:ftp ? from animal.cs.chalmers.se
description:lazy, completely functional variant of ML.
ports:?
contact:?
updated:7/6/92

language:Modula-2*
package:Modula-2* compiler
version:?
author:Michael Philippsen
how to get:ftp pub/programming/modula2start/* from iraun1.ira.uka.de
updated:6/9/92
description:Modula-2* constructs allow for clear and portable parallel
software without intolerable loss of efficiency. T
+ programming model is superset of of data parallelism.
+ control mode supports both SIMD and MIMD
+ nestable parallelism may be nested
+ proceedures may be called from parallel contexts
+ efficient code possible for both SIMD and MIMD architectures
restriction:this may be binary-only, user registration requested
ports:Sun-4 MasPar

language:Modula-2, Pascal
package:m2
version:? 7/2/92 ?
parts:? compiler ?
history:The compiler was designed and built by Michael L.
Powell, and originally released in 1984. Joel
McCormack sped the compiler up, fixed lots of bugs, and
swiped/wrote a User's Manual. Len Lattanzi ported the
compiler to the MIPS.
description:A modula-2 compiler for VAX and MIPS. A Pascal
compiler for VAX is also included. The Pascal compiler
accepts a language that is almost identical to Berkeley
Pascal.
conformance:extensions:
+ foreign function and data interface
+ dynamic array variables
+ subarray parameters
+ multi-dimensional open array parameters
+ inline proceedures
+ longfloat type
+ type-checked interface to C library I/O routines
how to get:ftp pub/DEC/Modula-2/m2.tar.Z from gatekeeper.dec.com
restriction:must pass changes back to Digital
ports:vax (ultrix, bsd), mips (ultrix)
contact:[email protected]
updated:7/6/92

language:Modula-3
package:SRC Modula-3
version:2.01
parts:translator(C), runtime, library, documentation
how to get:ftp pub/DEC/Modula-3/m3-*.tar.Z from gatekeeper.dec.com
description:The goal of Modula-3 is to be as simple and safe as it
can be while meeting the needs of modern systems
programmers. Instead of exploring new features, we
studied the features of the Modula family of languages
that have proven themselves in practice and tried to
simplify them into a harmonious language. We found
that most of the successful features were aimed at one
of two main goals: greater robustness, and a simpler,
more systematic type system. Modula-3 retains one of
Modula-2's most successful features, the provision for
explicit interfaces between modules. It adds objects
and classes, exception handling, garbage collection,
lightweight processes (or threads), and the isolation
of unsafe features.
ports:?, Ultrix, RS6000
contact:Bill Kalsow
discussion:comp.lang.modula3
updated:2/9/92

language:Modula2
package:mtc
parts:translator(C)
how to get:ftp soft/unixtools/compilerbau/mtc.tar.Z
from rusmv1.rus.uni-stuttgart.de
author:?
description:?
ports:?
updated:10/25/91

language:Modula2, Pascal
package:?? metro ??
version:? beta
parts:?
how to get:ftp from mips1.info.uqam.ca using metro, password release4.0
description:?
ports:Sparc (Modula2 only), Macintosh
contact:Marcel Achim

language:Motorola DSP56001 assembly
package:a56
version:1.1
parts:assembler
author:Quinn C. Jensen
how to get:alt.sources archive
updated:8/10/92

language:natural languages
package:proof
parts:parser, documentation
author:Craig R. Latta
how to get:ftp src/local/proof/* from scam.berkeley.edu
description:a left-associative natural language grammar scanner
bugs:[email protected]
discussion:[email protected] ("Subject: add me")
ports:Decstation3100 Sun-4
updated:9/23/91

language:new awk
package:mawk
version:0.995
how to get:ftp public/mawk0.995/mawk0.995.tar.Z from oxy.edu
parts:interpreter
author:Mike Brennan
conformance:superset
+ RS can be a regular expression
features:+ faster than most new awks
ports:sun3,sun4:sunos4.0.3 vax:bsd4.3,ultrix4.1 stardent3000:sysVR3
decstation:ultrix4.1 msdos:turboC++
contact:Mike Brennan
status:?
updated:6/11/91

language:new awk
package:gawk
version:2.13
author:David Trueman and Arnold Robbins
how to get:ftp /u2/emacs/gawk-2.13.2.tar.Z from prep.ai.mit.edu
conformance:superset
ports:unix, msdos:msc5.1
status:activly developed
ports:?
updated:6/24/91

language:Oaklisp
package:oaklisp
version:?
parts:bytecode compiler, runtime, documentation
author:?
how to get:ftp /afs/cs.cmu.edu/user/bap/oak/ftpable/* from f.gp.cs.cmu.edu
description:Oaklisp is an seamless integration of Scheme with an
object-oriented substrate.
status:?
contact:?
updated:2/17/92

language:Oberon
package:Oberon from ETH Zurich
version:2.2 (msdos: 1.0)
parts:compiler, programming environment, libraries, documenation
how to get:ftp Oberon/* from neptune.inf.ethz.ch
ms-dos:ftp Oberon/DOS386/* from neptune.inf.ethz.ch
macintosh:??? same package or different ??? ftp
/mac/development/languages/macoberon2.40.sit.hqxfrom archive.umich.edu
author:Josef Templ
conformance:superset (except Mac)
ports:DECstation/MIPS/Ultrix/X11 Macintosh/68020/MacOS/QuickDraw
IBM/RS6000/AIX/X11 Sun-4/SunOS4/X11 Sun-4/SunOS4/pixrect
MS-DOS
contact:[email protected]
updated:7/20/92

language:Oberon2
package:Oberon-2 LEX/YACC definition
version:1.4
parts:parser(yacc), scanner(lex)
how to get:mail [email protected] with Subject "b-server-request~ and
body "send oberon/oberon_2_p_v1.4.shar"
author:Stephen J Bevan
parts:scanner(lex) parser(yacc)
status:un-officially supported
updated:7/6/92

language:Parlog
package:SPM System (Sequential Parlog Machine)
version:?
parts:?, documenation
author:?
how to get:? ftp lang/Parlog.tar.Z from nuri.inria.fr
description:a logic programming language ?
references:Steve Gregory, "Parallel Logic Programming in PARLOG",
Addison-Wesely, UK, 1987
ports:Sun-3 ?
restriction:no source code ?
updated:??

language:Pascal
package:p2c
version:1.15
parts:translator(C)
author:Dave Gillespie
how to get:comp.sources.unix archive volume 21, 22
conformance:?
ports:?
updated:4/13/90

language:Pascal
package:? iso_pascal ?
version:?
parts:scanner(lex), parser(yacc)
author:?
how to get:comp.sources.unix archive volume 13
description:?
updated:?

language:Pascal, Lisp, APL, Scheme, SASL, CLU, Smalltalk, Prolog
package:Tim Budd's C++ implementation of Kamin's interpreters
version:?
parts:interpretors, documentation
author:Tim Budd
how to get:ftp pub/budd/kamin/*.shar from cs.orst.edu
description:a set of interpretors written as subclasses based on
"Programming Languages, An Interpreter-Based Approach",
by Samuel Kamin.
requires:C++
status:?
contact:Tim Budd
updated:9/12/91

language:perl (Practical Extraction and Report Language)
package:perl
version:4.0 patchlevel 35
parts:interpreter, debugger, libraries, tests, documentation
how to get:ftp from jpl-devvax.jpl.nasa.gov or comp.sources.misc archive
OS/2 port:ftp ? from hobbes.nmsu.edu
Mac port:ftp pub/Mac/perl.hqx from ftp.maths.tcd.ie
Amiga port: ftp perl4.035.V010.* from wuarchive.wustl.edu
author:Larry Wall
description:perl is an interpreted language optimized for scanning
arbitrary text files, extracting information from those text
files, and printing reports based on that information.It's
also a good language for many system management tasks.
features:+ very-high semantic density becuase of powerful operators
like regular expression substitution
+ exceptions, provide/require
+ associative array can be bound to dbm files
+ no arbitrary limits
+ direct access to almost all system calls
+ can access binary data
+ many powerful common-task idioms
- three variable types: scalar, array, and hash table
- unappealing syntax
references:"Programming Perl" by Larry Wall and Randal L. Schwartz,
O'Reilly & Associates, Inc. Sebastopol, CA.
ISBN 0-93715-64-1
discussion:comp.lang.perl
bugs:comp.lang.perl; [email protected]
ports:almost all unix, ms-dos, macintosh, amiga
portability:very high for unix, low for other systems
updated:10/2/92

language:perl, awk, sed, find
package:a2p, s2p, find2perl
parts:translators(perl)
author:Larry Wall
how to get:comes with perl
description:translators to turn awk, sed, and find into perl.

language:perl, yacc
package:perl-byacc
version:1.8
parts:parser-generator(perl)
how to get:ftp local-src/perl-byacc1.8.tar.Z from ftp.sterling.com
author:Rick Ohnemus
description:A modified version of byacc that generates perl code.
updated:7/6/92

language:Postscript
package:ghostscript
version:2.4.1
how to get:ftp /u2/emacs/ghostscript*.Z from prep.ai.mit.edu
author:?
description:?
bugs:gnu.ghostscript.bug
ports:?
contact:?
updated:4/21/92

language:Postscript
package:Ghostscript
version:2.5.2
parts:interpreter, ?
how to get:ftp pub/gnu/ghostscript* from prep.ai.mit.edu
description:?
contact:?
updated:?

language:Postscript, Common Lisp
package:PLisp
version:?
parts:translator(Postscript), programming environment(Postscript)
description:?
author:John Peterson
updated:?

language:Prolog
package:SB-Prolog
version:3.0
author:?
how to get:ftp pub/sbprolog from sbcs.sunysb.edu
description:?
contact:? [email protected] ?
restriction:? CopyLeft ?
updated:9/16/92

language:prolog
package:swi-prolog
version:1.6.5
author:Jan Wielemaker
how to get:ftp ftp from swi.psy.uva.nl [192.42.96.1]
conformance:superset
features:"very nice Ed. style prolog, best free one I've seen"
ports:Sun-4, Sun-3 (complete); Linux, DEC MIPS (done but
incomplete, support needed); RS6000, PS2/AIX, Atari ST,
Gould PN, NeXT, VAX, HP-UX (known problems, support needed);
MS-DOS (status unknown)
status:activly developed
discussion:[email protected]
updated:9/29/92

language:Prolog
package:Frolic
version:?
how to get:ftp pub/frolic.tar.Z from cs.utah.edu
requires:Common Lisp
contact:?
updated:11/23/91

language:Prolog
package:? Prolog package from the University of Calgary ?
version:?
how to get:ftp pub/prolog1.1/prolog11.tar.Z from cpsc.ucalgary.ca
description:+ delayed goals
+ interval arithmetic
requires:Scheme
portability:reliese on continuations
contact:?
updated:?

language:Prolog
package:? slog ?
version:?
parts:translator(Scheme)
author:[email protected]
how to get:ftp public/slog.sh from titan.rice.edu
description:macros expand syntax for clauses, elations etc, into Scheme
ports:Chez Scheme
portability:reliese on continuations
updated:?

language:Prolog
package:LM-PROLOG
version:?
parts:?
author:Ken Kahn and Mats Carlsson
how to get:ftp archives/lm-prolog.tar.Z from sics.se
requires:ZetaLisp
contact:?
updated:?

language:Prolog
package:ISO draft standard
parts:language definition
how to get:ftp ? from ftp.th-darmstadt.de
updated:7/6/92

language:Python
package:Python
version:0.9.7 beta
parts:interpeter, libraries, documentation, emacs macros
how to get:ftp pub/python* from ftp.cwi.nl
america:ftp ? from wuarchive.wustl.edu
author:Guido van Rossum
description:Python is a simple, yet powerful programming language
that bridges the gap between C and shell programming,
and is thus ideally suited for rapid prototyping. Its
syntax is put together from constructs borrowed from a
variety of other languages; most prominent are
influences from ABC, C, Modula-3 and Icon. Python is
object oriented and is suitable for fairly large programs.
+ packages
+ exceptions
+ good C interface
+ dynamic loading of C modules
- arbitrary restrictions
discussion:[email protected]
ports:unix and Macintosh
updated:4/8/92

language:RATFOR
package:? ratfor ?
version:?
parts:translator(f77)
author:?
how to get:comp.sources.unix archives volume 13
description:?
updated:?

language:rc
package:rc
version:?
parts:interpretor
author:?
how to get:?? ftp from uunet ?
description:a free implementation of the Plan 9 shell.
contact:?
updated:?

language:REXX
package:?
version:0.02a
author:? anders ?
how to get:ftp andersrexx/rexx-0.02a.tar.Z from arexx.uwaterloo.ca
or ftp ? from flipper.pvv.unit.no
ports:unix
discussion:comp.lang.rexx
contact:?
updated:5/13/92

language:REXX
package:?
version:102
author:? al ?
how to get:ftp alrexx/rx102.tar.Z from arexx.uwaterloo.ca
or ftp ? from tony.cat.syr.edu
requires:C++
ports:unix
discussion:comp.lang.rexx
contact:?
updated:5/13/92

language:S/SL (Syntax Semantic Language)
package:ssl
version:?
author:Rick Holt, Jim Cordy (language),
Rayan Zachariassen (C implementation)
parts:parser bytecode compiler, runtime
how to get:ftp pub/ssl.tar.Z from neat.cs.toronto.edu
description:A better characterization is that S/SL is a language
explicitly designed for making efficient recusive-descent
parsers. Unlike most other languages, practicially the
LEAST expensive thing you can do in S/SL is recur. A
small language that defines input/output/error token
names (& values), semantic operations (which are really
escapes to a programming language but allow good
abstration in the pseudo-code), and a pseudo-code
program that defines a grammar by the token stream the
program accepts. Alternation, control flow, and
1-symbol lookahead constructs are part of the
language. What I call an S/SL "implementation", is a
program that compiles this S/SL pseudo-code into a
table (think byte-codes) that is interpreted by the
S/SL table-walker (interpreter). I think the pseudo-code
language is LR(1), and that the semantic mechanisms turn it
into LR(N) relatively easily.
+ more powerful and cleaner than yac
- slower than yacc
reference:+ Cordy, J.R. and Holt, R.C. [1980] Specification of S/SL:
Syntax/Semantic Language, Computer Systems Research
Institute, University of Toronto.
+ "An Introduction to S/SL: Syntax/Semantic Language" by
R.C. Holt, J.R. Cordy, and D.B. Wortman, in ACM Transactions
on Programming Languages and Systems (TOPLAS), Vol 4, No.
2, April 1982, Pages 149-178.
updated:9/25/89

language:Sather
package:Sather programming language and environment
version:0.2g
parts:translator(C), debugger, libraries, documentation, emacs macros
author:International Computer Science Institute in Berkeley, CA
how to get:ftp pub/sather/sa-0.2g.tar.Z from ftp.icsi.berkeley.edu
europe:ftp pub/Sather/* from gmdzi.gmd.de
aus:ftp world/sather/* from lynx.csis.dit.csiro.au
japan:ftp pub/lang/sather/* from sra.co.jp
conformance:reference implemantation
description:Sather is a new object-oriented computer language
developed at the International Computer Science
Institute. It is derived from Eiffel and attempts to
retain much of that language's theoretical cleanliness
and simplicity while achieving the efficiency of C++.
It has clean and simple syntax, parameterized classes,
object-oriented dispatch, multiple inheritance, strong
typing, and garbage collection. The compiler generates
efficient and portable C code which is easily
integrated with existing code.
package:A variety of development tools including a debugger and browser
based on gdb and a GNU Emacs development environment
have also been developed. There is also a class library
with several hundred classes that implement a variety
of basic data structures and numerical, geometric,
connectionist, statistical, and graphical abstractions.
We would like to encourage contributions to the library
and hope to build a large collection of efficient,
well-written, well-tested classes in a variety of areas
of computer science.
ports:Sun4
portability:high
discussion:[email protected]
bugs:[email protected]
status:actively developed.
updated:7/6/92

language:Scheme
package:Schematik
version:1.0
parts:programming envrinment
author:Max Hailperin
how to get:?
ports:Next, MIT Scheme 7.2.0
portability:requires NextStep
contact:[email protected]
updated:10/12/91

language:Scheme
package:T
version:3.1
parts:compiler
author:?
how to get:ftp pub/systems/t3.1 from ftp.ai.mit.edu
description:a Scheme-like language developed at Yale. T is
written in itself and compiles to efficient native
code.
(A multiprocessing version of T is available from
masala.lcs.mit.edu:/pub/mult)
ports:Decstation, Sparc, sun-3, Vax(unix), Encore, HP, Apollo,
Mac (A/UX)
contact:[email protected].
bugs:[email protected]
updated:11/26/91

language:Scheme
package:scm
version:4a11
parts:interpreter, conformance test, documentation
author:Aubrey Jaffer
conformance:superset of Revised^3.99 Report on the Algorithmic
Language Scheme and the IEEE P1178 specification.
how to get:ftp archive/scm/* from altdorf.ai.mit.edu
canada:ftp pub/oz/scheme/new from nexus.yorku.ca
restriction:GNU Copyleft
contributions:send $$$ to Aubrey Jaffer, 84 Pleasant St., Wakefield, MA 01880
ports:unix, amiga, atari, mac, ms-dos, nos/ve, vms
updated:9/9/92

language:Scheme
package:siod (Scheme In One Day, or Scheme In One Defun)
version:2.9
author:George Carrette
how to get:ftp src/lisp/siod-v2.8-shar from world.std.com
description:Small scheme implementation in C arranged as a set of
subroutines that can be called from any main program
for the purpose of introducing an interpreted extension
language. Compiles to ~20K bytes of executable. Lisp
calls C and C calls Lisp transparently.
ports:VAX/VMS, VAX UNIX, Sun3, Sun4, Amiga, Macintosh, MIPS, Cray
updated:9/1/92

language:Scheme
package:MIT Scheme
version:7.1.3
parts:bytecode compiler, runtime, emacs macros
author:?
how to get:? ftp archive/scheme-7.1 from altdorf.ai.mit.edu ?
description:?
conformance:?
ports:68k (hp9000, sun3, NeXT), MIPS (Decstation, Sony),
HP-PA (700 & 800), Vax
bugs:[email protected]
discussion:comp.lang.scheme.c, comp.lang.scheme
status:?
updated:5/13/92

language:Scheme
package:Scheme->C
version:01nov91
parts:translator(C)
author:? Digital Western Research Laboratory ?
how to get:ftp pub/DEC/Scheme-to-C/* from gatekeeper.dec.com
documentation:send Subject "help" to [email protected]
conformance:superset of Revised**3
+ "expansion passing style" macros
+ foreign function call capability
+ interfaces to Xlib (Ezd & Scix)
ports:SunOS, Ultrix, Amiga, Apollo
updated:11/1/91

language:Scheme
package:PC-Scheme
version:3.03
parts:?
author:Texas Instruments
how to get:ftp archive/pc-scheme/* from altdorf.ai.mit.edu
conformance:Revised^4 Report, also supports dialect used in SICP.
ports:MS-DOS
restriction:official version is $95
updated:2/23/92

language:Scheme
package:Gambit Scheme System
version:1.8.2
parts:interpreter, compiler, linker
author:Marc Feeley
how to get:ftp pub/gambit1.7.1/* from trex.iro.umontreal.ca
description:Gambit is an optimizing Scheme compiler/system.
conformance:IEEE Scheme standard and `future' construct.
restriction:Mac version of compiler & source costs $40.
ports:68k: unix, sun3, hp300, bbn gp100, NeXT, Macintosh
updated:7/1/92

language:Scheme
package:Elk (Extension Language Kit)
version:1.5
parts:interpreter
how to get:ftp pub/scheme/imp/* from nexus.yorku.ca
author:Oliver Laumann
description:Elk is a Scheme interpreter designed to be used as a
general extension language.
+ interfaces to Xlib, Xt, and various widget sets.
conformance:Mostly R3RS compatable.
ports:unix, ultrix, vax, sun3, sun4, 68k, i386, mips, ibm rt
contact:?
updated:3/4/92

language:Scheme
package:XScheme
version:0.28
parts:?
author:David Betz
how to get:ftp pub/scheme/* from nexus.yorku.ca
description:?
discussion:comp.lang.lisp.x
contact:?
updated:2/2/92

language:Scheme
package:Fools' Lisp
version:1.3.2
author:Jonathan Lee
how to get:ftp src/local/fools.tar.Z from scam.berkeley.edu
description:a small Scheme interpreter that is R4RS conformant.
ports:Sun-3, Sun-4, Decstation, Vax (ultrix), Sequent, Apollo
updated:10/31/91

language:Scheme
package:Scheme84
version:?
parts:?
how to get:Send a tape w/return postage to: Scheme84 Distribution /
Nancy Garrett / c/o Dan Friedman / Department of Computer
Science / Indiana University / Bloomington, Indiana. Call
1-812-335-9770.
description:?
ports:vax (vms & bsd unix)
contact:[email protected]
updated:?

language:Scheme

package:UMB Scheme
version:?
parts:?, editor, debugger
author:William Campbell
how to get:ftp pub/scheme/* from nexus.yorku.ca
conformance:R4RS Scheme
ports:?
updated:?

language:Scheme
package:PseudoScheme
version:2.8
parts:translator(Common Lisp)
author:Jonathan Rees
conformance:R3RS except call/cc.
requires:Common Lisp
ports:Lucid, Symbolics CL, VAX Lisp, Explorer CL
announcements:[email protected]
updated:?

language:Scheme
package:Scheme88
version:?
parts:?
how to get:ftp pub/scheme/* from nexus.yorku.ca
contact:?
updated:?

language:Scheme
package:Similix
version:?
parts:partial evaulator, debugger
how to get:ftp misc/Similix.tar.Z from ftp.diku.dk
description:Similix is an autoprojector (self-applicable partial
evaluator) for a higher order subset of the strict functional
language Scheme. Similix handles programs with user defined
primitive abstract data type operators which may process
global variables (such as input/output operators).
conformance:subset
contact:Anders Bondorf
requires:Scheme
ports:Chez Scheme, T
updated:9/9/91

language:Scheme
package:Scheme Library (slib)
version:1b10
parts:library, documentation
how to get:ftp archive/scm/slib1b8.tar.Z from altdorf.ai.mit.edu
description:SLIB is a portable scheme library meant to provide
compatibiliy and utility functions for all standard scheme
implementations.
ports:GAMBIT, MITScheme, scheme->C, Scheme48, and T3.1
contact:Aubrey Jaffer
updated:9/21/92

language:Scheme
package:? syntax-case ?
version:2.1
parts:macro system, documentation
how to get:ftp pub/scheme/syntax-case.tar.Z from iuvax.cs.indiana.edu
author:R. Kent Dybvig
description:We have designed and implemented a macro system that is
vastly superior to the low-level system described in
the Revised^4 Report; in fact, it essentially
eliminates the low level altogether. We also believe
it to be superior to the other proposed low-level
systems as well, but each of you can judge that for
yourself. We have accomplished this by "lowering the
level" of the high-level system slightly, making
pattern variables ordinary identifiers with essentially
the same status as lexical variable names and macro
keywords, and by making "syntax" recognize and handle
references to pattern variables.
references:+ Robert Hieb, R. Kent Dybvig, and Carl Bruggeman "Syntactic
Abstraction in Scheme", IUCS TR #355, 6/92 (revised 7/3/92)
+ R. Kent Dybvig, "Writing Hygienic Macros in Scheme with
Syntax-Case", IUCS TR #356, 6/92 (revised 7/3/92).
ports:Chez Scheme
updated:7/6/92

language:Scheme
package:x-scm
version:?
parts:?
author:Larry Campbell
how to get:alt.sources archive
description:x-scm is a bolt-on accessory for the "scm" Scheme interpreter that
provides a handy environment for building Motif and OpenLook
applications. (There is some support as well for raw Xlib
applications, but not enough yet to be useful.)
requires:scm, X
ports:?
updated:8/10/92

language:Scheme, Prolog
package:"Paradigms of AI Programming"
version:?
parts:book with interpreters and compilers in Common Lisp
author:Peter Norvig
how to get:bookstore, and ftp pub/norvig/* from unix.sri.com
updated:?

language:Scheme
package:PSD (Portable Scheme Debugger)
version:1.0
parts:debugger
author:Kellom{ki Pertti
how to get:ftp /pub/src/languages/schemes/psd.tar.Z from cs.tut.fi
description:source code debugging from emacs
requires:R4RS compliant Scheme, GNU Emacs.
restriction:GNU GPL
updated:7/10/92

language:sed
package:GNU sed
version:1.09
parts:interpreter, ?
author:?
how to get:ftp /u2/emacs/sed-1.09.tar.Z from prep.ai.mit.edu
contact:?
updated:5/31/92

language:Self
package:Self
version:2.0
parts:?, compiler?, debugger, browser
author:The Self Group at Sun Microsystems & Stanford University
how to get:ftp ? from self.stanford.edu
The Self Group at Sun Microsystems Laboratories,
Inc., and Stanford University is pleased to announce
Release 2.0 of the experimental object-oriented
exploratory programming language Self.
Release 2.0 introduces full source-level debugging
of optimized code, adaptive optimization to shorten
compile pauses, lightweight threads within Self,
support for dynamically linking foreign functions,
changing programs within Self, and the ability to
run the experimental Self graphical browser under
OpenWindows.
Designed for expressive power and malleability,
Self combines a pure, prototype-based object model
with uniform access to state and behavior. Unlike
other languages, Self allows objects to inherit
state and to change their patterns of inheritance
dynamically. Self's customizing compiler can generate
very efficient code compared to other dynamically-typed
object-oriented languages.
discussion:[email protected]
ports:Sun-3 (no optimizer), Sun-4
contact:?
updated:8/13/92

language:Simula
package:Lund Simula
version:4.07
author:?
how to get:ftp misc/mac/programming/+_Simula/* from rascal.ics.utexas.edu
description:?
contact:Lund Software House AB / Box 7056 / S-22007 Lund, Sweden
updated:5/22/92

language:Smalltalk
package:Little Smalltalk
version:3
author:Tim Budd ?
how to get:ftp pub/budd/? from cs.orst.edu
ports:unix, pc, atari, vms
status:?
updated:?

language:Smalltalk
package:GNU Smalltalk
version:1.1.1
parts:?
author:?
how to get:ftp /u2/emacs/smalltalk-1.1.1.tar.Z from prep.ai.mit.edu
description:?
discussion:?
bugs:gnu.smalltalk.bug
contact:?
updated:9/15/91

language:Smalltalk
package:Manchester Smalltalk Goodies Library
parts:libraries
how to get:ftp uiuc/st*/* from st.cs.uiuc.edu
uk:ftp uiuc/st*/* from mushroom.cs.man.ac.uk
description:a large collection of libraries for smalltalk
contact:[email protected]
updated:7/6/92

language:Snobol4
package:SIL (Macro Implementation of SNOBOL4)
version:3.11
how to get:ftp snobol4/* from cs.arizona.edu
contact:[email protected]
updated:7/29/86

language:Snobol4
package:vinilla
version:?
author:Catspaw, Inc.
how to get:ftp snobol4/vanilla.arc from cs.arizona.edu
contact:?
ports:MS-DOS
updated:2/5/92

language:SR (Synchronizing Resources)
package:sr
version:2.0
parts:?, documentation, tests
how to get:ftp sr/sr.tar.Z from cs.arizona.edu
description:SR is a language for writing concurrent programs.
Themain language constructs are resources and
operations. Resources encapsulate processes and
variables they share; operations provide the primary
mechanism for process interaction. SR provides a novel
integration of the mechanisms for invoking and
servicing operations. Consequently, all of local and
remote procedure call, rendezvous, message passing,
dynamic process creation, multicast, and semaphores are
supported.
reference:"The SR Programming Language: Concurrency in Practice",
by Gregory R. Andrews and Ronald A. Olsson, Benjamin/Cummings
Publishing Company, 1993, ISBN 0-8053-0088-0
contact:[email protected]
discussion:[email protected]
ports:Sun-4, Sun-3, Decstation, SGI Iris, HP PA, HP 9000/300,
NeXT, Sequent Symmetry, DG AViiON, RS/6000, Multimax,
Apollo, and others.
updated:9/1/92

language:Standard ML
package:sml2c
version:?
parts:translator(C), documentation, tests
how to get:ftp /usr/nemo/sml2c/sml2c.tar.Z from dravido.soar.cs.cmu.edu
author:School of Computer Science, Carnegie Mellon University
conformance:superset
+ first-class continuations,
+ asynchronous signal handling
+ separate compilation
+ freeze and restart programs
history:based on SML/NJ version 0.67 and shares front end and
most of its runtime system.
description:sml2c is a Standard ML to C compiler. sml2c is a batch
compiler and compiles only module-level declarations,
i.e. signatures, structures and functors. It provides
the same pervasive environment for the compilation of
these programs as SML/NJ. As a result, module-level
programs that run on SML/NJ can be compiled by sml2c
without any changes. It does not support SML/NJ style
debugging and profiling.
ports:IBM-RT Decstation3100 Omron-Luna-88k Sun-3 Sun-4 386(Mach)
portability:easy, easier than SML/NJ
contact:[email protected] [email protected]
[email protected]
updated:6/27/91

language:Standard ML
package:SML/NJ
version:0.75
parts:?
author:?
how to get:ftp /lang/sml_nj_0.75/* from nuri.inria.fr
description:?
bugs:?
discussion:?
updated:11/25/91

language:TCL (Tool Command Language)
package:TCL
version:6.3
parts:interpreter, libraries, tests, documentation
how to get:ftp tcl/tcl6.3.tar.Z from sprite.berkeley.edu
msdos:ftp ? from cajal.uoregon.edu
macintosh:ftp pub/ticl from bric-a-brac.apple.com
author:John Ousterhout
description:TCL started out as a small language that could be
embedded in applications. It has now been extended
into more of a general purpose shell type programming
language. TCL is like a text-oriented Lisp, but lets
you write algebraic expressions for simplicity and to
avoid scaring people away.
+ may be used as an embedded interpreter
+ exceptions, packages (called libraries)
- only a single name-space
+ provide/require
- no dynamic loading ability
? - arbitrary limits ?
- three variable types: strings, lists, associative arrays
bugs:?
discussion:comp.lang.tcl
ports:?
updated:5/14/92

language:TCL
package:BOS - The Basic Object System
version:1.31
parts:library
author:Sean Levy
how to get:ftp tcl/? from barkley.berkeley.edu
description:BOS is a C-callable library that implements the
notion of object and which uses Tcl as its interpreter
for interpreted methods (you can have "compiled"
methods in C, and mix compiled and interpreted
methods in the same object, plus lots more stuff).
I regularly (a) subclass and (b) mixin existing
objects using BOS to extend, among other things,
the set of tk widgets (I have all tk widgets wrapped
with BOS "classes"). BOS is a class-free object
system, also called a prototype-based object system;
it is modeled loosely on the Self system from
Stanford.
updated:8/21/92

language:Web
package:web2c
version:?
parts:translator(C)
how to get:ftp ? from ftp.cs.umb.edu
description:A version of tangle that outputs C code
contact:?
updated:?

language:Web
package:Web
version:?
parts:translator(Pascal)
author:Donald Knuth
how to get:ftp ? from labrea.stanford.edu
description:Donald Knuth's programming language where you
write the source and documentation together.
contact:?
updated:?

language:yacc
package:NewYacc
version:1.0
parts:parser generator, documenation
how to get:ftp src/newyacc.1.0.*.Z from flubber.cs.umd.edu
author:Jack Callahan
reference:see Dec 89 CACM for a brief overview of NewYacc.
updated:2/10/92

language:yacc
package:bison
version:1.18
parts:parser generator, documentation
author:many ?
how to get:ftp /u2/emacs/bison-1.16.tar.Z from prep.ai.mit.edu
bugs:[email protected]
ports:unix, atari, ?
restriction:*** will CopyLeft your code if you use it ***
updated:1/28/92

language:yacc
package:? jaccl ?
version:?
parts:parser generator
author:Dave Jones
description:a LR(1) parser generator
how to get:?
updated:9/8/89

language:yacc
package:Yacc++
version:?
parts:parser generator(C++)
author:? Stephen C. Johnson ?
how to get:?
descirption:In y++, every grammar symbol is associated with a class
which may have any number of members.
reference:"Yacc meets C++", Stephen C. Johnson, Proceedings of
the EUUG Spring '88 Conference
updated:?

language:yacc
package:byacc (Berkeley Yacc)
version:?
parts:parser generator
author:Robert Corbett
how to get:ftp pub/byacc.tar.Z from ucbarpa.berkeley.edu
description:?
history:Used to be called Zoo, and before that, Zeus
updated:2/5/90 ?

------------------------------- archives ---------------------------------------

language:lisp
package:MIT AI Lab archives
description:archive of lisp extensions, utilities, and libraries
how to get:ftp pub/* from ftp.ai.mit.edu
contact:?
updated:?

language:lisp
package:Lisp Utilities collection
description:an archive of lisp extensions, tools, and libraries
how to get:ftp Lisp-Utilities from ftp.cs.cmu.edu ?
contact:[email protected]
updated:?

language:Scheme
package:The Scheme Repository
description:an archive of scheme material including a bibliography,
the R4RS report, sample code, utilities, and implementations.
how to get:ftp pub/scheme/* from nexus.yorku.ca
contact:Ozan S. Yigit
updated:?