Newsgroups: comp.compilers,comp.lang.misc,comp.archives.admin,news.answers,comp.answers From: free-compilers@idiom.berkeley.ca.us (Steve Robenalt) Subject: Catalog of compilers, interpreters, and other language tools [p1of5] Organization: Idiom Consulting / Berkeley, CA Date: Tue, 1 Mar 1994 12:00:15 GMT Archive-name: free-compilers/part1 Last-modified: 1994/2/28 Version: 6.4 ------------------------------------------------------------------------------- Catalog of Free Compilers and Interpreters. ------------------------------------------------------------------------------- Copyright (c) 1993, David Muir Sharnoff, All Rights Reserved Copyright (c) 1993, Steven Allen Robenalt, All Rights Reserved This list catalogues freely available software for language tools, which includes the following: compilers, compiler generators, interpreters, translators, important libraries, assemblers, etc. -- things whose user interface is a language. Natural language processing tools may also be included. This list is primarily aimed at developers rather than researchers, and consists mainly of citations for production quality systems. There is some overlap of coverage between this document and other lists and catalogs. See the references section for a list... All the listed items should be free and come with source code, exceptions have generally been deleted from the list in the past. If you find any such items in the list let me know and I'll remove them. The latest version of the catalog can be ftp'ed: get pub/compilers-list/free-compilers from idiom.berkeley.ca.us. This catalog is available through World Wide Web. A searchable hypertext version can be accessed through http://cui_www.unige.ch/freecomp. (As of the middle of January, the WWW version was still based on rev. 5.2) Not all entries have complete citations. Some fields are filled with question marks (?). Fields with both the ? and an entry are implicit requests for confirmation. Also, specific questions will often be asked [in brackets --ed]. Please send updates to . If you fill out the template (see the first entry in the tools section) it is a lot easier for me to keep things going. Thanks, -Steve Robenalt ------------------------------------------------------------------------------- overview (table of contents) ------------------------------------------------------------------------------- introduction overview (table of contents) changes and history prototype entry tools scripting languages functional languages C and variants compiled, imperative languages object oriented languages LISP family langauges Wirth family languages logic programming languages concurrent, parallel, and simulation languages Forth family languages compiler generators and related tools mathematical tools and languages electrical engineering languages document formatting languages assemblers macro preprocessors special purpose languages natural languages curiosities unable to classify due to lack of knowledge references archives cross-reference ------------------------------------------------------------------------------- changes and history ------------------------------------------------------------------------------- This document grew out of David Muir Sharnoff filing away postings that he saw (mostly Ed Vielmetti's postings to comp.archives) during 1991 and the first half of 1992. At the Summer 1992 USENIX Technical Conference, the other attendees of the archivists BOF convinced David to compile his data into a posting. David posted for about one year, then turned the list over to Mark Hopkins. Mark Hopkins took care of it for the summer of 1993 and then gave it back to David Sharnoff when it dropped off the net. Steve Robenalt has taken over the list maintenance from Dave, but Dave's organization, Idiom Consulting, remains as the focal point for information to be submitted. This month, it was called to my attention that there is a boycott of software for the Macintosh environment. The boycott originates with the League for Programming Freedom and is intended as a protest against the "Look and Feel" lawsuit which was filed by Apple over the "Copying" of the Mac user interface. I have not decided at this time to remove the Mac entries from the list. I will accept comments from the users of the list as to whether or not to continue to list and update these entries. For this version the changes are: language package -------- ------- new listings: ModSim Simulation language based on Modula-2 and Simula SORCERER A Simple Tree Parser Generator octave A matlab-like interpretive math language Loglan'82 Does all kinds of things, see the listing new versions: Elk Version 2.2 now incorporating Unix syscalls GW-Ada Mac version now available TCL Version 7.3 Python Version 1.0.0 Mops Version 2.3.1 deletions: edits: gcc Revised info in several places, Mac version now has separate entry and disclaimer perl new ftp site for Windows NT version siod New entry submitted c2man New entry submitted garnet New entry submitted new cross-references: new references: new archives: CTAN Comprehensive TeX Archive Network, reference site for TeX and WEB tools. ------------------------------------------------------------------------------- prototype entry ------------------------------------------------------------------------------- Every entry should at least have the fields marked with two asterisks (**). language: **Reference Entry Language: what the software compiles/interprets... package: **The name of the package version: **Its current version parts: **compiler, assembler, interpreter, translator, grammar(yacc, lex), library, documentation, examples, assembler, simulator, tutorial, test suite, byte-code compiler, run-time, translator(from->to)... Compilers that use C as an intermediate lanaguage should be noted as "compiler(->C)". Compilers that compile into a coded representation that is interpreted by a runtime module should be noted as "bytecode compiler". Do not say "source code" -- if source is not included, do not send an entry at all! author: **the creator of the package. Email addresses are in the form "Real Name ". Surface mail addresses are not used unless there is no email address. how to get: **where to get the source, how to get it -- usually an FTP site or two. May have subheaders for specific areas or different ports of the software (don't overdo this!): Only official sites should be listed. The format for ftp directives is "ftp dir/file from host", although valid URL's are acceptable too. No IP address is given. N.America: Sites for North Americans. Europe: Sites Europeans should use Japan: Sites for people in Japan OS/2: Sites with OS/2 ports. description: **what the package is, possibly including some history A short review encouraged, but no propaganda please. conformance: how well does it conform to the existing Standard, if one exists reference: research references and other external documentation. features: salient features not listed in the description. bugs: known bugs (also: where to go to find/report bugs) restriction: restrictions using the software will place on the user. requires: what is needed to install it. A C compiler is assumed. ports: where it has been installed portability: how system-independent is it, system dependencies. status: development status (active, history, supported, etc) discussion: where discussion about the package takes place help: where help may be gotten from support: where support may be gotten from contributions: possible requests for money contributions (but no shareware) announcements: where new releases are announced contact: who to reach concerning the package (if not author) updated: **last known update to the package, not time of the update to the entry in the catalog! In addition to the above, in entries for categories, and languages, cross-references can be made. cref: cross-reference to a category lref: cross-reference to a language iref: (language it's filed under in parenthesis) cross-reference to an implementation ------------------------------------------------------------------------------- tools ------------------------------------------------------------------------------- scripting languages ------------------------------------------------------------------------------- category: scripting languages description: These are languages that are primarily interpreted, and on unix sytems, can ususally be invoked directly from a text using #!. --START language: ABC package: ABC version: 1.04.01 parts: interpreter/compiler author: Leo Geurts, Lambert Meertens, Steven Pemberton how to get: ftp programming/languages/abc/* from ftp.eu.net or ftp.nluug.nl description: ABC is an imperative language embedded in its own environment. It is interactive, structured, high-level, very easy to learn, and easy to use. It is suitable for general everyday programming, such as you would use BASIC, Pascal, or AWK for. It is not a systems-programming language. It is an excellent teaching language, and because it is interactive, excellent for prototyping. ABC programs are typically very compact, around a quarter to a fifth the size of the equivalent Pascal or C program. However, this is not at the cost of readability, on the contrary in fact. reference: "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, MSDOS, atari, mac discussion: abc-list-request@cwi.nl contact: abc@cwi.nl updated: 1991/05/02 language: awk (new) package: mawk version: 1.1.3 parts: interpreter author: Mike Brennan how to get: ftp public/mawk* from oxy.edu description: ? 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++ status: actively developed contact: Mike Brennan updated: 1993/03/14 language: awk (new) package: GNU awk (gawk) version: 2.15.3 parts: interpreter, documentation author: David Trueman and Arnold Robbins how to get: ftp gawk-2.15.tar.Z from a GNU archive site description: ? conformance: superset including some Plan 9 features ports: unix, msdos:msc5.1 status: activly developed updated: 1993/11/08 language: BASIC package: bwBASIC (Bywater BASIC interpreter) version: 2.10 parts: interpreter, shell, ? author: Ted A. Campbell how to get: comp.sources.misc volume 40 description: The Bywater BASIC Interpreter (bwBASIC) implements a large superset of the ANSI Standard for Minimal BASIC (X3.60-1978) implemented in ANSI C, and offers a simple interactive environ- ment including some shell program facilities as an extension of BASIC. The interpreter has been compiled successfully on a range of ANSI C compilers on varying platforms with no alterations to source code necessary. ports: DOS, Unix, Acorn's RISC OS updated: 1993/10/29 language: BASIC package: ? basic ? version: ? parts: paser(yacc), interpreter author: ? how to get: comp.sources.unix archives volume 2 description: ? updated: ? language: BASIC package: ? bournebasic ? version: ? parts: interpreter author: ? how to get: comp.sources.misc archives volume 1 description: ? updated: ? language: BASIC package: ubasic version: 8 parts: ? author: Yuji Kida how to get: ? ask archie ? description: ? reference: reviewed in Notices of the A.M.S #36 (May/June 1989), and "A math-oriented high-precision BASIC", #38 (3/91) contact: ? updated: 1992/07/06 language: BASIC package: ? version: ? parts: interpreter author: ? how to get: ftp pub/unix-c/languages/basic/basic.tar-z from oak.oakland.edu description: public domain version of DEC's MU-Basic with Microsoft Basic mixed together contact: ? updated: ? language: Bourne Shell package: ash version: ? parts: interpreter, manual page author: Kenneth Almquist how to get: ftp from any 386BSD, NetBSD, or FreeBSD archive linux: ftp pub/linux/ports/ash-linux-0.1.tar.gz from ftp.win.tue.nl description: A Bourne Shell clone. It works pretty well. For running scripts, it is sometimes better and sometimes worse than Bash. ports: 386BSD, NetBSD, FreeBSD, Linux updated: ? language: csh (C-Shell) package: tcsh version: 6.04 parts: interpreter author: Christos Zoulas how to get: ftp ? from ftp.spc.edu description: a modified C-Shell with history editing ports: unix, OpenVMS updated: 1993/07/09 language: ERGO-Shell (a window-based Unix shell) package: ERGO-Shell version: 2.1 parts: interpreter author: Regine Freitag how to get: ftp gmd/ergo/? from ftp.gmd.de description: An ergonomic window-based Unix shell for software engineers. [Can one program in ERGO-Shell? --ed] bugs: Relative path names are not expanded on the SUN 3 port, expansion ability on SUN 4 only on certain conditions. requires: Needs X-windows (X11R4) or OSF/Motif (revision 1.1) ports: Sun 4 contact: Dr. Wolfgang Dzida, GMD or the author updated: 1993/06/04 language: es (a functional shell) package: es version: 0.84 parts: interpreter author: Byron Rakitzis , Paul Haahr how to get: ftp pub/es/es-0.84.tar.Z from ftp.sys.utoronto.ca description: shell with higher order functions + builtin features implemented as redefineable functions updated: 1993/04/30 language: Glish package: glish version: 2.4.1 parts: interpreter, C++ class library, user manual author: Vern Paxson how to get: ftp glish/glish-2.4.1.tar.Z from ftp.ee.lbl.gov description: Glish is an interpretive language for building loosely-coupled distributed systems from modular, event-oriented programs. These programs are written in conventional languages such as C, C++, or Fortran. Glish scripts can create local and remote processes and control their communication. Glish also provides a full, array-oriented programming language (similar to S) for manipulating binary data sent between the processes. In general Glish uses a centralized communication model where interprocess communication passes through the Glish interpreter, allowing dynamic modification and rerouting of data values, but Glish also supports point-to-point links between processes when necessary for high performance. reference: "Glish: A User-Level Software Bus for Loosely-Coupled Distributed Systems," Vern Paxson and Chris Saltmarsh, Proceedings of the 1993 Winter USENIX Conference, San Diego, CA, January, 1993. requires: C++ ports: SunOS, Ultrix, HP/UX (rusty) updated: 1993/11/01 language: ici package: ici version: ? parts: interpreter, documentation, examples author: Tim Long how to get: ftp pub/ici.cpio.Z from extro.ucc.su.oz.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 additional types and functions to support common needs such as simple data bases and character based screen handling. features: + direct access to many system calls + structures, safe pointers, floating point + simple, non-indexed built in database + terminal-based windowing library ports: Sun4, 80x86 Xenix, NextStep, MSDOS portability: high status: actively developed. discussion: send "help" to listserv@research.canon.oz.au contact: Andy Newman updated: 1992/11/10 language: Icon package: icon version: 8.8 (8.7, 8.5, 8.0 depending on platform) parts: interpreter, compiler (some platforms), library (v8.8) author: Ralph Griswold how to get: ftp icon/* from cs.arizona.edu MS-DOS version: ftp norman/iconexe.zip from bellcore.com 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 oriented features + records, sets, lists, strings, tables + unlimited line length - unix interface is primitive + co-expressions reference: "The Icon Programmming Language", Ralph E. Griswold and Madge T. Griswold, Prentice Hall, seond edition, 1990. "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, MSDOS, MVS, OS/2, Unix (most variants), VMS, Acorn discussion: comp.lang.icon contact: icon-project@cs.arizona.edu mengarini@delphi.com for MS-DOS version updated: 1992/08/21 language: Icon iref: (BNF) ibpag2 language: IVY package: Ivy version: experimental parts: interpreter author: Joseph H Allen how to get: alt.sources 1993/09/28 description: A language with a pleasant syntax compared to perl, tcl or lisp. It has nice features like low punctuation count, blocks indicated by indentation, and similarity to normal procedural languages. This language started out as an idea for an extension language for the editor JOE. updated: 1993/09/28 language: Korn Shell package: SKsh version: 2.1 parts: interpreter, utilities author: Steve Koren how to get: ftp pub/amiga/incom*/utils/SKsh021.lzh from hubcap.clemson.edu description: SKsh is a Unix ksh-like shell which runs under AmigaDos. it provides a Unix like environment but supports many AmigaDos features such as resident commands, ARexx, etc. Scripts can be written to run under either ksh or SKsh, and many of the useful Unix commands such as xargs, grep, find, etc. are provided. ports: Amiga updated: 1992/12/16 language: Korn Shell package: Bash (Bourne Again SHell) version: 1.13.4 parts: parser(yacc), interpreter, documentation author: Brian Fox how to get: ftp bash-1.12.tar.Z from a GNU archive site description: Bash is a Posix compatable shell with full Bourne shell syntax, and some C-shell commands built in. The Bourne Again Shell supports emacs-style command-line editing, job control, functions, and on-line help. bugs: gnu.bash.bug, bug-bash@prep.ai.mit.edu restriction: GNU General Public License updated: 1993/11/15 language: Korn Shell package: pdksh version: 4.9 parts: interpreter author: Simon J. Gerraty how to get: comp.sources.misc volume 4 description: It is not intended to be the ultimate shell but rather a usable ksh work alike. conformance: Almost identical to ksh88, but missing arrays contact: Simon J Gerraty (zen.void.oz.au is down) ports: Sun, 386bsd, ? updated: 1993/10/11 language: Perl5 (Practical Extraction and Report Language) package: perl version: 5.0 alpha 3 parts: interpreter, debugger, libraries, tests, documentation author: Larry Wall how to get: ftp pub/perl5.0/* from ftp.netlabs.com description: perl5 is a major rewrite and enhancement to perl4. It adds real data structures (by way of "references"), un-adorned subroutine calls, and method inheritance. It is not stable (yet). ports: SunOS updated: 1993/11 language: Perl (Practical Extraction and Report Language) package: perl version: 4.0 patchlevel 36 parts: interpreter, debugger, libraries, tests, documentation author: Larry Wall how to get: ftp pub/perl.4.0/* from jpl-devvax.jpl.nasa.gov OS/2 port: ftp pub/os2/all/unix/prog*/perl4019.zip from hobbes.nmsu.edu Mac port: ftp software/mac/src/mpw_c/Mac_Perl_405_* from nic.switch.ch Amiga port: ftp perl4.035.V010.* from wuarchive.wustl.edu VMS port: ftp software/vms/perl/* from ftp.pitt.edu Atari port: ftp amiga/Languages/perl* from atari.archive.umich.edu DOS port: ftp pub/msdos/perl/* from ftp.ee.umanitoba.ca DOS port#2: ftp pub/msdos/perl/bperl* from oak.oakland.edu Windows NT: ftp pub/pc/win3/nt/ntperl*.zip from cica.cica.indiana.edu MVS: ftp dist/perl-4036.tar.Z from oozelum.csi.cam.ac.uk Netware: contact Jack Thomasson 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. reference: "Programming Perl" by Larry Wall and Randal L. Schwartz, O'Reilly & Associates, Inc. Sebastopol, CA. ISBN 0-93715-64-1 "Learning Perl" by Randal L. Schwartz, O'Reilly & Associates, Inc. Sebastopol, CA. ISBN [??? --ed] The perl FAQ, ftp from rtfm.mit.edu 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 idioms for common tasks + 8-bit clean, including nulls - three variable types: scalar, array, and hash table - syntax requires variable and function prefix characters bugs: comp.lang.perl; Larry Wall ports: almost all unix, MSDOS, Mac, Amiga, Atari, OS/2, VMS, NT, MVS portability: very high for unix, not so high for others discussion: comp.lang.perl Macintosh: mpw-perl-request@iis.ee.ethz.ch updated: 1993/02/07 language: perl, awk, sed, find package: a2p, s2p, find2perl version: ? parts: translators(perl) author: Larry Wall how to get: comes with perl description: translators to turn awk, sed, and find programs into perl programs. updated: ? language: perl, yacc package: perl-byacc version: 1.8.2 parts: parser-generator(perl) author: Rick Ohnemus how to get: ftp local/perl-byacc.tar.Z from ftp.sterling.com description: A modified version of byacc that generates perl code. Has '-p' switch so multiple parsers can be used in one program (C or perl). portability: Should work on most (?) Unix systems. Also works with SAS/C 6.x on AMIGAs. updated: 1993/01/24 language: Perl package: perl profiler. version: ? 1 parts: profiler author: Anthony Iano-Fletcher how to get: Source posted on comp.lang.perl in mid-June 1993 description: Profiles Perl scripts (mkpprof). Collates data from Perl scripts (pprof) updated: 1993/06/17 language: Perl package: Dylperl version: ? author: Roberto Salama how to get: posted to comp.lang.perl, 1993/08/11, description: A dynamic linking package for perl. Dynamically-loaded functions are accessed as if they were user-defined funtions. This code is based on Oliver Sharp's May 1993 article in Dr. Dobbs Journal (Dynamic Linking under Berkeley UNIX). ports: ? updated: 1993/08/11 language: Perl package: curseperl version: ? author: Larry Wall how to get: comes with perl description: A curses library for perl updated: ? language: Python package: Python version: 1.0.0 parts: interpeter, libraries, documentation, emacs macros author: Guido van Rossum how to get: N.America: ftp pub/? from wuarchive.wustl.edu ftp /pub/plan/python/cwi from gatekeeper.dec.com ftp /languages/python from ftp.uu.net Europe: ftp pub/python* from ftp.cwi.nl ftp /pub/unix/languages/python from ftp.fu-berlin.de 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 If you have a WWW viewer (e.g. Mosaic), you can see all Python documentation on-line: point your viewer at the URL http://www.cwi.nl/~guido/Python.html ports: unix and Macintosh discussion: python-list-request@cwi.nl updated: 1993/07/31 language: Q (also small subsets of Common Lisp and Scheme) package: Q version: ? 1 parts: interpreter, compiler framework, libraries, documentation author: Per Bothner how to get: ftp pub/Q.* from ftp.cygnus.com description: Q is a very high-level programming language, and a test-bed for programming language ideas. Where APL uses arrays to explicit looping, Q uses generalized sequences (finite or infinite, stored or calculated on demand). It has lexical scoping, and some support for logical and constraint programming. The syntax was designed for convenient interactive use. A macro facility together with primitives to run programs is used to make an interactive command language with full shell features. The Q system is written in C++, and its run-time code may be useful to people implementing other languages. ports: Linux and SUN 4 portability: Should work on 32-bit Unix-like systems updated: 1993/06/07 language: REXX package: The Regina Rexx Interpreter version: 0.05i parts: interpreter, documentation, test programs author: Anders Christensen how to get: ftp pub/rexx/regina-0.05g.tar.Z from flipper.pvv.unit.no N.America: ftp pub/freerexx/regina/regina-0.05d.tar.Z from rexx.uwaterloo.ca description: A Rexx interpreter. The VMS version has an almost complete set of DCL lexical functions in the interpreter. Ports to MS-DOS and OS/2 exist by lack special support for these platforms. conformance: Almost completely to Rexx Language Level 4.00 with some Rexx SAA API extensions. restriction: GNU General Public License ports: Unix, VMS, MS-DOS (partial), OS/2 (partial) discussion: comp.lang.rexx updated: 1993/10/15 language: REXX package: ? version: 102 parts: interpreter author: ? al ? how to get: ftp alrexx/rx102.tar.Z from rexx.uwaterloo.ca USA: ftp ? from tony.cat.syr.edu description: ? requires: C++ ports: unix discussion: comp.lang.rexx contact: ? updated: 1992/05/13 language: REXX package: imc version: 1.3 parts: interpreter author: ? how to get: ftp pub/freerexx/imc/rexx-imc-1.3.tar.Z from rexx.uwaterloo.ca description: ? ports: SunOS updated: ? language: sed package: GNU sed version: 2.03 parts: interpreter, ? author: Tom Lord how to get: ftp sed-* from a GNU archive site description: A SED interpreter. Sed is a stream editing filter language. bugs: bug-gnu-utils@prep.ai.mit.edu updated: 1993/08/09 language: rc (Plan 9 shell) package: rc version: 1.4 parts: interpretor author: Byron Rakitzis how to get: ftp pub/rc/* from ftp.white.toronto.edu description: a free implementation of the Plan 9 shell. discussion: rc-request@hawkwind.utcs.toronto.edu updated: 1992/05/26 language: S-Lang package: slang version: 0.94 parts: interpreter, documentation, examples author: John E. Davis how to get: ftp pub/slang/* from amy.tch.harvard.edu description: A small but highly functional embedded interpreter. S-Lang was a stack-based postfix language resembling Forth and BC/DC with limited support for infix notation. Now it has a C-like infix syntax. Arrays, Stings, Integers, Floating Point, and Autoloading are all suported. The editor JED embeds S-lang. restrictions: GNU Library General Public License ports: MSDOS, Unix, VMS portability: Must be compiled with large memory model on MSDOS. updated: 1993/06/12 language: Snobol4 package: SIL (Macro Implementation of SNOBOL4) version: 3.11 parts: ? author: ? how to get: ftp snobol4/* from cs.arizona.edu description: ? contact: snobol4@arizona.edu updated: 1986/07/29 language: Snobol4 package: vanilla version: ? parts: ? author: Catspaw, Inc. how to get: ftp snobol4/vanilla.arc from cs.arizona.edu description: ? ports: MSDOS contact: ? updated: 1992/02/05 language: ssh (Steve's Shell) package: ssh version: 1.7 parts: interpreter author: Steve Baker with help from Thomas Moore how to get: comp.sources.unix volume 26 description: A unix shell with a lot of csh/ksh-like features. ports: sequent, sun, next, ultrix, bsdi updated: 1993/04/15 language: TCL (Tool Command Language) package: Tcl version: 7.3 parts: interpreter, libraries, tests, documentation author: John Ousterhout how to get: ftp ucb/tcl/tcl* from ftp.cs.berkeley.edu MSDOS: ftp ? from cajal.uoregon.edu Macintosh: ftp pub/ticl from bric-a-brac.apple.com Macintosh: ftp pub/tcl/distrib/MacTcl7.3.sea.* from harbor.ecn.purdue.edu Examples: ftp tcl/* from barkley.berkeley.edu Kanji: ftp pub/lang/tcl/jp/tk3.2jp-patch.Z from srawgw.sra.co.jp 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 + 8-bit clean - only three variable types: strings, lists, associative arrays bugs: ? ports: ? discussion: comp.lang.tcl updated: 1993/11/15 language: TCL, Tk package: Tk version: 3.5 parts: Tcl interpreter, Tk? author: John Ousterhout how to get: ftp ucb/tcl/tk* from ftp.cs.berkeley.edu description: Tk is a X11 gui library that is designed to interoperate with TCL. It provides a very easy way to create sophisticated applications. The appearence of Tk is very similar to Motif. updated: 1993/11/15 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: 1992/08/21 language: TCL package: Tcl-DP version: 3.0 parts: library author: Larry Rowe ? how to get: ftp pub/multimedia/Tcl-DP from toe.cs.berkeley.edu description: Tcl-DP extends the "send" by removing the restriction that you can only send to other clients of the same X11 server. [could someone give a better description? --ed] updated: ? language: Tcl package: Tickle version: 5.0v1 parts: Text Editor, File Translator, TCL Interpreter author: time@ice.com how to get: /pub/vendor/ice/tickle/Tickle5.0v1.hqx from ftp.msen.com description: from the usenet post: o Text editor, breaks 32K limit, similar to MPW. o File Translation Utilities: BinHex MacBinary Apple Single/Double StuffIt (with engine) UNIX compress UNIX tar UUencode Text Translation All supported via drag and drop and via tcl scripts o Tcl scripting support Implements tcl 7.0 with tclX extensions Implements Mac equivalents of ls, pwd, cd, etc. Provides Macintosh access to: Resource Manager Communications Toolbox OSA Components (and AppleScript) Editions (publish and subscribe) Apple Events (including AEBuild and AEPrint) o OSA Script Support Allows Programming of any OSA scripting component within Tickle interpreter windows. Provides the OSAtcl extension Provides the OSAJ J/APL extension o Now creates Ticklets Ticklets are micro sized applications that carry only the tcl script, and utilizes code in the OSAtcl component to drive an application that allows drag and drop with tcl scripts. o Tickle is now scriptable o Tickle is now recordable features: [ Someone want to revise this? - Ed.] bugs: time@ice.com? requires: ? ports: Mac portability: Mac-specific package updated: 1994/01/12 lref: TCL language: TCL package: Wafe version: 0.95 parts: interface author: Gustaf Neumann how to get: ftp pub/src/X11/wafe/wafe-0.95.tar.gz from ftp.wu-wien.ac.at description: Wafe (Widget[Athena]front end) is a package that implements a symbolic interface to the Athena widgets (X11R5) and OSF/Motif. A typical Wafe application consists of two parts: a front-end (Wafe) and an application program which runs typically as a separate process. The distribution contains sample application programs in Perl, GAWK, Prolog, TCL, C and Ada talking to the same Wafe binary. discussion: send "subscribe Wafe " to listserv@wu-wien.ac.at portability: very high, just needs X11R4 or X11R5. updated: 1993/07/01 language: TCL package: Extended Tcl (tclx) version: 7.2a parts: library author: Mark Diekhans , Karl ? how to get: ftp pub/tcl/beta/tclX7.1a-B5.tar.Z from ftp.neosoft.com description: Extended Tcl adds statements to the TCL language to provide high-level access unix system primitives. contact: tcl-project@NeoSoft.com updated: 1993/11/19 language: TCL package: tcl-debug version: ? parts: debugger author: Don Libes how to get: ftp pub/expect/tcl-debug.tar.Z from ftp.cme.nist.gov description: A debugger for Tcl that can be easily embedded in other applications. It is included with many other Tcl libraries. updated: ? language: TCL package: Cygnus Tcl Tools version: Release-930124 parts: ? author: david d 'zoo' zuhn how to get: ftp pub/tcltools-* from cygnus.com description: A rebundling of Tcl and Tk into the Cyngus GNU build framework with 'configure'. updated: 1993/01/24 language: Z-shell package: zsh version: 2.3.1 (2.4 in beta) parts: interpreter author: Paul Falstad how to get: ftp pub/bas/zsh/zsh-*.tar.z from carlo.phys.uva.nl description: zsh is most similar to ksh, while many of the additions are to please csh users. features: + multi-line commands editable as a single buffer, + variable editing (vared), + command buffer stack, + recursive globbing, + manipulation of arrays, + spelling correction. ports: Berkeley-based Unix, SVR4-based Unix discussion: zsh-request@cs.uow.edu.au contact: zsh-list@cs.uow.edu.au updated: 1993/03/23 --functional languages ------------------------------------------------------------------------------- --category: functional languages --description: [someone have a good one-liner? --ed] --lref: es --lref: LIFE --lref: ALLOY -- language: Caml package: CAML version: 3.1 parts: compiler, interactive development environment author: Ascander Suarez, Pierre Weis, Michel Mauny, others (INRIA) how to get: ftp lang/caml/* from ftp.inria.fr description: Caml is a programming language from the ML/Standard ML family, with functions as first-class values, static type inference with polymorphic types, user-defined variant and product types, and pattern-matching. The CAML V3.1 implementation adds lazy and mutable data structures, a "grammar" mechanism for interfacing with the Yacc parser generator, pretty-printing tools, high-performance arbitrary-precision arithmetic, and a complete library. bugs: caml@margaux.inria.fr ports: Sun-3 Sun-4 Sony-68k Sony-R3000 Decstation Mac-A/UX Apollo portability: low (built on a proprietary runtime system) status: maintained but no longer developed discussion: caml-list@margaux.inria.fr, comp.lang.ml contact: Pierre Weis updated: 1991/10/20 language: Caml package: Caml Light version: 0.6 parts: bytecode compiler, emacs mode, libraries, scanner generator, parser generator, runtime, interactive development environment author: Xavier Leroy, Damien Doligez (INRIA) how to get: ftp lang/caml-light/* from ftp.inria.fr description: Caml is a programming language from the ML/Standard ML family, with functions as first-class values, static type inference with polymorphic types, user-defined variant and product types, and pattern-matching. The Caml Light implementation adds a Modula-2-like module system, separate compilation, lazy streams for parsing and printing, graphics primitives, and an interface with C. features: very small bugs: caml-light@margaux.inria.fr ports: most unix, Macintosh, MSDOS (16 and 32 bit modes), Atari ST portability: very high status: actively developed discussion: caml-list@margaux.inria.fr, comp.lang.ml contact: Xavier Leroy updated: 1993/10/06 language: Concurrent Clean package: The Concurrent Clean System version: 0.8.1 parts: development environment, documentation, compiler(byte-code), compiler(native), interpreter(byte-code), examples author: Research Institute for Declarative Systems, University of Nijmegen how to get: ftp pub/Clean/* from ftp.cs.kun.nl description: The Concurrent Clean system is a programming environment for the functional language Concurrent Clean, developed at the University of Nijmegen, The Netherlands. The system is one of the fastest implementations of functional languages available at the moment. Its I/O libraries make it possible to do modern, yet purely functional I/O (including windows, menus, dialogs etc.) in Concurrent Clean. With the Concurrent Clean system it is possible to develop real-life applications in a purely functional language. * lazy and purely functional * strongly typed - based on Milner/Mycroft scheme * module structure * modern I/O * programmer-infulenced evaluation order by annotations ports: Sun-3, Sun-4, Macintosh contact: clean@cs.kun.nl updated: 1992/11/07 language: FP package: ? funcproglang ? version: ? parts: translator(C) author: ? how to get: comp.sources.unix archive volume 13 description: ? Backus Functional Programming ? updated: ? language: Gofer (Haskell derivative) package: Gofer version: 2.28b parts: interpreter, compiler(->C), documentation, examples author: Mark Jones how to get: ftp pub/haskell/gofer/* from nebula.cs.yale.edu UK: ftp pub/haskell/gofer/* from ftp.dcs.glasgow.ac.uk Sweden: ftp pub/haskell/gofer/* from ftp.cs.chalmers.se description: Gofer is based quite closely on the Haskell programming language, version 1.2. It supports lazy evaluation, higher order functions, pattern matching, polymorphism, overloading etc and runs on a wide range of machines. conformance: Gofer does not implement all of Haskell, although it is very close. ports: many, including Sun, PC, Mac, Atari, Amiga status: maintained but not developed (for a while anyway) updated: 1993/08/02 langauge: Gofer iref: (BNF) Ratatosk language: Haskell package: Chalmers Haskell (aka Haskell B.) version: 0.999.5 parts: compiler, interpreter, library, documentation, examples author: Lennart Augustsson how to get: ftp pub/haskell/chalmers/* from nebula.cs.yale.edu UK: ftp pub/haskell/chalmers/* from ftp.dcs.glasgow.ac.uk Sweden: ftp pub/haskell/chalmers/* from ftp.cs.chalmers.se description: Full-featured implementation of Haskell 1.2, with quite a few "Haskell B" extensions requires: LML ports: many, including Sun, DEC, Sequent, PC, Symmetry (unsupported versions for NS32000, RT/PC, CRAY, SUN3, VAX, ARM, and RS6000.) discussion: haskell-request@cs.yale.edu europe: haskell-request@dcs.glasgow.ac.uk contact: hbc@cs.chalmers.se updated: 1993/08/02 language: Haskell package: Glasgow Haskell Compiler (GHC) version: 0.19 parts: translator (C, SPARC), profiler author: AQUA project, headed by Simon Peyton Jones location: ftp pub/haskell/glasgow/* from nebula.cs.yale.edu UK: ftp pub/haskell/glasgow/* from ftp.dcs.glasgow.ac.uk Sweden: ftp pub/haskell/glasgow/* from ftp.cs.chalmers.se description: A near complete subset of Haskell 1.2, with numerous extensions. conformance: Almost all of Haskell 1.2 is implemented. reference: Papers at ftp.dcs.glasgow.ac.uk (only) in pub/glasgow-fp, "Imperative functional programming", Peyton Jones & Wadler, POPL '93 "Unboxed data types as first-class citizens", Peyton Jones & Launchbury, FPCA '91 "Profiling lazy functional languages", Sansom & Peyton Jones, Glasgow workshop '92 "Implementing lazy functional languages on stock hardware", Peyton Jones, Journal of Functional Programming, Apr 1992 features: An extensible I/O system is provided, based on a "monad" In-line C code Fully fledged unboxed data types, Incrementally-updatable arrays Mutable reference types. Generational garbage collector bugs: requires: GNU C 2.1+, perl ports: solid: Sun4, Sun3; sort of: HP-PA, Alpha, DECstation portability: should be high contact: updated: 1993/12/17 language: Haskell package: Yale Haskell version: 2.0.5 parts: compiler, documentation, reference manual (dvi format) author: Yale Haskell project how to get: ftp from nebula.cs.yale.edu (128.36.13.1):pub/haskell/yale/* how to get: ftp pub/haskell/yale/* from nebula.cs.yale.edu UK: ftp pub/haskell/yale/* from ftp.dcs.glasgow.ac.uk Sweden: ftp pub/haskell/yale/* from ftp.cs.chalmers.se description: ? features: X-window interface, available at the Haskell level too. requires: CMU Common Lisp, Lucid, Common Lisp, Allegro Common Lisp, or Harlequin LispWorks ports: SunOS 4.1.2, Sparc 10 (sun4m) 4.1.3 discussion: haskell-request@cs.yale.edu europe: haskell-request@dcs.glasgow.ac.uk contact: haskell-request@cs.yale.edu updated: 1993/07/14 language: Hope package: ? version: ? parts: ? author: ? how to get: ftp ? from brolga.cc.uq.oz.au description: Functional language with polymorphic types and lazy lists. First language to use call-by-pattern. ports: Unix, Mac, PC updated: 1992/11/27 language: IFP (Illinois Functional Programming) package: ifp version: 0.5 parts: interpreter author: Arch D. Robison how to get: comp.sources.unix archive volume 10 description: A variant of Backus' "Functional Programming" language with a syntax reminiscent of Modula-2. The interpreter is written in portable C. reference: [1] Arch D. Robison, "Illinois Functional Programming: A Tutorial," BYTE, (February 1987), pp. 115--125. [2] Arch D. Robison, "The Illinois Functional Programming Interpreter," Proceedings of 1987 SIGPLAN Conference on Interpreters and Interpretive Techniques, (June 1987), pp. 64-73 ports: Unix, MS-DOS, CTSS (Cray) updated: ? language: ML package: LML version: ? parts: compiler(?), interactive environment author: ? how to get: ftp pup/haskell/chalmers/* from animal.cs.chalmers.se description: lazy, completely functional variant of ML. ports: ? contact: ? updated: 1992/07/06 language: Standard ML package: SML/NJ (Standard ML of New Jersey) version: 0.93 parts: compiler, libraries, extensions, interfaces, documentation, build facility author: D. B. MacQueen , Lal George , AJ. H. Reppy , A. W. Appel how to get: ftp dist/ml/* from research.att.com description: Standard ML is a modern, polymorphically typed, (impure) functional language with a module system that supports flexible yet secure large-scale programming. Standard ML of New Jersey is an optimizing native-code compiler for Standard ML that is written in Standard ML. It runs on a wide range of architectures. The distribution also contains: + an extensive library - The Standard ML of New Jersey Library, including detailed documentation. + CML - Concurrent ML + eXene - an elegant interface to X11 (based on CML) + SourceGroup - a separate compilation and "make" facility CML, eXene and SourceGroup not in the Macintosh port, but the Mac port has a built-in editor. ports: M68K, SPARC, MIPS, HPPA, RS/6000, I386/486, Macintosh updated: 1993/02/18 language: Concurrent ML package: Concurrent ML version: 0.9.8 parts: extension author: ? how to get: ftp pub/CML* from ftp.cs.cornell.edu or get SML/NJ description: Concurrent ML is a concurrent extension of SML/NJ, supporting dynamic thread creation, synchronous message passing on synchronous channels, and first-class synchronous operations. First-class synchronous operations allow users to tailor their synchronization abstractions for their application. CML also supports both stream I/O and low-level I/O in an integrated fashion. bugs: sml-bugs@research.att.com requires: SML/NJ 0.75 (or later) updated: 1993/02/18 language: SASL iref: (Pascal) Tim Budd's C++ implementation of Kamin's interpreters language: Standard ML package: sml2c version: ? parts: compiler(->C), documentation, tests author: School of Computer Science, Carnegie Mellon University how to get: ftp /usr/nemo/sml2c/sml2c.tar.Z from dravido.soar.cs.cmu.edu Linux: ftp pub/linux/smlnj-0.82-linux.tar.Z from ftp.dcs.glasgow.ac.uk 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. Based on SML/NJ version 0.67 and shares front end and most of its runtime system, but does not support SML/NJ style debugging and profiling. conformance: superset + first-class continuations, + asynchronous signal handling + separate compilation + freeze and restart programs ports: IBM-RT Decstation3100 Omron-Luna-88k Sun-3 Sun-4 386(Mach) portability: easy, easier than SML/NJ contact: david.tarditi@cs.cmu.edu anurag.acharya@cs.cmu.edu peter.lee@cs.cmu.edu updated: 1991/06/27 language: Standard ML package: The ML Kit version: 1 parts: interprter, documentation author: Nick Rothwell, David N. Turner, Mads Tofte , and Lars Birkedal at Edinburgh and Copenhagen Universities. how to get: ftp diku/users/birkedal/* from ftp.diku.dk UK: ftp export/ml/mlkit/* from lfcs.ed.ac.uk description: The ML Kit is a straight translation of the Definition of Standard ML into a collection of Standard ML modules. For example, every inference rule in the Definition is translated into a small piece of Standard ML code which implements it. The translation has been done with as little originality as possible - even variable conventions from the Definition are carried straight over to the Kit. The Kit is intended as a tool box for those people in the programming language community who may want a self-contained parser or type checker for full Standard ML but do not want to understand the clever bits of a high-performance compiler. We have tried to write simple code and modular interfaces. updated: 1993/03/12 language: SISAL 1.2 package: The Optimizing SISAL Compiler version: 12.0 parts: compiler?, manuals, documentation, examples, debugger,... author: David C. Cann how to get: ftp pub/sisal from sisal.llnl.gov description: Sisal is a functional language designed to be competitive with Fortran, and other imperative languages for scientific jobs. In particualar, OSC uses advanced optimizing techniques to achieve fast speeds for computation intensive programs. It also features routines for making efficient use of parallel processors, such as that on the Cray. ports: ? updated: ? --C variants ------------------------------------------------------------------------------- --category: C variants --description: These are languages that are closely based on C. --lref: C-Refine, C++-Refine, *-Refine --lref: (C,Duel) Duel (a C debugging language) -- language: C, C++, Objective-C, RTL package: GNU CC (gcc) version: 2.5.7 parts: compiler, runtime, examples, documentation Library listed separately author: Richard Stallman and others how to get: ftp gcc-2.X.X.tar.gz from a GNU archive site msdos: ftp pub/msdos/djgpp/* from oak.oakland.edu description: A very high quality, very portable compiler for C, C++, Objective-C. The compiler is designed to support multiple front-ends and multiple back-ends by translating first into RTL (Register Transfer Language) and from there into assembly for the target architecture. Front ends for Ada, Pascal, and Fortran are all under development. conformance: C: superset of K&R C and ANSI C. C++: not exactly cfront 3.0? [could someone tell me which version of cfront it is equivalent to, if any? --ed] Objective-C: ? bugs: gnu.gcc.bug restriction: GNU General Public License ports: 3b1, a29k, aix385, alpha, altos3068, amix, arm, convex, crds, elxsi, fx2800, fx80, genix, hp320, clipper, i386-{dos,isc,sco,sysv.3,sysv.4,mach,bsd,linux,windows,OS/2}, iris,i860, i960, irix4, m68k, m88ksvsv.3, mips-news, mot3300, next, ns32k, nws3250-v.4, hp-pa, pc532, plexus, pyramid, romp, rs6000, sparc-sunos, sparc-solaris2, sparc-sysv.4, spur, sun386, tahoe, tow, umpis, vax-vms, vax-bsd, we32k, hitachi-{SH,8300} portability: very high status: actively developed discussion: gnu.gcc.help announcements: gnu.gcc.announce updated: 1993/11/27 language: C, C++, Objective-C, RTL package: GNU CC (gcc) - unsupported port version: 1.37 parts: compiler, runtime, examples, documentation Library listed separately author: ? how to get: ftp mpw-gcc-1.37.1r14 from ? description: This is an unsupported port of the GNU C compiler to the Macintosh environment. Note that the GNU project is actively supporting the League for Programming Freedom (LPF) boycott of Apple due to the "Look and Feel" lawsuit. conformance: C: superset of K&R C and ANSI C. C++: [does this version support C++? -ed] bugs: ? restriction: GNU General Public License ports: see GCC entry above portability: very high status: ? updated: 1993/11/27 language: C package: GNU C Library (glibc) version: 1.06 parts: library author: ? how to get: ftp glibc-1.06.tar.Z from a GNU archive site Source for "crypt" must be FTP'ed from non-USA site if you are outside the USA (site: glibc-1.06-crypt.tar.z from ftp.uni-c.dk [129.142.6.74]). description: The run-time library for the GNU C compiler, gcc. The source for libc.a. This package is separately maintained. conformance: ANSI and POSIX.1 superset. Large subset of POSIX.2 bugs: Reports sent to mailing list bug-glibc@prep.ai.mit.edu. updated: 1993/06/25 language: C package: fdlibm version: ? parts: library author: Dr. K-C Ng how to get: How to get fdlibm by email - as three email messages of 100KB each: mail netlib@research.att.com send all from fdlibm How to get fdlibm by ftp: ftp netlib.att.com cd netlib get fdlibm.tar description: Dr. K-C Ng has developed a new version of libm that is the basis for the bundled /usr/lib/libm.so in Solaris 2.3 for SPARC and for future Solaris 2 releases for x86 and PowerPC. It provides the standard functions necessary to pass the usual test suites. This new libm can be configured to handle exceptions in accordance with various language standards or in the spirit of IEEE 754. The C source code should be portable to any IEEE 754 system with minimal difficulty. . conformance: IEEE 754 bugs: Send comments and bug reports to: fdlibm-comments@sunpro.eng.sun.com. updated: 1993/12/18 language: C package: c68/c386 version: 4.2a parts: compiler author: Matthew Brandt, Christoph van Wuellen, Keith and Dave Walker how to get: ftp pub/Minix/common-pkgs/c386-4.2.tar.Z from bugs.nosc.mil description: K&R C plus prototypes and other ANSI features. targetted to several 68k and i386 assemblers, incl. gas. floating point support by inline code or emulation. lots of available warnings. better code generation than ACK. ports: 386 and 68k Minix. generic unix actually. status: actively worked on by the Walkers. discussion: comp.os.min updated: ? language: C package: GNU superoptimizer version: 2.2 parts: exhaustive instruction sequence optimizer author: Torbjorn Granlund with Tom Wood how to get: ftp superopt-2.2.tar.Z from a GNU archive site description: GSO is a function sequence generator that uses an exhaustive generate-and-test approach to find the shortest instruction sequence for a given function. You have to tell the superoptimizer which function and which CPU you want to get code for. This is useful for compiler writers. bugs: Torbjorn Granlund restriction: GNU General Public License ports: Alpha, Sparc, i386, 88k, RS/6000, 68k, 29k, Pyramid(SP,AP,XP) updated: 1993/02/16 language: C package: xdbx version: 2.1 parts: X11 front end for dbx author: ? how to get: retrieve xxgdb from comp.sources.x volumes 11, 12, 13, 14, & 16 description: ? contact: Po Cheung updated: 1992/02/22 language: C package: ups version: 2.1 parts: interpreter, symbolic debugger, tests, documentation author: Mark Russell how to get: ? ftp from contrib/ups*.tar.Z from export.lcs.mit.edu ? unofficial: unofficial enhancements by Rod Armstrong , available by ftp misc/unix/ups/contrib/rob from sj.ate.slb.com 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 bugs: Mark Russell ports: Sun, Decstation, VAX(ultrix), HLH Clipper discussion: ups-users-request@ukc.ac.uk updated: 1991/05/20 language: C package: C-Interp version: ? parts: interpreter author: ? how to get: ftp Mac/Misc/C_Interp.sit from oac2.hsc.uth.tmc.edu description: An interpreter for a small subset of C, originally part of a communications package. contact: ? Chuck Shotton updated: 1993/05/14 langauge: C package: ae (application executive) version: 1? parts: interpreter author: Brian Bliss [Is this right? --ed] how to get: ftp pub/at.tar.Z from sp2.csrd.uiuc.edu description: ae (the "application executive") is a C interpreter library which is compiled with an application; hence, the interpreter exists in the same process and address space. it includes a dbx symbol table scanner to access compiled vars & routines, or you can enter them manually by providing a type/name declaration and the address. when the interpreter is invoked, source code fragments are read from the input stream (or a string), parsed, and evaluated immediately. The user can call compiled functions in addition to a few built-in intrinsics, declare new data types and data objects, etc. Different input streams can be evaluated in parallel on alliant machines. ports: SunOS (cc or gcc), Alliant FX, Cray YMP (soon) updated: 1992/04/21 language: C (ANSI), lcc package: lcc version: 1.8 parts: compiler, test suite, documentation author: Dave Hanson how to get: ftp pub/lcc/lccfe-*.tar.Z from princeton.edu description: + hand coded C parser (faster than yacc) + retargetable + code "as good as GCC" ports: vax (mips, sparc, 68k backends are commercial) status: small-scale production use using commerical backends; the commercial backends are cheap (free?) to universities. discussion: lcc-requests@princeton.edu updated: 1992/02/20 language: C, lcc package: Chop version: 0.6 parts: code generator author: Alan L. Wendt how to get: ftp pub/chop/0.6.tar.Z from beethoven.cs.colostate.edu description: The current revision, 0.6, is interfaced with Fraser and Hanson's lcc front end. The result is a highly fast C compiler with good code selection and no global optimization. Project Status: Chop compiles and runs a number of small test programs on the Vax. I'm currently updating the NS32k and 68K retargets for lcc compatibility. After I get them working, I'll work on getting the system to compile itself, get struct assignments working, improve the code quality and compile speed, and run the SPEC benchmarks. That will be rev 1.0. reference: "Fast Code Generation Using Automatically-Generated Decision Trees", ACM SIGPLAN '90 PLDI updated: 1993/04/28 language: C package: GCT version: 1.4 parts: test-coverage-preprocessor author: Brian Marick how to get: ftp pub/testing/gct.file/ftp.* 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 ports: sun3, sun4, rs/6000, 68k, 88k, hp-pa, ibm 3090, ultrix, convex, sco discussion: Gct-Request@cs.uiuc.edu support: commercial support available from author, (217) 351-7228 updated: 1993/02/12 language: C package: MasPar mpl, ampl version: 3.1 parts: compiler author: ? how to get: ftp put/mpl-* from maspar.maspar.com description: mpl & ampl - the intrinsic parallel languages for MasPar's machines are C (ampl is actually a gcc port these days). You can get the source from marpar.com. contact: ? updated: ? language: C package: gc version: 3.4 parts: library author: Hans-J. Boehm , Alan J. Demers how to get: ftp pub/russell/gc3.4.tar.Z from parcftp.xerox.com description: This is a garbage colecting storage allocator that is intended to be used as a plug-in replacement for C's malloc. Since the collector does not require pointers to be tagged, it does not attempt to ensure that all inaccessible storage is reclaimed. However, in our experience, it is typically more successful at reclaiming unused memory than most C programs using explicit deallocation. Unlike manually introduced leaks, the amount of unreclaimed memory typically stays bounded. ports: Sun-3, Sun-4 , Vax/BSD, Ultrix, i386/Unix, SGI, Alpha/OSF/1, Sequent (single threaded), Encore (single threaded), RS/600, HP-UX, Sony News, A/UX, Amiag, NeXT. updated: 1993/11/05 language: C package: dsp56k-gcc version: ? parts: compiler author: ? how to get: ftp pub/ham/dsp/dsp56k-tools/dsp56k-gcc.tar.Z from nic.funet.fi Australia: ftp pub/micros/56k/g56k.tar.Z from evans.ee.adfa.oz.au description: A port of gcc 1.37.1 to the Motorola DSP56000 done by Motorola contact: ? updated: ? language: C package: dsp56165-gcc version: ? parts: compiler author: Andrew Sterian how to get: ftp usenet/alt.sources/? from wuarchive.wustl.edu description: A port of gcc 1.40 to the Motorola DSP56156 and DSP56000. updated: ? language: C package: Harvest C version: 1.3 parts: compiler, assembler, linker. author: ? how to get: ftp mac/development/languages/harves* from archive.umich.edu description: The parts of the system are all integrated in a unique application, which manages a "project" composed by several C source files and resource files (which contain data). ports: Macintosh contact: Eric W. Sink updated: 1992/05/26 language: C, C++ package: Cyclo - cyclomatic complexity tool version: the one and only version parts: code analysis tool author: Roger D Binns how to get: alt.sources archive, 1993/06/28, description: It measures cyclomatic complexity, shows function calls and can draw flowgraphs of ANSI C and C++ code. requires: lex, C++ updated: 1993/06/28 language: C package: cxref version: ? parts: code analysis tool author: Arnold Robbins how to get: use archie description: A cross-reference genrator updated: ? language: C package: xref version: ? parts: code analysis tool author: Jim Leinweber how to get: use archie description: A cross-reference genrator updated: 1985? language: C, C++ package: Xcoral version: 1.72 parts: editor author: ? how to get: ftp X/contrib/clients/xcoral* from ftp.inria.fr description: Xcoral is a multiwindows mouse-based text editor, for X Window System, with a built-in browser to navigate through C functions and C++ classes hierarchies... Xcoral provides variables width fonts, menus, scrollbars, buttons, search, regions, kill-buffers and 3D look. Commands are accessible from menus or standard key bindings. Xcoral is a direct Xlib client and run on color/bw X Display. contact: ? updated: 1993/03/14 language: C++ package: Lily (LIsp LibrarY) version: 0.1 parts: library author: Roger Sheldon how to get: ftp uploads/lily-0.1.tar.gz from sunsite.unc.edu description: Lilly is a C++ class library which gives C++ programmers the capability to write LISP-style code. Lily's garbage collection mechanism is not sufficient for commercial use. The documentation is incomplete. requires: C++ (g++ or Turbo C++, but not cfront) restriction: GNU Library General Public License updated: 1993/11/08 language: C++ package: C++SIM version: 1.0 parts: library author: Mark Little how to get: ftp ? from arjuna.ncl.ac.uk description: C++SIM is a class library that provides the same sort of features found in the simulation class libraries of SIMULA. updated: 1993/06/14 language: C++ package: ? signatures for GCC 2.5.2. ? version: ? parts: patches to GNU CC, documentation author: Gerald Baumgartner how to get: ftp pub/gb/* from ftp.cs.purdue.edu description: Signatures are very similar to abstract base classes except that they have their own heirarchy and can be applied to compiled classes. They provide a means of separating subtyping and inheritance. requires: GNU CC 2.5.2 updated: 1993/11/03 language: C++ package: aard ??? version: ? parts: memory use tracer author: ? how to get: ftp pub/aard.tar.Z from wilma.cs.brown.edu description: We have a prototype implementation of a tool to do memory checking. It works by keeping track of the typestate of each byte of memory in the heap and the stack. The typestate can be one of Undefined, Uninitialized, Free or Set. The program can detect invalid transitions (i.e. attempting to set or use undefined or free storage or attempting to access uninitialized storage). In addition, the program keeps track of heap management through malloc and free and at the end of the run will report all memory blocks that were not freed and that are not accessible (i.e. memory leaks). The tools works using a spliced-in shared library. requires: Sparc, C++ 3.0.1, SunOS 4.X contact: Steve Reiss updated: ? language: C++ package: ET++ version: 3.0-alpha parts: class libraries, documentation author: ? how to get: ftp C++/ET++/* from iamsun.unibe.ch description: ? contact: Erich Gamma updated: 1992/10/26 language: C++ package: C++ grammar version: ? parts: parser (yacc) author: ? how to get: comp.sources.misc volume ? description: [is this a copy of the Roskind grammar or something else? --ed] updated: 1991/10/23 language: C++ package: cppp version: 1.14 parts: parser (yacc) author: Tony Davis how to get: wilma.cs.brown.edu:/pub/cppp.tar.Z description: A compiler front-end for C++, with complete semantic processing. Outputs abstract syntax graph. restriction: Permission needed for incorporation into commercial software. requires: Native C++ compiler, lex, yacc, make, sed (or hand editing) status: Upgrading the back end. updated: 1993/05/26 language: C++ package: C++ Object Oriented Library version: COOL ?, GECOOL 2.1, JCOOL 0.1 parts: libraries, tests, documentation author: ? how to get: GECOOL, JCOOL: ftp pub/COOL/* from cs.utexas.edu COOL: ftp pub/COOL.tar.Z from csc.ti.com description: A C++ class library developed at Texas Instruments. Cool contains a set of containers like Vectors, List, Hash_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. JCOOL's main difference from COOL and GECOOL is that it uses real C++ templates instead of a similar syntax that is preprocessed by a special 'cpp' distributed with COOL and GECOOL. ports: ? contact: Van-Duc Nguyen updated: 1992/08/05 language: C++ package: GNU C++ Library (libg++) version: 2.5.1 parts: library author: Per Bothner ? how to get: libg++-2.5.1.tar.gz from a GNU archive site description: The run-time library for the GNU C++ compiler. This package is separately maintained. conformance: ? ANSI and POSIX.1 superset bugs: bug-lib-g++@prep.ai.mit.edu updated: 1993/06/30 language: C++ package: ??? A C++ Parser toolkit version: ? parts: library author: Mayan Moudgill how to get: ftp pub/Parse.shar from ftp.cs.cornell.edu description: A collection of C++ classes that make building a recursive descent parser/scanner very easy. ports: Sun 4 with cfront 3.0, portability: uses mmap(); probably low. updated: 1993/04/11 language: C++, Extended C++ package: EC++ version: ? parts: translator(C++), documentation author: Glauco Masotti how to get: ? ftp languages/c++/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: 1989/10/10 language: C++ package: LEDA version: 3.0 parts: libraries author: ? how to get: ftp pub/LEDA/* from ftp.cs.uni-sb.de description: library of efficient data types and algorithms. New with 3.0: both template and non-template versions. contact: Stefan N"aher updated: 1992/11/30 language: E (a persistent C++ variant) package: GNU E version: 2.3.3 parts: compiler author: ? how to get: ftp exodus/E/gnu_E* from ftp.cs.wisc.edu description: GNU E is a persistent, object oriented programming language developed as part of the Exodus project. GNU E extends C++ with the notion of persistent data, program level data objects that can be transparently used across multiple executions of a program, or multiple programs, without explicit input and output operations. GNU E's form of persistence is based on extensions to the C++ type system to distinguish potentially persistent data objects from objects that are always memory resident. An object is made persistent either by its declaration (via a new "persistent" storage class qualifier) or by its method of allocation (via persistent dynamic allocation using a special overloading of the new operator). The underlying object storage system is the Exodus storage manager, which provides concurrency control and recovery in addition to storage for persistent data. restriction: Copyleft; not all runtime sources are available (yet) requires: release 2.1.1 of the Exodus storage manager contact: exodus@cs.wisc.edu updated: 1993/01/20 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 description: ? 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 description: ? contact: ? updated: ? language: C (ANSI) package: cproto version: ? parts: translator(K&R C) author: Chin Huang how to get: from comp.sources.misc archive volume 29 description: cproto generates function prototypes from function definitions. It can also translate function definition heads between K&R style and ANSI C style. ports: Unix, MS-DOS updated: 1992/07/18 language: C (ANSI) package: cextract version: 1.7 parts: translator(K&R C), header file generator author: Adam Bryant how to get: ftp from any comp.sources.reviewed archive description: A C prototype extractor, it is ideal for generating header files for large multi-file C programs, and will provide an automated method for generating all of the prototypes for all of the functions in such a program. It may also function as a rudimentary documentation extractor, generating a sorted list of all functions and their locations ports: Unix, VMS updated: 1992/11/03 language: ANSI C package: cgram version: ? parts: grammar author: Mohd Hanafiah Abdullah how to get: ftp pub/comp.compilers/cgram-ll1.Z from primost.cs.wisc.edu description: An ANSI C grammar in LL(k) (1 <= k <= 2). It's written in Scheme, so you need to have a Scheme interpreter to process the grammar using a program (f-f-d.s) that extracts the FIRST/FOLLOW/DIRECTOR sets. requires: Scheme ports: ? updated: ? language: C, ANSI C, C++ package: The Roskind grammars version: cpp5 (cf2.0) parts: parser(yacc), documenation author: Jim Roskind how to get: ftp gnu/c++grammar2.0.tar.Z from ics.uci.edu ftp pub/C++/c++grammar2.0.tar.Z from mach1.npac.syr.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. Also included is an extension to byacc that produces graphical parse trees automatically. conformance: the C grammar si true ANSI; the C++ grammar supports cfront 2.0 constructs. requires: byacc 1.8 (for graphical parse trees) status: actively developed updated: 1991/07/01 language: C, C++ package: xxgdb version: 1.06 parts: X11 front end for gdb author: ? how to get: retrieve xxgdb from comp.sources.x volumes 11, 12, 13, 14, & 16 description: ? contact: Pierre Willard updated: 1992/02/22 language: C, C++ package: gdb version: 4.11 parts: symbolic debugger, documentation author: many, but most recently Fred Fish , Stu Grossman , and John Gilmore , all of Cygnus Support how to get: ftp gdb-*.tar.[zZ] from a GNU archive site description: gdb is a full-featured symbolic debugger. It fills the same niche as dbx. Programs must be compiled with debugging symbols. bugs: restriction: CopyLeft ports: most unix variants, vms, vxworks, amiga, msdos updated: 1993/10/29 language: C, C++, Objective-C package: emx programming environment for OS/2 version: 0.8g parts: gcc, g++, gdb, libg++, .obj linkage, DLL, headers author: Eberhard Mattes how to get: ftp os2/2_x/unix/gnu/emx0.8g from ftp-os2.cdrom.com Europe: ftp soft/os2/emx-0.8g from ftp.uni-stuttgart.de description: ? discussion: subscribe to emx-list using listserv@ludd.luth.se updated: 1992/09/21 language: C package: Pthreads version: 1.17 parts: library author: PART (POSIX / Ada-Runtime Project) how to get: ftp pub/PART/pthreads* from ftp.cs.fsu.edu description: As part of the PART project we have been designing and implementing a library package of preemptive threads which is compliant with POSIX 1003.4a Draft 6. A description of the interface for our Pthreads library is now available on ftp. restriction: GNU General Public License discussion: send "Subject: subscribe-pthreads" to mueller@uzu.cs.fsu.edu ports: Sun-4/SunOS 4.1.x contact: pthreads-bugs@ada.cs.fsu.edu updated: 1993/07/22 language: C, nroff, texinfo, latex package: c2man version: 2.0 patchlevel 25 parts: documentation generator (C -> nroff -man, -> texinfo, -> latex) author: Graham Stoney how to get: ftp usenet/comp.sources.reviewed/volume03/c2man* from ftp.wustl.edu Europe: ftp /pub/archive/comp.sources/reviewed/c2man* from ftp.informatik.uni-stuttgart.de Patches: ftp pub/netnews/sources.bugs/volume93/sep/c2man* from lth.se description: c2man is an automatic documentation tool that extracts comments from C source code to generate functional interface documentation in the same format as sections 2 & 3 of the Unix Programmer's Manual. It requires minimal effort from the programmer by looking for comments in the usual places near the objects they document, rather than imposing a rigid function-comment syntax or requiring that the programmer learn and use a typesetting language. Acceptable documentation can often be generated from existing code with no modifications. conformance: supports both K&R and ISO/ANSI C coding styles features: + generates output in nroff -man, TeXinfo or LaTeX format + handles comments as part of the language grammar + automagically documents enum parameter & return values + handles C (/* */) and C++ (//) style comments - doesn't handle C++ grammar (yet) requires: yacc/byacc/bison, lex/flex, and nroff/groff/texinfo/LaTeX. ports: Unix, OS/2, MSDOS portability: very high for unix, via Configure status: actively developed; contributions by users are encouraged. discussion: send "subscribe c2man " (in the message body) to listserv@research.canon.oz.au announcements: patches appear first in comp.sources.bugs, later in comp.sources.reviewed after a review period. updated: 1994/02/21 language: Small-C package: smallc version: ? parts: compiler author: ? how to get: ?, comp.sources.unix volume 5 description: Small-C is a subset of the C programming language for which a number of public-domain compilers have been written. The original compiler was written by Ron Cain and appeared in the May 1980 issue of Dr.Dobb's Journal. More recently, James E.Hendrix has improved and extended the original Small-C compiler and published "The Small-C Handbook", ISBN 0-8359-7012-4 (1984). Both compilers produce 8080 assembly language, which is the most popular implementation of Small-C to-date. My 6502 Small-C compiler for the BBC Micro is based on "RatC", a version of the original Ron Cain compiler described by R.E.Berry and B.A.Meekings in "A Book on C", ISBN 0-333-36821-5 (1984). The 6502 compiler is written in Small-C and was bootstrapped using Zorland C on an Amstrad PC1512 under MSDOS 3.2, then transferred onto a BBC Micro using Kermit. The compiler can be used to cross-compile 6502 code from an MSDOS host, or as a 'resident' Small-C compiler on a BBC Micro. conformance: subset of C ports: 68k, 6809, VAX, 8080, BBC Micro, Z80 updated: 1989/01/05 language: Maisie package: Maisie version: 2.1 parts: ?, user manual, examples author: Wen-Toh Liao how to get: ftp pub/maisie.2.1.1.3.tar.Z from cs.ucla.edu description: C-based parallel programming language that uses asynchronous typed-message passing and supports light-weight processes. The language is C with enhancements to allow processes to be defined, created, and destroyed, to send and receive messages, and manipulate the system clock. ports: PVM/3.1, Cosmic Environment, and SUN Sockets. updated: 1993/06/14 language: MeldC (MELD, C) package: MeldC version: 2.0 parts: microkernel, compiler, debugger, manual, examples author: MELD Project, Programming Systems Laboratory at Columbia University how to get: obtain license from description: MeldC 2.0: A Reflective Object-Oriented Coordination Programming Language MELDC is a C-based, concurrent, object-oriented language built on a reflective architecture. The core of the architecture is a micro-kernel (the MELDC kernel), which encapsulates a minimum set of entities that cannot be modeled as objects. All components outside of the kernel are implemented as objects in MELDC itself and are modularized in the MELDC libraries. MELDC is reflective in three dimensions: structural, computational and architectural. The structural reflection indicates that classes and meta-classes are objects, which are written in MELDC. The computational reflection means that object behaviors can be computed and extended at runtime. The architectural reflection indicates that new features/properties (e.g., persistency and remoteness) can be constructed in MELDC. restriction: must sign license, cannot use for commercial purposes ports: Sun4/SunOS4.1 Mips/Ultrix4.2 contact: updated: 1992/12/15 language: uC++ package: uC++ version: 3.7 parts: compiler, reference author: ? Peter A. Ruhr how to get: ftp pub/uSystem/u++-3.7.tar.Z from plg.uwaterloo.ca description: An extended C++ with light-weight concurrency for Unix-like systems. uC++ is pronounced "micro-C++". reference: Software--Practice and Experience, 22(2):137-172, February 1992. requires: dmake 3.0+ (ftp pub/dmake/dmake38.tar.Z from plg.uwaterloo.ca) GNU C++ 2.3.3 ports: Sequent, Sun-4, Sun-3, Ultrix, SGI, RS/6000, HP-PA portability: Needs "setitimer" and "sigcontext" from Unix-like systems. updated: 1993/06/10 language: Objective-C package: Collection Library for GNU Objective-C version: Alpha Release parts: library author: R. Andrew McCallum ? how to get: ftp pub/ObjC/libcoll-*.tar.z from iesd.auc.dk description: It's a library of Objective-C objects with similar functionality to Smalltalk's Collection objects. It includes: Set, Bag, Array, LinkedList, LinkList, CircularArray, Queue, Stack, Heap, SortedArray, MappedCollector, GapArray and DelegateList. updated: 1993/06/01 --compiled, imperative languages ------------------------------------------------------------------------------- --category: compiled, imperitive languages --description: This is the set of traditional infix languages other than C -- and Pascal which each have their own section. --cref: C variants --cref: Wirth family languages --lref: Simula --lref: Fortran -- language: Ada package: Ada/Ed version: 1.11.0a+ parts: translator(?), interpreter, ? author: ? how to get: ftp pub/Ada/Ada-Ed from cnam.cnam.fr description: Ada/Ed is a translator-interpreter for Ada. It is intended as a teaching tool, and does not have the capacity, performance, or robustness of commercial Ada compilers. Ada/Ed was developed at New York University, as part of a long-range project in language definition and software prototyping. conformance: Ada 83. Last validated with version 1.7 of the ACVC tests. being an interpreter, it does not implement most representation clauses, and thus does not support systems programming close to the machine level. ports: Unix, MSDOS, Amiga, Atari contact: Michael Feldman updated: 1992/05/08 language: Ada package: GW-Ada version: ? parts: translator, interpreter, editor, runtime environment author: ? how to get: ftp languages/ada/compiler/adaed/gwu/9309/dos or languages/ada/compilers/adaed/gwu/mac from wuarchive.wustl.edu description: Ada/Ed is a translator-interpreter for Ada. It is intended as a teaching tool, and does not have the capacity, performance, or robustness of commercial Ada compilers. Ada/Ed was developed at New York University, as part of a long-range project in language definition and software prototyping. conformance: "Ada/Ed handles nearly all of Ada 83" ports: MSDOS and Mac contact: Michael Feldman restriction: For educational purposes only. updated: 1993/09/01 language: Ada package: Ada grammar version: ? parts: scanner(lex), parser(yacc) author: ? how to get: ftp from primost.cs.wisc.edu or mail to compilers-server@iecc.cambridge.ma.us description: ? contact: masticol@dumas.rutgers.edu updated: 1991/10/12 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.edu description: ? conformance: subset updated: 1992/04/08 language: Ada package: NASA PrettyPrinter version: ? parts: Ada LR parser, ? author: ? Michael Feldman in comp.compilers provided the initial reference to this package, he also has a yacc grammar for ada. how to get: ftp from Ada Software Repository on wsmr-simtel20.army.mil description: pretty-print program that contains an ada parser requires: Ada updated: 1991/02/01 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 description: ? contact: ? updated: 1991/02/01 language: Ada package: Paradise version: 2.0 parts: library author: ? how to get: ftp pub/Ada/Paradise from cnam.cnam.fr description: Paradise is a subsystem (a set of packages) developped to implement inter-processes, inter-tasks and inter-machines communication for Ada programs in the Unix world. This subsystem gives the user full access to files, pipes, sockets (both Unix and Internet), and pseudo-devices. ports: Sun, Dec, Sony Mips, Verdex compiler, DEC compiler, Alsys/Systeam compiler contact: paradise-info@cnam.cnam.fr updated: 1992/09/30 language: Ada package: Adamakegen version: 2.6.3 parts: makefile generator author: Owen O'Malley how to get: ftp ftp/pub/arcadia/adamakegen* from spare.ics.uci.edu description: A program that generates makefiles for Ada programs requires: Icon ports: Verdix, SunAda updated: 1993/03/02 language: Ada 9X package: GNAT version: 1.4.5 parts: parser, library management system, documentation? author: The GNAT Development Team how to get: ftp pub/gnat/* from cs.nyu.edu description: A bootstrapped implementation of a Ada83 subset. conformance: Currently only a subset of of Ada 83 is working. Compliance to Ada 9X being worked on. status: Activly developed. Very early release, but able to compile itself. updated: 1993/08/29 language: Algol, Foogol package: foogol version: ? parts: compiler author: ? how to get: comp.sources.unix archive volume 8 description: ? conformance: subset of Algol ports: VAX updated: ? language: Algol lref: Simula language: BCPL package: ? version: ? parts: ? author: ? how to get: ftp systems/amiga/programming/languages/BCPL/BCPL4Amiga.lzh from wuarchive.wustl.edu. description: The original INTCODE interpreter for BCPL. ports: Amiga, Unix, MSDOS contact: ? updated: ? language: BCPL package: ? version: ? parts: ? author: ? how to get: ftp [.languages]bcpl.tar_z from ftp.syd.dit.csiro.au description: A BCPL* (Basic Combined Programming Language) compiler bootstrap kit with an INTCODE interpreter in C. contact: Ken Yap updated: ? language: E package: Amiga E version: 2.1b parts: compiler, assembler, linker, utilities author: Wouter van Oortmerssen how to get: ftp amiga/dev/lang/AmigaE21b.lha from amiga.physik.unizh.ch description: An Amiga specific E compiler. E is a powerful and flexible procedural programming language and Amiga E a very fast com- piler for it, with features such as compilation speed of 20000 lines/minute on a 7 Mhz amiga, inline assembler and linker integrated into compiler, large set of integrated functions, module concept with 2.04 includes as modules, flexible type-system, quoted expressions, immediate and typed lists, low level polymorphism, exception handling and much, much more. Written in Assembly and E. ports: Amiga portability: not portable at all status: actively developed discussion: comp.sys.amiga.programmer (sometimes) updated: 1993/03/01 language: Eiffel package: ? version: ? parts: source checker author: Olaf Langmack and Burghardt Groeber how to get: ftp pub/heron/ep.tar.Z from ftp.fu-berlin.de description: A compiler front-end for Eiffel-3 is available. It has been generated automatically with the Karlsruhe toolbox for compiler construction according to the most recent public language definition. The parser derives an easy-to-use abstract syntax tree, supports elementary error recovery and provides a precise source code indication of errors. It performs a strict syntax check and analyses 4000 lines of source code per second on a Sun-SPARC workstation. updated: 1992/12/14 language: Sather package: Sather programming language and environment version: 0.2i parts: compiler(->C), debugger, libraries, documentation, emacs macros author: International Computer Science Institute in Berkeley, CA how to get: ftp pub/sather/sa-0.2i.tar.Z from ftp.icsi.berkeley.edu Europe: ftp pub/Sather/* from ftp.gmd.de Australia: ftp pub/sather/* from lynx.csis.dit.csiro.au Japan: ftp pub/lang/sather/* from sra.co.jp 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. conformance: reference implemantation bugs: sather-admin@icsi.berkeley.edu ports: Sun-4 HP9000/300 Decstation5000 MIPS SonyNews3000 Sequent/Dynix SCO SysVR3.2 NeXT (from others: RS6000 SGI) portability: high status: actively developed. discussion: sather-request@icsi.berkeley.edu updated: 1992/07/02 language: XPL (PL/I dialect) package: XPL optimizing Compiler version: 1 parts: compiler, documentation author: Robin Vowels how to get: mail to robin_vowels@rmit.edu.au description: The compiler is a standard implementation of XPL and is based on McKeeman, Horning, and Wortman's improved XCOM (which employs hashed symbol table generation). It includes the extra built-in function COREHALFWORD. The following areas have been optimized: procedures calls when the argument and corresponding parameter are of the same type, and when the argument is a constant; constant subscripts; use of CORELHALFWORD and COREWORD; string constants of length one; iterative DO statements by transferring code to the end of the loop. String constants of length one do not require a descriptor, hence more descriptors are available for string variables. Comparison operations are treated as commutative, and an improved Commute algorithm is used. Halfword instructions are generated for BIT(16) variables. These areas have been improved or re-written: calls on OUTPUT, catenation, integer-to-string conversion, multiply, divide, and MOD. An emitter for SS-type instructions has been added. The compiler achieves an 11% reduction in object code compiling itself, an 11% increase in compilation rate, a 55% increase in compilation speed when the $E toggle is set. Special treatment for catenating a string to an integer substantially decreases consumption of the free string area, and decreases string moves. The latter improvement is most noticeable on small core machines. Core requirements: less than the improved XCOM on which it is based (approx. 98000 bytes). Symbol table size is 468. ports: IBM System 370 portability: The compiler is written in XPL. The code generators are machine-specific. updated: 1993/08/07 -- --object oriented langauges --------------------------------------------------------------------------------- --category: object oriented langauges --description: In general, object oriented langauges were categorized -- elsewhere. Only those that were not anything but object- -- oriented are here. --lref: ABCL ??? --lref: ABCL/R2 --lref: ALLOY --lref: C++ --lref: CLU --lref: Common Lisp --lref: Dylan --lref: GNU E --lref: MeldC --lref: Objective-C --lref: Oberon-2 --lref: Perl5 --lref: Python --lref: Sather --lref: Simula --iref: (TCL) BOS --iref: (Scheme) STk --iref: (Scheme) SOS -- language: O'small package: O'small version: Initial release parts: compiler?, parser/scanner specification author: ? Andreas Hense how to get: FTP /pub/osmall/machine/* from cs.uni-sb.de (134.96.7.254) description: A concise, formally defined object-oriented language suited for teaching object oriented programming. reference: (Numerous references listed in software documentation) Christoph Boeschen. Christmas - An abstract machine for O'small. Master's thesis, Universit"at des Saarlandes, Fachbereich 14, June 1993. requires: sml-yacc, sml-lex, sml-noshare (details in HowToGetML). ports: Sun 4, SPARC (binaries provided). portability: Probably portable to other Unix's. updated: 1993/06/25 language: O'small package: ? version: ? parts: interpreter author: ? how to get: ? description: ? requires: Miranda ports: ? portability: ? updated: ? 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 description: 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. ports: Sun-3 (no optimizer), Sun-4 portability: ? [Can it be ported to non-Sun or non-Unix systems?] discussion: self-request@self.stanford.edu contact: ? updated: 1992/08/13 language: Smalltalk package: Little Smalltalk version: 3 parts: ? author: Tim Budd ? how to get: ftp pub/budd/? from cs.orst.edu description: ? ports: unix, pc, atari, vms status: ? updated: ? language: Smalltalk package: GNU Smalltalk version: 1.1.1 parts: ? author: Steven Byrne how to get: ftp smalltalk-1.1.1.tar.Z from a GNU archive site description: ? bugs: gnu.smalltalk.bug discussion: ? contact: ? updated: 1991/09/15 language: Smalltalk package: msgGUI version: 1.0 parts: library author: Mark Bush how to get: ftp pub/Packages/mst/mstGUI-1.0.tar.Z from ftp.comlab.ox.ac.uk description: GUI for GNU Smalltalk. This this package contains the basics for creating window applications in the manner available in other graphical based Smalltalk implementations. updated: 1992/12/14 language: Smalltalk package: Mei version: 0.50 parts: interpreters(Lisp,Prolog), examples, libraries, tools, editor, browser author: Atsushi Aoki and others how to get: ftp pub/goodies/misc/Mei.tar.Z from mushroom.cs.man.ac.uk N.America: ftp pub/MANCHESTER/misc/Mei from st.cs.uiuc.edu Japan: ftp pub/lang/smalltalk/mei/Mei0.50.tar.Z from srawgw.sra.co.jp description: Mei is a set of class libraries for Objectworks Smalltalk Release 4.1. it includes: 1. Grapher Library (useful for drawing diagrams); 2. Meta Grapher Library (grapher to develop grapher); 3. Drawing tools and painting tools (structured diagram editors and drawing editors); 4. GUI editor (graphical user interface builder); 5. Lisp interpreter; 6. Prolog interpreter; 7. Pluggable gauges; 8. Extended browser; (package, history, recover, etc.) restriction: GNU General Public License requires: Objectworks Smalltalk Release 4.1 contact: Watanabe Katsuhiro updated: 1993/01/20 language: Smalltalk iref: (Pascal) Tim Budd's C++ implementation of Kamin's interpreters --lisp family ------------------------------------------------------------------------------- --category: lisp family --description: [The programming languages for those who like parenthesis --ed] -- language: Dylan package: Thomas version: ? first public release ? parts: translator(Scheme) author: Matt Birkholz , Jim Miller , Ron Weiss how to get: ftp pub/DEC/Thomas from gatekeeper.pa.dec.com description: Thomas, a compiler written at Digital Equipment Corporation's Cambridge Research Laboratory compiles a language compatible with the language described in the book "Dylan(TM) an object-oriented dynamic language" by Apple Computer Eastern Research and Technology, April 1992. It does not perform well. Thomas is NOT Dylan(TM). requires: Scheme ports: MIT's CScheme, DEC's Scheme->C, Marc Feeley's Gambi, Mac, PC, Vax, MIPS, Alpha, 680x0 updated: 1992/09/11 language: Dylan package: Marlais version: 0.2a parts: interpreter author: Brent Benson how to get: ftp pub/marlais-0.2a.tar.gz from travis.csd.harris.com description: Marlais is a simple-minded interpreter for a programming language strongly resembling Dylan [1]. It is not intended as a final release, but rather to fill a perceived void where Dylan implementations are concerned. This is a "hackers release" and is intended as a vehicle for education, experimentation and also to encourage people to port it to different architectures, add features, and fix bugs. Marlais is alpha software and should not be used by people desiring reliability!!! ports: Sun-3, Sun-4, VAX/BSD, OS/2, Linux, Sequent Symmetry, Encore, HP-UX, Ultrix, SGI, Sony News, A/UX updated: 1993/09/23 language: EuLisp package: Feel (Free and Eventually Eulisp) version: 0.75 parts: interpreter, documentation author: Pete Broadbery how to get: ftp pub/eulisp from ftp.bath.ac.uk 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: 1992/09/14 language: Common Lisp package: CMU Common Lisp version: 17c parts: incremental compiler, profiler, runtime, documentation, editor, debugger author: ? how to get: ftp pub/* from from lisp-sun1.slisp.cs.cmu.edu. description: CMU Common Lisp is public domain "industrial strength" Common Lisp programming environment. Many of the X3j13 changes have been incorporated into CMU CL. Wherever possible, this has been done so as to transparently allow use of either CLtL1 or proposed ANSI CL. Probably the new features most interesting to users are SETF functions, LOOP and the WITH- COMPILATION-UNIT macro. + The new CMU CL compiler (Python) is more sophisticated thatn other Common Lisp compilers. It produces better code and is easier to use. + The programming environment based on the Hemlock editor is better integrated than gnu-emacs based environments. conformance: mostly X3J13 compatible. ports: Sparc/Mach Sparc/SunOS Mips/Mach IBMRT/Mach contact: slisp@cs.cmu.edu updated: 1993/11/18 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. ports: Lucid CL 4.0.1, CMUCL 16e, ? status: ? updated: 1992/09/02 language: Common Lisp package: WCL version: 2.14 parts: ?, shared library runtime, source debugger author: Wade Hennessey how to get: ftp pub/wcl/* 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. requires: GNU C 2.1 (not 2.2.2) ports: Sparc/SunOS discussion: contact: updated: 1992/10/28 language: Common Lisp package: KCL (Kyoto Common Lisp) version: ? parts: compiler(->C), interpreter author: T. Yuasa , M. Hagiya how to get: ? ftp pub/kcl*.tar.Z from rascal.ics.utexas.edu ? 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. bugs: kcl@cli.com restriction: must sign license agreement discussion: kcl-request@cli.com updated: 1987/06 language: Common Lisp package: AKCL (Austin Kyoto Common Lisp) version: 1-615 parts: improvements author: Bill Schelter , how to get: ftp pub/akcl-*.tar.Z from rascal.ics.utexas.edu 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 NeXT updated: 1992/04/29 language: Common Lisp package: CLX version: 5.01 parts: library author: ? how to get: ftp contrib/CLX.R5.01.tar.Z from export.lcs.mit.edu description: Common Lisp binding for X bugs: bug-clx@expo.lcs.mit.edu ports: ?, CMU Common Lisp contact: ? updated: 1992/08/26 language: Common Lisp package: CLISP version: 1993/10/06 parts: interpreter, bytecode compiler, runtime library, editor author: Bruno Haible , Michael Stoll how to get: ftp /pub/lisp/clisp from ma2s2.mathematik.uni-karlsruhe.de description: CLISP is a Common Lisp (CLtL1) implementation by Bruno Haible of Karlsruhe University and Michael Stoll of Munich University, both in Germany. It needs only 1.5 MB of RAM. German and English versions are available, French coming soon. Packages running in CLISP include PCL and, on Unix machines, CLX. A native subset of CLOS is included. conformance: CLtL1 + parts of CLtL2 restriction: GNU General Public License ports: Atari, Amiga, MS-DOS, OS/2, Linux, Sun4, Sun386i, HP90000/800 and others discussion: send "subscribe clisp-list" to listserv@ma2s2.mathematik.uni-karlsruhe.de contact: Bruno Haible updated: 1993/10/06 language: Common Lisp package: Cartier's Contribs version: 1.2 parts: libraries, documentation author: Guillaume Cartier how to get: ftp pub/mcl2/contrib/Cartiers* from cambridge.apple.com description: libraries for MCL requires: Macintosh Common Lisp updated: 1992/11/30 language: Common Lisp package: QT-OBJECTS version: ? parts: library author: Michael Travers and others how to get: ? description: interface between MCL and QuickTime requires: Macintosh Common Lisp updated: 1992/12/20 language: Common Lisp package: Memoization ? version: ? parts: library author: Marty Hall how to get: ftp pub/Memoization from archive.cs.umbc.edu description: Automatic memoization is a technique by which an existing function can be transformed into one that "remembers" previous arguments and their associated results updated: 1992/11/30 language: Common Lisp package: GINA (Generic Interactive Application) version: 2.2 parts: language binding, class library, interface builder author: ? how to get: ftp /gmd/gina from ftp.gmd.de N.America: ftp contrib/? from export.lcs.mit.edu description: GINA is an application framework based on Common Lisp and OSF/Motif to simplify the construction of graphical interactive applications. It consists of: + CLM, a language binding for OSF/Motif in Common Lisp. + the GINA application framework, a class library in CLOS + the GINA interface builder, an interactive tool implemented with GINA to design Motif windows. requires: OSF/Motif 1.1 or better. Common Lisp with CLX, CLOS, PCL and processes. ports: Franz Allegro, Lucid, CMU CL and Symbolics Genera discussion: gina-users-request@gmdzi.gmd.de updated: ? language: Common Lisp package: CLiCC version: 0.6.2 parts: compiler(->C), runtime library author: Heinz Knutzen , Ulrich Hoffman , Wolfgang Goerigk how to get: ftp pub/kiel/apply/clicc* from ftp.informatik.uni-kiel.de description: A Common Lisp to C compiler, meant to be used as a supplement to existing CLISP systems for generating portable applications. Target C code must be linked with CLiCC runtime library to produce executable. conformance: Subset of Common Lisp + CLOS (named: CL_0, or CommonLisp_0) CL_0 based on CLtL1. restriction: Freely distributable and modifiable ports: Runs in Lucid Lisp, AKCL, CLISP, ... status: Working towards CLtL2 and ANSI-CL conformance. updated: 1994/01/04 language: Franz Lisp package: Liszt? version: ? parts: compiler(->C) author: port to C by J W Dalton how to get: ask author description: A version of Liszt that emits C updated: ? language: Lisp package: RefLisp version: 2.67 parts: interpreter, documentation, examples, profiler author: Bill Birch how to get: ftp implementations/reflisp/* from the directory /afs/cs.cmu.edu/user/mkant/Public/Lisp on ftp.cs.cmu.edu description: The interpreter is a shallow-binding (i.e., everything has dynamic scope), reference counting design making it suitable for experimenting with real-time and graphic user interface programming. Common Lisp compatibility macros are provided, and most of the examples in "Lisp" by Winston & Horn have been run on RefLisp. RefLisp makes no distinction between symbol-values and function-values, so a symbol can be either but not both. There are Lisp modules for lexical scope and for running indefinite extent Scheme programs. ports: MSDOS (CGA/EGA/VGA), Unix (AIX) status: "Last Update for a While," author is emigrating to Australia updated: 1993/02/09 language: Lisp package: xlisp version: 2.1 parts: interpreter author: David Micheal Betz how to get: ftp pub/xlisp* from wasp.eng.ufl.edu US Mail: contact Tom Almy Windows: ftp util/wxlslib.zip from ftp.cica.indiana.edu Version2.0: ftp pub/xlisp/* from cs.orst.edu Macintosh: ftp pub/bskendig/? from netcom.com (source comming) 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 restriction: ? no commercial use ? ports: unix, amiga, atari, mac, MSDOS portability: very high: just needs a C compiler discussion: comp.lang.lisp.x updated: 1992/05/26 (unix), 1987/12/16 (other platforms) language: Lisp package: "LISP, Objects, and Symbolic Programming" version: ? parts: book with compiler included author: Robert R. Kessler and Amy R. Petajan, published by Scott, Foresman and Company, Glenview, IL how to get: bookstore... description: ? (A short synopsis might help if anyone has one) updated: 1988 language: Lisp package: franz lisp version: ? parts: ? author: ? how to get: [does anyone know where you get franz lisp??? --ed] description: ? discussion: franz-friends-request@berkeley.edu updated: ? language: Lisp (WOOL - Window Object Oriented Language) package: GWM (Generic Window Manager) version: ? parts: interpreter, examples author: ? how to get: ftp contrib/gwm/* from export.lcs.mit.edu France: ftp pub/gwm/* from avahi.inria.fr description: Gwm is an extensible window manager for X11. It is based on a WOOL kernel, and interpreted dialect of lisp with specific winow management primitives. discussion: gwm-talk@??? contact: ? updated: ? language: Lisp (elisp - Emacs Lisp) package: ILISP version: 5.0 parts: Emacs interface author: ?? Ivan Vazquez how to get: ftp to haldane.bu.edu (128.197.54.25) in pub/ilisp/ilisp.tar.Z description: ILISP provides a somewhat lisp-machine like interface to lisp listeners from Emacs. bugs: ilisp-bug@darwin.bu.edu (or ilisp-bugs@darwin.bu.edu). discussion: ilisp@darwin.bu.edu support: Mailing list requests/deletions to ilisp-request@darwin.bu.edu updated: 1993/06/28 language: Lisp (elisp - Emacs Lisp) package: GNU Emacs version: 19.21 parts: editor, interpreter, documentation, source debugger author: Richard Stallman and others how to get: pub/gnu/emacs-19.17.tar.gz from any GNU site. description: An editor that is almost an operating system. Quite programmable. And it even fits in your tackle box. bugs: gnu.emacs.bug, e-mail to bug-gnu-emacs@prep.ai.mit.edu ports: Unix, VMS, ? discussion: alt.religion.emacs, gnu.emacs.sources help: gnu.emacs.help announcements: gnu.emacs.announce updated: 1993/11/16 language: Lisp iref: (Pascal) Tim Budd's C++ implementation of Kamin's interpreters language: Oaklisp package: oaklisp version: 1.2 parts: interface, bytecode compiler, runtime system, documentation author: Barak Pearlmutter, Kevin Lang how to get: ftp /afs/cs.cmu.edu/user/bap/oak/ftpable/* from f.gp.cs.cmu.edu description: Oaklisp is a Scheme where everything is an object. It provides multiple inheritence, a strong error system, setters and locators for operations, and a facility for dynamic binding. status: actively developed? contact: Pearlmutter-Barak@CS.Yale.Edu ? updated: 1992/05 ? language: Scheme package: Schematik version: 1.1.5.2 parts: programming environment author: Chris Kane, Max Hailperin how to get: ftp /pub/next/scheme/* from ftp.gac.edu Europe: ftp /pub/next/ProgLang from ftp.informatik.uni-muenchen.de description: Schematik is a NeXT front-end to MIT Scheme for the NeXT. It provides syntax-knowledgeable text editing, graphics windows, and user-interface to an underlying MIT Scheme process. It comes packaged with MIT Scheme 7.1.3 ready to install on the NeXT. ports: NeXT, MIT Scheme 7.1.3 portability: requires NeXTSTEP contact: schematik@gac.edu updated: 1993/03/11 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) bugs: t3-bugs@cs.yale.edu ports: Decstation, Sparc, sun-3, Vax(unix), Encore, HP, Apollo, Mac (A/UX) contact: t-project@cs.yale.edu. updated: 1991/11/26 language: Scheme package: scm version: 4c5 parts: interpreter, conformance test, documentation author: Aubrey Jaffer how to get: ftp archive/scm/scm* from altdorf.ai.mit.edu Canada: ftp pub/oz/scheme/new/* from nexus.yorku.ca Europe: ftp pub/bosullvn/jacal/* from ftp.maths.tcd.ie description: ? conformance: Scm conforms to the Revised^4 Report restriction: GNU General Public License ports: unix, amiga, atari, mac, MSDOS, nos/ve, vms status: actively developed contributions: send $$$ to Aubrey Jaffer, 84 Pleasant St., Wakefield, MA 01880 updated: 1993/10/05 language: Scheme package: Scheme Library (slib) version: 1d5 parts: library, documentation author: ? how to get: ftp archive/scm/slib*.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: Scm4b, Chez, ELK 1.5, GAMBIT, MITScheme, Scheme->C, Scheme48, T3.1. status: actively developed contact: Aubrey Jaffer updated: 1993/10/09 language: Scheme package: Hobbit version: release 2 parts: compiler(->C), documentation author: Tanel Tammet how to get: ftp archive/scm/hobbit2.tar.Z from altdorf.ai.mit.edu description: The main aim of hobbit is to produce maximally fast C programs which would retain most of the original Scheme program structure, making the output C program readable and modifiable. Hobbit is written in Scheme and is able to self-compile. Hobbit release 1 works together with the scm release scm4b3. Future releases of scm and hobbit will be coordinated. requires: scm 4b3 updated: 1993/04/25 language: Scheme package: siod (Scheme In One Day, or Scheme In One Defun) version: 3.0 parts: interpreter,library,documentation,sql interface author: George Carrette how to get: ftp pub/gjc/siod* 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 (VAX/VMS). Lisp calls C and C calls Lisp transparently. features: symbols,strings,arrays,hash tables, file i/o binary/text/seek, data save/restore in binary and text, interface to commercial databases such Oracle, Digital RDB. ports: VAX/VMS, VAX Unix, Sun3, Sun4, Amiga, Macintosh, MIPS, Cray, ALPHA/VMS, Windows NT, OS/2. portability: Liked by ANSI C compilers and C++ compilers. e.g. gcc -Wall restriction: none besides non-removal of copyright notice. status: supported as benchmark/testbed at mitech.com help: the author will help anyone building something. contributions: antique/classic computer hardware, perhaps. announcements: comp.lang.scheme updated: 1994/02/18 anguage: Scheme package: MIT Scheme (aka C-Scheme) version: 7.2 parts: interpreter, large runtime library, emacs macros, native-code compiler, emacs-like editor, source-level debugger author: MIT Scheme Team (primarily Chris Hanson, Jim Miller, and Bill Rozas, but also many others) how to get: ftp archive/scheme-7.2 from altdorf.ai.mit.edu DOS floppies ($95) and Unix tar tapes ($200) from Scheme Team / c/o Prof. Hal Abelson / MIT AI Laboratory / 545 Technology Sq. / Cambridge, MA 02139 description: Scheme implementation with rich set of utilities. conformance: full compatibility with Revised^4 Report on Scheme, one known incompatibility with IEEE Scheme standard bugs: bug-cscheme@zurich.ai.mit.edu ports: 68k (hp9000, sun3, NeXT), MIPS (Decstation, Sony, SGI), HP-PA (600, 700, 800), Vax (Ultrix, BSD), Alpha (OSF), i386 (DOS/Windows, various Unix) status: activly developed discussion: info-cscheme@zurich.ai.mit.edu (cross-posted to comp.lang.scheme.c) updated: 1992/08/24 language: Scheme package: Scheme->C version: 15mar93 parts: compiler(->C) author: Digital Western Research Laboratory; Joel Bartlett how to get: ftp pub/DEC/Scheme-to-C/* from gatekeeper.dec.com description: Translates Revised**4 Scheme to C that is then compiled by the native C compiler for the target machine. This design results in a portable system that allows either stand-alone Scheme programs or programs written in both compiled and interpreted Scheme and other languages. conformance: superset of Revised**4 + "expansion passing style" macros + foreign function call capability + interfaces to Xlib (Ezd & Scix) + records reference: send Subject "help" to WRL-Techreports@decwrl.dec.com for technical report. Other documentation in Scheme-to-C directory on gatekeeper. ports: VAX/ULTRIX, DECstation ULTRIX, Alpha AXP OSF/1, Microsoft Windows 3.1, Apple Macintosh 7.1, HP 9000/300, HP 9000/700, Sony News, SGI Iris and Harris Nighthawk and other Unix-like m88k systems. The 01nov91 version is also available on Amiga, SunOS, NeXT, and Apollo systems. status: actively developed, contributed ports welcomed updated: 1993/03/15 language: Scheme, Tk package: STk version: 1.00 parts: interpreter author: Gallesio Erick how to get: ftp pub/STk-1.00.tar.gz from kaolin.unice.fr description: A Scheme interpreter blended with Ousterhout's Tk package. STk expresses all of Tk as scheme objects. STk includes a CLOS/Dylan-like OO extenstion, but the extension is slow. conformance: almost R4RS ports: SunOS 4.1.x, Ultrix/MIPS updated: 1993/09/06 language: Scheme package: PC-Scheme version: 3.03 parts: compiler, debugger, profiler, editor, libraries author: Texas Instruments how to get: ftp archive/pc-scheme/* from altdorf.ai.mit.edu description: Written by Texas Instruments. Runs on MS-DOS 286/386 IBM PCs and compatibles. Includes an optimizing compiler, an emacs-like editor, inspector, debugger, performance testing, foreign function interface, window system and an object-oriented subsystem. Also supports the dialect used in Abelson and Sussman's SICP. conformance: Revised^3 Report, also supports dialect used in SICP. restriction: official version is $95, contact rww@ibuki.com ports: MSDOS updated: 1992/02/23 language: Scheme package: PCS/Geneva version: 4.02PL1 parts: compiler, debugger, profiler, editor, libraries author: "a team at the u. of Geneva" how to get: send email to schemege@uni2a.unige.ch description: PCS/Geneva is a cleaned-up version of Texas Instrument's PC Scheme developed at the University of Geneva. The main extensions to PC Scheme are 486 support, BGI graphics, LIM-EMS pagination support, line editing, and assembly-level interfacing. contact: schemege@uni2a.unige.ch updated: 1994/01/11 language: Scheme package: Gambit Scheme System version: 2.0 parts: interpreter, compiler, linker, libraries author: Marc Feeley how to get: ftp pub/parallele/gambit/* from ftp.iro.umontreal.ca description: Gambit is an optimizing Scheme compiler/system. The Macintosh port can run with Toolbox and has a built-in editor. conformance: IEEE Scheme standard and `future' construct. ports: 68k: unix, sun3, hp300, bbn gp100, NeXT, Macintosh updated: ? language: Scheme package: Elk (Extension Language Kit) version: 2.2 parts: interpreter, libraries author: Oliver Laumann , Carsten Bormann how to get: ftp pub/unix/languages/scheme/elk-2.2.tar.gz from ftp.fu-berlin.de N.America: ftp contrib/elk-2.2.tar.gz from ftp.x.org description: Elk is a Scheme interpreter designed to be used as a general extension language. + interfaces to Xlib, Xt, and various widget sets. + dynamic loading of extensions + almost all artificial limitations removed + generational/incremental garbage collector + Unix system call extensions + Records (structures) + bitstrings conformance: Mostly R3RS compatable. ports: unix, ultrix, vax, sun3, sun4, 68k, i386, mips, ibm rt, rs6000, hp700, sgi, sony, DOS (gcc+DJGPP or go32) updated: 1994/2/15 language: Scheme package: ezd - easy drawing for programs on X displays version: 15mar93 parts: interpreter/server author: ? how to get: ftp pub/DEC/ezd/* from gatekeeper.dec.com description: Ezd is a graphics server that sits between an application program and the X server and allows both existing and new programs easy access to structured graphics. Ezd users have been able to have their programs produce interactive drawings within hours of reading the man page. Structured graphics: application defined graphical objects are ordered into drawings by the application. Loose coupling to the application program: unlike most X tools, ezd does not require any event handling by the application. The ezd server mantains window contents. When an event occurs on such an object, an application supplied Scheme expression is evaluated. contact: Joel Bartlett ? updated: 1993/03/10 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: 1992/02/02 language: Scheme package: Fools' Lisp version: 1.3.2 parts: ? 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: 1991/10/31 language: Scheme package: Scheme88 version: ? parts: ? author: ? how to get: ftp pub/scheme/* from nexus.yorku.ca description: ? contact: ? updated: ? language: Scheme package: UMB Scheme version: ? parts: ?, editor, debugger author: William Campbell how to get: ftp pub/scheme/* from nexus.yorku.ca description: ? conformance: R4RS Scheme ports: ? updated: ? language: Scheme package: PseudoScheme version: 2.8 parts: translator(Common Lisp) author: Jonathan Rees how to get: ? description: ? conformance: R3RS except call/cc. requires: Common Lisp ports: Lucid, Symbolics CL, VAX Lisp, Explorer CL announcements: info-clscheme-request@mc.lcs.mit.edu updated: ? language: Scheme package: SOS (Scheme Object System) version: ? author: Chris Hanson ? parts: ? how to get: ftp archive/cph/sos.tar.gz from altdorf.ai.mit.edu description: ? update: ? language: Scheme package: Similix version: 5.0 parts: partial evaulator, debugger author: Anders Bondorf how to get: ftp pub/diku/dists/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: extension of large subset of R4RS Scheme. requires: Scheme ports: Scm, Chez Scheme portability: high contact: Anders Bondorf updated: 1993/05/18 language: Scheme package: syntax-case version: 2.1 parts: macro system, documentation author: R. Kent Dybvig how to get: ftp pub/scheme/syntax-case.tar.Z from iuvax.cs.indiana.edu Macintosh: /pub/mac/gambit/ from maya.dei.unipd.it. 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. reference: + 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, Mac port runs under MacGambit 2.0 updated: 1992/07/06 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: 1992/08/10 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 description: ? updated: ? language: Scheme package: Psd (Portable Scheme Debugger) version: 1.1 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 restriction: GNU GPL requires: R4RS compliant Scheme, GNU Emacs. ports: scm, Elk, Scheme->C updated: 1992/10/08 language: Scheme package: Tiny Clos version: first release parts: ? author: ? how to get: ftp pub/mops/* from parcftp.xerox.com description: A core part of CLOS (Common Lisp Object System) ported to Scheme and rebuilt using a MOP (Metaobject Protocol). This should be interesting to those who want to use MOPs without using a full Common Lisp or Dylan. ports: MIT Scheme 11.74 discussion: mailing list: mops, administered by gregor@parc.xerox.com contact: Gregor Kiczales updated: 1992/12/14 language: Scheme package: VSCM version: II Nov9 parts: runtime, bytecode compiler author: Matthias Blume how to get: ftp pub/scheme/imp/vscmII*.tar.Z from nexus.yorku.ca de: ftp pub/scheme/yorku/imp/vscmII* from faui80.informatik.uni-erlangen.de uk: ftp pub/uunet/languages/lisp/scheme/repository/imp/vscmII* from unix.hensa.ac.uk description: VSCM is a highly portable implementation of Scheme, written in ANSI C and Scheme. Portability is achieved by exlusive use of legal ANSI C features -- as opposed to a plethora of #ifdef's to adjust to various system peculiarities. (Of course, in real life ANSI C doesn't guarantee portability per se, because there are too many systems with broken compilers or broken libraries.) features: exception and interrupt handling, executable portable memory images, coroutines, continuations with multiple arguments conformance: R4RS, IEEE P1178 ports: Unix, Macintosh portability: very high status: actively developed discussion: comp.lang.scheme updated: 1993/11/09 language: Scheme package: PSI version: pre-release parts: interpreter, virtual machine author: Ozan Yigit , David Keldsen, Pontus Hedman how to get: from author description: I am looking for a few interested language hackers to play with and comment on a scheme interpreter. I would prefer those who have been hacking portable [non-scheme] interpreters for many years. The interpreter is PSI, a portable scheme interpreter that includes a simple dag compiler and a virtual machine. It can be used as an integrated extension interpreter in other systems, allows for easy addition of new primitives, and it embodies some other interesting ideas. There are some unique[2] code debug/trace facilities, as well, acceptable performance resulting from a fairly straight-forward implementation. Continuations are fully and portably supported, and perform well. PSI is based on the simple compilers/vm in Kent Dbyvig's thesis. conformance: R^4RS compatible with a number of useful extensions. updated: 1993/02/19 language: Scheme package: Bigloo version: 1.4 parts: interpreter, compiler(->ANSI C), runtime author: Manuel Serrano how to get: ftp INRIA/Projects/icsla/Implementations/bigl* from ftp.inria.fr description: The main goal of Bigloo is to deliver small and fast stand alone applications. features: Optimization supported. conformance: IEEE Scheme standard with some extensions for regex handling ports: sun, sony news, sgi, linux, hp-ux portability: very high for unix systems updated: 1993/09/08 language: Scheme package: Scheme84 version: ? parts: ? author: ? 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: ? requires: VAX, Franz Lisp, VMS or BSD contact: nlg@indiana.edu updated: ? language: Scheme iref: (Pascal) Tim Budd's C++ implementation of Kamin's interpreters --Wirth family languages ------------------------------------------------------------------------------ --category: Wirth family languages --description: These are the langauges that were either designed by Nikolas -- Wirth are are descended from them. [if you think these should -- be folded in to the compiled, imperative langauges section, let -- me know --ed.] --lref: IFP -- --language: CLU --iref: (Pascal) Tim Budd's C++ implementation of Kamin's interpreters -- language: Modula-2, Pascal package: m2 version: ? 7/2/92 ? parts: ? compiler ? author: Michael L. Powell. See description below. how to get: ftp pub/DEC/Modula-2/m2.tar.Z from gatekeeper.dec.com 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. It was originally designed and built by Michael L. Powell, in 1984. Joel McCormack made it faster, fixed lots of bugs, and swiped/wrote a User's Manual. Len Lattanzi ported it to the MIPS. 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 restriction: must pass changes back to Digital ports: vax (ultrix, bsd), mips (ultrix) contact: modula-2@decwrl.pa.dec.com updated: 1992/07/06 language: Modula-2 package: Ulm's Modula-2 System version: 2.2.1 parts: compiler, library, tools author: Andreas Borchert compiler derived from the ETHZ compiler for the Lilith system how to get: ftp pub/soft/modula/ulm/sun3/modula-2.2.1.tar.Z from titania.mathematik.uni-ulm.de. Please get the READ_ME too. description: ? conformance: PIM3 restriction: commercial use requires licence; compiler sources available by separate licence agreement (licence fee is not required if it is possible to transfer the sources across the network) requires: gas-1.36 (to be found in the same directory) ports: Sun3, Nixdorf Targon/31, Concurrent 3200 Series contact: Andreas Borchert updated: 1992/03/02 language: Modula-2 package: mtc version: ? parts: translator(C) author: ? how to get: ftp soft/unixtools/compilerbau/mtc.tar.Z from rusmv1.rus.uni-stuttgart.de description: ? ports: ? updated: 1991/10/25 language: Modula-2, Modula-3 package: M2toM3 version: 1.01 parts: translator(Modula-2 -> Modula-3), libraries author: Peter Klein how to get: ftp pub/Modula3 from martha.informatik.rwth-aachen.de description: M2toM3 is a simple Modula-2 to Modula-3 translator which covers most of the syntactic differences between those languages. No context sensitive analysis is done, so WITH statements, local modules, enumeration type literals and variant RECORDS have to be dealt with by hand. Part of the SUN Modula 2 library is emulated by the Modula 3 library requires: a Modula-3 system updated: 1992/12 language: pm2 package: PRAM emulator and parallel modula-2 compiler ?? version: ? parts: compiler, emulator author: ? how to get: ftp pub/pram/* from cs.joensuu.fi description: A software emulator for parallel random access machine (PRAM) and a parallel modula-2 compiler for the emulator. A PRAM consists of P processors, an unbounded shared memory, and a common clock. Each processor is a random access machine (RAM) consisting of R registers, a program counter, and a read-only signature register. Each RAM has an identical program, but the RAMs can branch to different parts of the program. The RAMs execute the program synchronously one instruction in one clock cycle. pm2 programming language is Modula-2/Pascal mixture having extensions for parallel execution in a PRAM. Parallelism is expressed by pardo-loop- structure. Additional features include privat/shared variables, two synchronization strategies, load balancing and parallel dynamic memory allocation. contact: Simo Juvaste updated: 1993/02/17 language: Modula-3 package: SRC Modula-3 version: 2.11 parts: compiler(->C), runtime, library, documentation author: ? how to get: ftp pub/DEC/Modula-3/m3-*.tar.Z from gatekeeper.dec.com MS-DOS: ftp pub/DEC/Modula-3/contrib/m3pc* 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. conformance: implements the language defined in SPwM3. ports: i386/AIX 68020/DomainOS Acorn/RISCiX MIPS/Ultrix 68020/HP-UX RS6000/AIX IBMRT/4.3 68000/NextStep i860/SVR4 SPARC/SunOS 68020/SunOS sun386/SunOS Multimax/4.3 VAX/Ultrix discussion: comp.lang.modula3 contact: Bill Kalsow updated: 1992/02/09 language: Oberon2 package: Oberon-2 LEX/YACC definition version: 1.4 parts: parser(yacc), scanner(lex) author: Stephen J Bevan how to get: ftp pub/oberon/tools/o2lexyac.tar.Z from ftp.psg.com or mail bevan@cs.man.ac.uk with Subject "b-server-request~ and body "send oberon/oberon_2_p_v1.4.shar" description: A LEX and YACC grammar for Oberon 2 based on the one given in the listed reference. reference: The Programming Language Oberon-2 H. M\"{o}ssenb\"{o}ck, N. Wirth Institut f\"{u}r Computersysteme, ETH Z\"{u}rich January 1992 ftp Oberon/Docu/Oberon2.Report.ps.Z from neptune.inf.ethz.ch restriction: Portions of the source under copyright by U. Manchester. status: un-officially supported updated: 1992/07/06 language: Oberon package: Ceres workstation Oberon System version: ? parts: compiler author: ? how to get: ftp Oberon/? from neptune.ethz.ch description: file format is Oberon, binary header status: The sources to the various _full_ implementations are indeed not available but the source to most of the complete Ceres workstation Oberon System, including NS32032 code generator but less low level system specific is available. This includes the complete Oberon compiler written in Oberon. updated: ? language: Parallaxis package: parallaxis version: 2.0 parts: ?, simulator, x-based profiler author: ? how to get: ftp pub/parallaxis from ftp.informatik.uni-stuttgart.de description: Parallaxis is a procedural programming language based on Modula-2, but extended for data parallel (SIMD) programming. The main approach for machine independent parallel programming is to include a description of the virtual parallel machine with each parallel algorithm. ports: MP-1, CM-2, Sun-3, Sun-4, DECstation, HP 700, RS/6000 contact: ? Thomas Braunl ? updated: 1992/10/23 language: Pascal package: p2c version: 1.20 parts: translator(Pascal->C) author: Dave Gillespie how to get: ftp ? from csvax.cs.caltech.edu description: ? conformance: supports ANSI/ISO standard Pascal as well as substantial subsets of HP, Turbo, VAX, and many other Pascal dialects. ports: ? updated: 1990/04/13 language: Pascal package: Pascal P4 compiler and interpreter version: ? 1 parts: compiler, assembler/interpreter, documentation author: Urs Ammann, Kesav Nori, Christian Jacobi how to get: ftp pascal/* from ftp.cwi.nl description: A compiler for Pascal written in Pascal, producing an intermediate code, with an assembler and interpreter for the code. reference: Pascal Implementation, by Steven Pemberton and Martin Daniels, published by Ellis Horwood, Chichester, UK (an imprint of Prentice Hall), ISBN: 0-13-653-0311. Also available in Japanese. contact: Steven.Pemberton@cwi.nl updated: 1993/07/05 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 package: pasos2 version: Alpha parts: Compiler, run-time library author: Willem Jan Withagen how to get: ftp pub/src/pascal/pasos2* from ftp.eb.ele.tue.nl description: a PASCAL/i386 compiler which generates code for OS/2 and DOS. It uses EMX as DOS extender and GNU/GAS, MASM or TASM as assembler. updated: 1993/12/17 language: Pascal package: ptc version: ? parts: translator(Pascal->C) author: ? how to get: ftp languages/ptc from uxc.sco.uiuc.edu ? (use archie?) description: ? contact: ? updated: ? language: Turbo Pascal, Turbo C package: tptc version: ? parts: translator(Turbo Pascal->Turbo C) author: ? how to get: ftp mirrors/msdos/turbopas/tptc17*.zip from wuarchive.wustl.edu description: (It does come with full source and a student recently used it as a start for a language that included stacks and queues as a built-in data type. contact: ? updated: ? language: Pascal iref: (Pascal) Tim Budd's C++ implementation of Kamin's interpreters -- --logic programming languages ------------------------------------------------------------------------------- --category: logic programming languages --description: langauges designed to manipulate logic predicates. Often -- used to build expert systems -- language: BABYLON (Prolog variant???) package: BABYLON version: ? parts: development environment author: ? how to get: ftp gmd/ai-research/Software/* from gmdzi.gmd.de description: BABYLON is a development environment for expert systems. It includes frames, constraints, a prolog-like logic formalism, and a description language for diagnostic applications. requires: Common Lisp ports: many ? contact: ? updated: ? language: Goedel package: Goedel version: 1.3 parts: book, compiler, user manual, system modules, example programs author: Jiwei Wang how to get: ftp pub/logic-prgm/goedel/? from ftp.cs.kuleuven.ac.be or ftp goedel/? from ftp.cs.bris.ac.uk description: An implementation of a significant subset of Goedel. Goedel is a declarative, general-purpose strongly-typed logic programming language. The type system is based on many-sorted logic with parametric polymorphism. Modularity is supported, as well as infinite precision arithmetic, limited constraint satisfaction, and finite sets. requires: SICStus Prolog version 2.1 #6 (or later). Run time system for SPARCstation provided, though. contact: goedel@compsci.bristol.ac.uk status: completing development over the next year. updated: 1993/06/30 language: Janus package: qdjanus version: 1.3 parts: translator(prolog) author: Saumya Debray how to get: ftp janus/qdjanus/* from cs.arizona.edu description: janus is a janus-to-prolog compiler meant to be used with Sicstus Prolog conformance: mostly compliant with "Programming in Janus" by Saraswat, Kahn, and Levy. updated: 1992/05/18 language: Janus package: jc version: 1.50 alpha parts: compiler(->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). jc is a _sequential_ implementation of a _concurrent_ language. bugs: jc-bugs@cs.arizona.edu ports: sun-4, sun-3, Sequent Symmetry status: jc is an experimental system, undergoing rapid development. It is in alpha release currently. discussion: janusinterest-request@parc.xerox.com updated: 1992/06/09 language: LIFE (Logic, Inheritance, Functions, and Equations) package: Wild_LIFE version: first-release parts: interpreter, manual, tests, libraries, examples author: Paradise Project, DEC Paris Research Laboratory. how to get: ftp pub/plan/Life.tar.Z from gatekeeper.dec.com. description: LIFE is an experimental programming language with a powerful facility for structured type inheritance. It reconciles styles from functional programming, logic programming, and object-oriented programming. LIFE implements a constraint logic programming language with equality (unification) and entailment (matching) constraints over order-sorted feature terms. The Wild_LIFE interpreter has a comfortable user interface with incremental query extension ability. It contains an extensive set of built-in operations as well as an X Windows interface. conformance: semantic superset of LOGIN and LeFun. Syntax is similar to prolog. bugs: life-bugs@prl.dec.com ports: MIPS-Ultrix portability: good in theory discussion: life-request@prl.dec.com contact: Peter Van Roy updated: 1992/12/14 language: Lolli (logic programming) package: Lolli version: ? parts: ? author: ? Josh Hodas ? how to get: ftp pub/Lolli/Lolli-07.tar.Z. from ftp.cis.upenn.edu description: Lolli is an interpreter for logic programming based on linear logic principles. Lolli can be viewed as a refinement of the the Hereditary Harrop formulas of Lambda-Prolog. All the operators (though not the higher order unification) of Lambda-Prolog are supported, but with the addition of linear variations. Thus a Lolli program distinguishes between clauses which can be used as many, or as few, times as desired, and those that must be used exactly once. requires: ML updated: 1992/11/08 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 ? reference: Steve Gregory, "Parallel Logic Programming in PARLOG", Addison-Wesely, UK, 1987 restriction: ? no source code ? ports: Sun-3 ? updated: ?? language: Prolog package: SB-Prolog version: 3.1 ? parts: ? author: interpreter how to get: ftp pub/sbprolog from sbcs.sunysb.edu description: ? restriction: GNU General Public License contact: ? warren@sbcs.sunysb.edu ? updated: ? language: Prolog package: XSB version: 1.2 parts: interpreter, preprocessor(HiLog), documentation author: XSB research group / SUNY at Stony Brook how to get: ftp pub/XSB/XSB.tar.Z from sbcs.sunysb.edu (130.245.1.15) description: XSB extends the standard functionality of Prolog (being a descendant of PSB- and SB-Prolog) to include implementations of OLDT (tabling) and HiLog terms. OLDT resolution is extremely useful for recursive query computation, allowing programs to terminate correctly in many cases where Prolog does not. HiLog supports a type of higher-order programming in which predicate symbols can be variable or structured. This allows unification to be performed on the predicate symbols themselves in addition to the arguments of the predicates. Of course, Tabling and HiLog can be used together. ports: Sun, Solaris, NeXT, Linux, 386 BSD, IRIX, HP-UX portability: Generally to 32-bit machines. contact: xsb-contact@cs.sunysb.edu updated: 1993/07/28 language: Prolog package: Modular SB-Prolog version: ? parts: interpreter author: ? how to get: ftp pub/dts/mod-prolog.tar.Z from ftp.dcs.ed.ac.uk description: SB-Prolog version 3.1 plus modules restriction: GNU General Public License ports: Sparc contact: Brian Paxton updated: ? language: ALF [prolog variant] package: alf (Algebraic Logic Functional programming language) version: ? parts: runtime, compiler(Warren Abstract Machine) author: Rudolf Opalla how to get: ftp pub/programming/languages/LogicFunctional from ftp.germany.eu.net description: ALF is a language which combines functional and logic programming techniques. The foundation of ALF is Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming. Since ALF is an integration of both programming paradigms, any functional expression can be used in a goal literal and arbitrary predicates can occur in conditions of equations. updated: 1992/10/08 language: CLP (Constraint Logic Programming language) [Prolog variant] package: CLP(R) version: 1.2 parts: runtime, compiler(byte-code), contstraint solver author: IBM how to get: mail to Joxan Jaffar description: CLP(R) is a constraint logic programming language with real-arithmetic constraints. The implementation contains a built-in constraint solver which deals with linear arithmetic and contains a mechanism for delaying nonlinear constraints until they become linear. Since CLP(R) subsumes PROLOG, the system is also usable as a general-purpose logic programming language. There are also powerful facilities for meta programming with constraints. Significant CLP(R) applications have been published in diverse areas such as molecular biology, finance, physical modelling, etc. We are distributing CLP(R) in order to help widen the use of constraint programming, and to solicit feedback on the system restriction: free for academic and research purposes only ports: unix, msdos, OS/2 contact: Roland Yap , Joxan Jaffar updated: 1992/10/14 language: Prolog (variant) package: Aditi version: Beta Release parts: interpreter, database author: Machine Intelligence Project, Univ. of Melbourne, Australia how to get: send email to aditi@cs.mu.oz.au description: The Aditi Deductive Database System is a multi-user deductive database system. It supports base relations defined by facts (relations in the sense of relational databases) and derived relations defined by rules that specify how to compute new information from old information. Both base relations and the rules defining derived relations are stored on disk and are accessed as required during query evaluation. The rules defining derived relations are expressed in a Prolog-like language, which is also used for expressing queries. Aditi supports the full structured data capability of Prolog. Base relations can store arbitrarily nested terms, for example arbitrary length lists, and rules can directly manipulate such terms. Base relations can be indexed with B-trees or multi-level signature files. Users can access the system through a Motif-based query and database administration tool, or through a command line interface. There is also in interface that allows NU-Prolog programs to access Aditi in a transparent manner. Proper transaction processing is not supported in this release. ports: Sparc/SunOS4.1.2 Mips/Irix4.0 contact: updated: 1992/12/17 language: Lambda-Prolog package: Prolog/Mali (PM) version: ? 6/23/92 ? parts: compiler(->C), linker, libraries, runtime, documentation author: Pascal Brisset how to get: ftp pm/* from ftp.irisa.fr 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. reference: + 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: prolog-mali-request@irisa.fr contact: pm@irisa.fr updated: 1992/07/06 language: Prolog (variant) package: CORAL version: ? parts: interpreter, interface(C++), documentation author: ? how to get: ftp ? from ftp.cs.wisc.edu description: The CORAL deductive database/logic programming system was developed at the University of Wisconsin-Madison. The CORAL declarative language is based on Horn-clause rules with extensions like SQL's group-by and aggregation operators, and uses a Prolog-like syntax. * Many evaluation techniques are supported, including bottom-up fixpoint evaluation and top-down backtracking. * A module mechanism is available. Modules are separately compiled; different evaluation methods can be used in different modules within a single program. * Disk-resident data is supported via an interface to the Exodus storage manager. * There is an on-line help facility requires: AT&T C++ 2.0 (G++ soon) ports: Decstation, Sun4 updated: 1993/01/29 language: Prolog package: BinProlog version: 1.71 parts: interpreter?, documentation author: ? how to get: ftp BinProlog/* from clement.info.umoncton.ca description: BinProlog 1.71 is at this time probably the fastest freely available C-emulated Prolog. ports: IBM-PC/386, Sun-4, Sun-3, NeXT contact: Paul Tarau updated: 1993/04/03 language: Prolog package: SWI-Prolog version: 1.7.2 parts: ? author: Jan Wielemaker how to get: ftp pub/SWI-Prolog from swi.psy.uva.nl OS/2: ftp pub/toolw/SWI/* from mpii02999.ag2.mpi-sb.mpg.de description: ? conformance: superset features: "very nice Ed. style prolog, best free one I've seen" restriction: GNU General Public License 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); MSDOS (status unknown), OS/2 status: activly developed discussion: prolog-request@swi.psy.uva.nl contact: (OS/2) Andreas Toenne updated: 1993/07/23 language: Prolog package: Frolic version: ? parts: ? author: ? how to get: ftp pub/frolic.tar.Z from cs.utah.edu description: ? requires: Common Lisp contact: ? updated: 1991/11/23 language: Prolog package: ? Prolog package from the University of Calgary ? version: ? parts: ? author: ? how to get: ftp pub/prolog1.1/prolog11.tar.Z from cpsc.ucalgary.ca description: + delayed goals + interval arithmetic requires: Scheme portability: relies on continuations contact: ? updated: ? language: Prolog package: ? slog ? version: ? parts: translator(Prolog->Scheme) author: dorai@cs.rice.edu 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 description: ? requires: ZetaLisp contact: ? updated: ? language: Prolog package: Open Prolog version: ? parts: ? author: ? how to get: ftp languages/open-prolog/* from grattan.cs.tcd.ie description: ? ports: Macintosh contact: Michael Brady updated: ? language: Prolog package: UPMAIL Tricia Prolog version: ? parts: ? author: ? how to get: ftp pub/Tricia/README from ftp.csd.uu.se description: ? contact: updated: ? language: Prolog package: ?; ? (two systems) version: ?; ? parts: ?; ? author: ? how to get: ftp ai.prolog/Contents from aisun1.ai.uga.edu description: ?; ? ports: MSDOS, Macintosh; MSDOS contact: Michael Covington updated: ?; ? language: Prolog package: XWIP (X Window Interface for Prolog) version: 0.6 parts: library author: ? how to get: ftp contrib/xwip-0.6.tar.Z from export.lcs.mit.edu description: It is a package for Prologs following the Quintus foreign function interface (such as SICStus). It provides a (low-level) Xlib style interface to X. The current version was developed and tested on SICStus 0.7 and MIT X11 R5 under SunOS 4.1.1. portability: It is adaptable to many other Unix configurations. contact: xwip@cs.ucla.edu updated: 1993/02/25 language: Prolog package: PI version: ? parts: library author: ? how to get: ftp pub/prolog/ytoolkit.tar.Z from ftp.ncc.up.pt description: PI is a interface between Prolog applications and XWindows that aims to be independent from the Prolog engine, provided that it has a Quintus foreign function interface (such as SICStus, YAP). It is mostly written in Prolog and is divided in two libraries: Edipo - the lower level interface to the Xlib functions; and Ytoolkit - the higher level user interface toolkit contact: Ze' Paulo Leal updated: 1993/03/02 language: Prolog package: ISO draft standard version: ? (What year??) parts: language definition author: ? how to get: ftp ? from ftp.th-darmstadt.de description: ? updated: 1992/07/06 language: Prolog iref: (Pascal) Tim Budd's C++ implementation of Kamin's interpreters language: OPS5 package: PD OPS5 version: ? parts: interpreter author: Written by Charles L. Forgy and ported to Common Lisp by George Wood and Jim Kowalski. how to get: ftp /afs/cs.cmu.edu/user/mkant/Public/Lisp/ops5* from ftp.cs.cmu.edu description: Public domain implementation of an OPS5 interpreter. OPS5 is a programming language for rule-based production systems. A rule consists of pre-condition(s) and the resulting action. The system as a whole acts first checking the status of system in its working memory and matches the rules to see if there are rules that are satisfied, and then the action in one selected satisfied rule is executed. There is a commercial version available called OPS83. Please contact the author for information. requires: Common Lisp contact: ? Mark Kantrowitz ? updated: 1992/10/17 --concurrent, parallel, and simulation languages ------------------------------------------------------------------------------- --category: concurrent, parellel, and simulation languages --description: This is a fairly broad category of languages. Most of the -- implementations in this set are not good enough to be used in -- production systems. Some are. In addition to those listed -- below, see: --lref: Concurrent Clean --lref: Concurrent ML --lref: EuLisp --lref: Parallaxis --lref: Maisie --lref: micro-C++ --lref: MeldC --lref: pm2 -- language: ABCL/1 (An object-Based Concurrent Language) package: ABCL/1 version: ? parts: ? author: Akinori Yonezawa, ABCL Group now at Department of Information Science, the University of Tokyo how to get: ftp pub/abcl1/* from camille.is.s.u-tokyo.ac.jp description: Asynchronous message passing to objects. reference: "ABCL: An Object-Oriented Concurrent System", Edited by Akinori Yonezawa, The MIT Press, 1990, (ISBN 0-262-24029-7) restriction: no commercial use, must return license agreement requires: Common Lisp contact: abcl@is.s.u-tokyo.ac.jp updated: 1990/05/23 language: ABCL ??? package: ABCL/R2 version: ? parts: ? author: masuhara@is.s.u-tokyo.ac.jp, matsu@is.s.u-tokyo.ac.jp, takuo@is.s.u-tokyo.ac.jp, yonezawa@is.s.u-tokyo.ac.jp how to get: ftp pub/abclr2/* from camille.is.s.u-tokyo.ac.jp description: ABCL/R2 is an object-oriented concurrent reflective language based on Hybrid Group Architecture. As a reflective language, an ABCL/R2 program can dynamically control its own behavior, such as scheduling policy, from within user-program. An an object-oriented concurrent language, this system has almost all functions of ABCL/1. requires: Common Lisp updated: 1993/01/28 language: ALLOY package: ALLOY version: 2.0? parts: interpreter, documentation, examples author: Thanasis Mitsolides how to get: ftp pub/local/alloy/* from cs.nyu.edu description: ALLOY is a higher level parallel programming language appropriate for programming massively parallel computing systems. It is based on a combination of ideas from functional, object oriented and logic programming languages. The result is a language that can directly support functional, object oriented and logic programming styles in a unified and controlled framework. Evaluating modes support serial or parallel execution, eager or lazy evaluation, non-determinism or multiple solutions etc. ALLOY is simple as it only requires 29 primitives in all (half of which for Object Oriented Programming support). ports: sparc, ? updated: 1991/06/11 language: Cellang (Cellular Automata) package: Cellular version: 2.0 parts: byte-code compiler, runtime, viewer author: J Dana Eckart how to get: comp.sources.unix, volume 26 description: A system for cellular automata programming. updated: 1993/04/03 language: Hermes package: IBM Watson prototype Hermes system version: 0.8alpha patchlevel 01 parts: bytecode compiler, compiler(bytecode->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: 1992/03/22 language: PCN package: PCN version: 2.0 parts: compiler?, runtime, linker, libraries, tools, debugger, profiler, tracer author: Ian Foster , Steve Tuecke , and others how to get: ftp pub/pcn/pcn_v2.0.tar.Z from info.mcs.anl.gov description: PCN is a parallel programming system designed to improve the productivity of scientists and engineers using parallel computers. It provides a simple language for specifying concurrent algorithms, interfaces to Fortran and C, a portable toolkit that allows applications to be developed on a workstation or small parallel computer and run unchanged on supercomputers, and integrated debugging and performance analysis tools. PCN was developed at Argonne National Laboratory and the California Institute of Technology. It has been used to develop a wide variety of applications, in areas such as climate modeling, fluid dynamics, computational biology, chemistry, and circuit simulation. ports: (workstation nets): Sun4, NeXT, RS/6000, SGI (multicomputers): iPSC/860, Touchstone DELTA (shared memory multiprocessors): Symmetry/Dynix contact: updated: 1993/02/12 language: LOOPN package: LOOPN version: ? parts: compiler?, simulator author: ? how to get: ftp departments/computer_sci*/loopn.tar.Z from ftp.utas.edu.au description: I wish to announce the availability of a compiler, simulator and associated source control for an object-oriented petri net language called LOOPN. In LOOPN, a petri net is an extension of coloured timed petri nets. The extension means firstly that token types are classes. In other words, they consist of both data fields and functions, they can be declared by inheriting from other token types, and they can be used polymorphically. The object-oriented extensions also mean that module or subnet types are classes. LOOPN has been developed over a period of about 5 years at the University of Tasmania, where it has been used in teaching computer simulation and the modelling of network protocols. A petri net is a directed, bipartite graph; nodes are either places (represented by circles) or transitions (represented by rectangles). A net is marked by placing tokens on places. When all the places pointing to a transition (the input places) have a token, the net may be fired by removing a token from each input place and adding a token to each place pointed to by the transition (the output places). Petri nets are used to model concurrent systems, particularly in the network protocol area. contact: Charles Lakos updated: 1992/12/20 language: Simula package: Lund Simula version: 4.07 parts: ? 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: 1992/05/22 language: SR (Synchronizing Resources) package: sr version: 2.0 parts: ?, documentation, tests author: ? how to get: ftp sr/sr.tar.Z from cs.arizona.edu description: SR is a language for writing concurrent programs. The main 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 ports: Sun-4, Sun-3, Decstation, SGI Iris, HP PA, HP 9000/300, NeXT, Sequent Symmetry, DG AViiON, RS/6000, Multimax, Apollo, and others. discussion: info-sr-request@cs.arizona.edu contact: sr-project@cs.arizona.edu updated: 1992/09/01 language: UNITY package: MasPar Unity version: 1.0 parts: translator(UNITY->MPL), documentation author: Martin Huber, University of Karlsruhe, Germany how to get: ftp pub/maspar/maspar_unity* from SanFrancisco.ira.uka.de description: ? contact: Lutz Prechelt updated: ? language: UNITY package: HOL-UNITY version: 2.1 parts: verification tool author: ? how to get: ? description: ? contact: Flemming Andersen ? updated: ? --Forth family languages ------------------------------------------------------------------------------- --category: Forth family languages --description: These are the stack-based postfix languages. --lref: Postscript --iref: (mc6809) 6809, E-Forth -- language: Forth package: TILE Forth version: 2.1 parts: interpreter author: Mikael Patel how to get: ftp tile-forth-2.1.tar.Z from a GNU archive site description: Forth interpreter in C; many Forth libraries conformance: Forth83 restriction: shareware/GPL ports: unix updated: 1991/11/13 language: Forth package: cforth version: ? parts: interpreter author: ? how to get: comp.sources.unix archive volume 1 description: ? updated: ? language: Forth package: pfe (Portable Forth Environment) version: 0.8.0 parts: ? author: Dirk Zoller how to get: ftp pub/unix/languages/pfe* from duz@roxi.rz.fht-mannheim.de description: A Forth development system that tries to be correct, complete, portable, usable and simple. It doesn't try too hard to be fast. conformance: all dpANS word sets ports: Linux, RS/6000, HP-UX portability: high updated: 1993/08/11 language: Forth package: F68K version: ? parts: ? author: ? how to get: ftp atari/Languages/f68k.* from archive.umich.edu description: a portable Forth system for Motorola 68k computers ports: Atari ST/TT, Amiga, Sinclair QL and OS9 portability: very high for 68000 based systems contact: Joerg Plewe updated: 1992/12/14 language: Forth package: 51forth version: ? parts: ? author: Scott Gehmlich how to get: ftp giovanni/51forth.zip from [130.123.96.9] description: source and documentation for a 8051 subroutine- threaded forth contact: ? updated: 1993/04/03 language: Mops package: Mops version: 2.3.1 parts: compiler, documentation, editor author: Michael Hore how to get: ftp pub/Yerk/? from oddjob.uchicago.edu description: Like Yerk, Mops is descended from the ex-commercial object-oriented language Neon. Mops features an optimizing native-code compiler; it is much faster than Yerk, but less compatible with Neon. Mops includes extensions such as multiple inheritance. ports: Macintosh language: Kevo (Forth-like) package: kevo version: 0.9b6 parts: interpreter, demo programs, user's guide, papers author: Antero Taivalsaari how to get: ftp /pub/kevo/* from cs.uta.fi description: Kevo is a prototype-based object-oriented language for Macintosh Kevo features a unique prototype-based object model (which is based neither on classes nor Self-style delegation), multitasking (both preemptive and cooperative), dynamic memory management, and an icon-based object browser and editor modeled loosely after Mac Finder. Kevo has been built around a portable threaded code interpreter, and is syntactically a close derivative of Forth. ports: Macintosh contact: kevo-interest@ursamajor.uvic.ca updated: 1993/05/18 language: Yerk package: Yerk version: 3.62 parts: ? author: ? 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. updated: ? -- --compiler generators and related tools --------------------------------------------------------------------------------- --category: compiler generators and related tools --description: Yacc, and the rest of its family -- language: ABC package: Grammar analysis tools version: 1 parts: analysis tools, samples, documentation author: Steven Pemberton how to get: ftp programming/languages/abc/examples/grammar/* from ftp.eu.net or ftp.nluug.net description: Grammar analysis program written in ABC (q.v.) for answering such questions as "what are the start symbols of all rules", "what symbols can follow this symbol", "which rules are left recursive", and so on. Includes a grammar of ISO Pascal. reference: Ftp archive includes an article explaining the package. ports: unix, MSDOS, atari, mac contact: Steven.Pemberton@cwi.nl updated: 1993/07/05 language: ? attribute grammar ? package: Alpha version: pre-release parts: semantic-analysis generator?, documentation(german) author: Andreas Koschinsky how to get: from author description: I have written a compiler generator. The generator is called Alpha and uses attribute grammars as specification calculus. Alpha is the result of a thesis at Technische Universitaet Berlin. I am looking for someone who would like to test and use Alpha. Alpha generates compilers from a compiler specification. This specification describes a compiler in terminology of attribute grammars. Parser and Scanner are generated by means of Bison and Flex. Alpha generates an ASE-evaluator (Jazayeri and Walter). The documentation is in german since it is a thesis at a german university. updated: 1993/02/16 language: attribute-grammar extension of Yacc and Lex package: Ox version: G1.01 parts: Yacc/Lex/C preprocessor, tutorial, reference manual, man page, examples, Ox-ready parsers (C, C++, Pascal, Ada, Fortran) author: Kurt Bischoff how to get: ftp pub/ox/* from ftp.cs.iastate.edu description: Ox generalizes the function of Yacc in the way that attribute grammars generalize context-free grammars. Ordinary Yacc and Lex specifications may be augmented with definitions of synthesized and inherited attributes written in C syntax. Ox checks these specifications for consistency and completeness, and generates from them a program that builds and decorates attributed parse trees. Ox accepts a most general class of attribute grammars. The user may specify postdecoration traversals for easy ordering of side effects such as code generation. Ox handles the tedious and error-prone details of writing code for parse-tree management, so its use eases problems of security and maintainability associated with that aspect of translator development. Ox is a preprocessor, and extends the syntax and semantics of Yacc, Lex, and C. reference: Most compiler textbooks have descriptions of attribute grammars. features: LALR(1), semantic-analyzer generation. bugs: none known. Report bugs to ox-project@cs.iastate.edu. restriction: Use of Ox is free. Ox-generated code is the property of the Ox user. requires: yacc, lex ports: every kind of Unix contact: ox-request@cs.iastate.edu updated: 1993/11/14 language: BNF (Extended) package: Gray version: 3 parts: parser generator(Forth) author: Martin Anton Ertl how to get: author; version 2 is on various ftp sites 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: 1992/05/22 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: 1986/09/23 language: BNF ?? package: FMQ version: ? parts: paser generator w/error corrector generator author: Jon Mauney how to get: ftp from csczar.ncsu.edu description: ? status: ? contact: ? updated: 1990/03/31 language: BNF ?? package: ATS (Attribute Translation System) version: ? parts: ? 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. status: ? contact: ? (suggested: Dave Bocking ) updated: 1988/11/29 language: BNF (Extended) package: PCCTS (Purdue Compiler-Construction Tool Set) version: 1.10 parts: scanner generator, parser generator (LL(k)), documentation, tutorial author: Terence J. Parr , Will E. Cohen , Henry G. Dietz how to get: ftp pub/pccts/1.10 from marvin.ecn.purdue.edu UK: ftp computing/programming/languages/tools/pccts/* from src.doc.ic.ac.uk Macintosh: ftp pub/mac/* from maya.dei.unipd.it description: PCCTS is similar to a highly integrated version of YACC and LEX; where ANTLR (ANother Tool for Language Recognition) corresponds to YACC and DLG (DFA-based Lexical analyzer Generator) functions like LEX. However, PCCTS has many additional features which make it easier to use for a wide range of translation problems. PCCTS grammars contain specifications for lexical and syntactic analysis with selective backtracking ("infinite lookahead"), semantic predicates, intermediate-form construction and error reporting. Rules may employ Extended BNF (EBNF) grammar constructs and may define parameters, return values and local variables. Languages described in PCCTS are recognized via LL(k) parsers constructed in pure, human-readable, C code. Selective backtracking is available to handle non-LL(k) constructs. PCCTS parsers may be compiled with C++. Now includes SORCERER, a tree parser generator. See entry below. ports: Unix, DOS, OS/2, Macintosh portability: very high discussion: send mail with a body of "subscribe pccts-users your_name" to pccts-users-request@ahpcrc.umn.edu contact: Terence J. Parr Roberto Avanzi (mocenigo@maya.dei.unipd.it) (for the Mac port) updated: 1993/09/14 language: BNF (very extended), yacc package: PRE-CC Xtended version: 2.30 parts: library, parser generator (LL(oo)), translator(yacc->) author: Peter Breuer how to get: ftp pub/Programs/preccx230* from ftp.comlab.ox.ac.uk (later versions available by subscription) description: PRECCX is an infinite-lookahead compiler compiler for context dependent grammars. The generated code is ANSI C. Specification scripts are in very EBNF with inherited and synthetic attributes allowed. Scripts can be compiled in separate modules, and linked together later. Meta-production rules allowed. The technology is essentially LL(oo) with optimizations. A converter for yacc scripts is available. reference: "The PRECC Compiler-Compiler" by P.T. Breuer and J.P. Bowen. In E. Davies and A. Findlay (eds.), Proc. UKUUG/SUKUG Joint New Year 1993 Conference, St. Cross Centre, Oxford, UK, 6-8 January 1993, ISBN 1 873611 06 4 (UKUUG), 0 9520700 0 6 (SUKUG) UKUUG/SUKUG Secretariat, Owles Hall, Buntingford, Herts SG9 9PL, UK, pp 167-182, 1993. ports: unix, MS-DOS contact: Peter Breuer , Jonathan Bowen updated: 1992/08/25 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: 1990/03/31 language: BNF ?? package: wacco version: ? parts: parser generator author: ? how to get: comp.sources.misc volume ? description: LL(?) parser generator contact: ? updated: ? language: BNF (Extended), BNF (yacc), Modula-2 package: GMD Toolbox for Compiler Construction (aka Cocktail) version: 9209 parts: parser generator (LALR -> C, Modula-2), documentation, parser generator (LL(1) -> C, Modula-2), tests, scanner generator (-> C, Modula-2), tests translator (Extended BNF -> BNF), translator (Modula-2 -> C), translator (BNF (yacc) -> Extended BNF), examples abstract syntax tree generator, attribute-evaluator generator, code generator author: ? how to get: ftp pub/cocktail/dos from ftp.karlsruhe.gmd.de OS/2: ftp.eb.ele.tue.nl/pub/src/cocktail/dos-os2.zoo description: A huge set of compiler building tools. requires: (ms-dos only) DJ Delorie's DOS extender (go32) (OS/2 only) emx programming environment for OS/2 ports: msdos, unix, os/2 discussion: subscribe to Cocktail using listserv@eb.ele.tue.nl contact: Josef Grosch OS/2: Willem Jan Withagen updated: 1992/10/01 language: BNF ???? package: T-gen version: 2.1 parts: parser generator, documentation, ? author: Justin Graver how to get: ftp pub/st80_r41/T-gen2.1/* from st.cs.uiuc.edu description: T-gen is a general-purpose object-oriented tool for the automatic generation of string-to-object translators. It is written in Smalltalk and lives in the Smalltalk programming environment. T-gen supports the generation of both top-down (LL) and bottom-up (LR) parsers, which will automatically generate derivation trees, abstract syntax trees, or arbitrary Smalltalk objects. The simple specification syntax and graphical user interface are intended to enhance the learning, comprehension, and usefulness of T-gen. requires: Smalltalk-80 ports: ParcPlace Objectworks/Smalltalk 4.0 & 4.1 updated: 1992/10/18 language: BNF package: Eli Compiler Construction System version: 3.5 parts: ?, documentation author: ? how to get: ftp pub/cs/distribs/eli/* from ftp.cs.colorado.edu Europe: ftp unix/eli from ftp.uni-paderborn.de description: Eli integrates off-the-shelf tools and libraries with specialized language processors to generate complete compilers quickly and reliably. It simplifies the development of new special-purpose languages, implementation of existing languages on new hardware and extension of the constructs and features of existing languages. ports: Sun-4 (SunOS 4 & 5), Ultrix/MIPS, RS/6000, HP-UX, SGI, Linux discussion: contact: , updated: 1993/11/01 language: BNF (yacc) package: NewYacc version: 1.0 parts: parser generator, documenation author: Jack Callahan how to get: ftp src/newyacc.1.0.*.Z from flubber.cs.umd.edu description: [someone want to fill it in? --ed] reference: see Dec 89 CACM for a brief overview of NewYacc. updated: 1992/02/10 language: BNF (yacc) package: bison version: 1.22 parts: parser generator, documentation author: Robert Corbett ? how to get: ftp bison-1.16.tar.Z from a GNU archive site description: ? bugs: bug-gnu-utils@prep.ai.mit.edu restriction: !! will apply the GNU General Public License to *your* code !! ports: unix, atari, ? updated: 1993/09/14 language: BNF (yacc), Lex package: Bison++, Flex++ version: ? parts: parser generator, scanner generator, documentation, samples author: ? Alain Coetmeur how to get: ftp pub/file/{bison,flex,misc}++.tar.gz from iecc.com description: GNU's Yacc and Lex, retargeted to C++ updated: 1993/07/08 language: BNF (yacc) package: ? jaccl ? version: ? parts: parser generator author: Dave Jones how to get: ? description: a LR(1) parser generator updated: 1989/09/08 language: BNF (yacc) package: byacc (Berkeley Yacc) version: 1.9 parts: parser generator author: Robert Corbett how to get: ftp pub/byacc.tar.1.9.Z from vangogh.CS.Berkeley.EDU description: probably the best yacc variant around. Previously known as Zoo, and before that, as Zeus. updated: 1993/02/22 language: BNF (yacc), Lex package: Lex/Yacc for Turbo Pascal uploaded version: ? parts: parser generator, scanner generator, documentation? author: ? how to get: iecc.com (140.186.81.1) at pub/file/lyprg.zip. description: Lex and Yacc retargeted to Pascal. contact: ? dpoole@hydrogen.oscs.montana.edu (David Poole) updated: 1993/07/02 language: BNF (yacc), Ada package: aflex-ayacc version: 1.2a parts: parser generator (Ada), scanner generator (Ada) author: IRUS (Irvine Research Unit in Software) how to get: ftp pub/irus/aflex-ayacc_1.2a.tar.Z from liege.ics.uci.edu description: Lex and Yacc equivalents that produce Ada output announcements: irus-software-request@ics.uci.edu contact: irus-software-request@ics.uci.edu updated: 1993/01/06 language: BNF (variant), Icon package: Ibpag2 (Icon-Based Parser Generation System 2) version: 1.0 (beta) parts: parser generator (Icon, SLR(1)) author: Richard L. Goerwitz how to get: comp.sources.misc archive description: Ibpag2 is a parser generator for Icon. It does most of what you would expect. Latest version can handle both SLR(1) and even GLR (Tomita) grammars. ports: unix portability: ? (Unix dependencies?) updated: 1993/07/13 language: BNF ?, Gofer package: Ratatosk ? version: ? parts: parser generatr (Gofer) author: Torben AEgidius Mogensen how to get: ftp pub/diku/dists/Ratatosk.tar.Z from ftp.diku.dk description: Ratatosk is a SLR parser generator in Gofer (a Haskell variant) that generates purely functional parsers (also in Gofer). Even though the sematic value of a production is a function of the attributes of its right-hand side (and thus apparently purely synthesized), inherited attributes are easily simulated by using higher order functions. ports: ? updated: ? language: BNF package: lalr.ss - An LALR(1) parser generator version: 0.9 parts: parser generator (->Scheme) author: Mark Johnson how to get: ftp new/lalr.shar from the Scheme Repository description: A LALR(1) parser generator in and for Scheme. requires: Scheme updated: 1993/05/24 language: BURS ? package: Iburg version: ? parts: parser generator? author: Christopher W. Fraser , David R. Hanson , Todd A. Proebsting how to get: ftp pub/iburg.tar.Z from ftp.cs.princeton.edu description: Iburg is a program that generates a fast tree parser. It is compatible with Burg. Both programs accept a cost-augmented tree grammar and emit a C program that discovers an optimal parse of trees in the language described by the grammar. They have been used to construct fast optimal instruction selectors for use in code generation. Burg uses BURS; Iburg's matchers do dynamic programming at compile time. updated: 1993/02/10 language: Candle, IDL (Interface Description Language) package: Scorpion System version: 6.0 parts: software development environment for developing software development environments, documentation author: University of Arizona how to get: ftp scorpion/* from cs.arizona.edu description: 20 tools that can be used to construct specialized programming environments. 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 he was at the University of North Carolina. The Scorpion 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, Iris, Sequent, HP9000 discussion: info-scorpion-request@cs.arizona.edu contact: scorpion-project@cs.arizona.edu updated: 1993/11/04 language: COCOL (EBNF variant) package: COCO/R version: 1.34 parts: parser generator(LL(1)) author: Hanspeter Moessenboeck Port to Modula-2 done by Marc Brandis, Christof Brass and Pat Terry how to get: ftp Oberon/Examples/Coco from neptune.inf.ethz.ch Modula-2 versions exist as self extracting .EXE files for MS-DOS, and as tar.Z files for Unix. Get the Modula-2 version from: alpha.ru.ac.za:/pub/coco neptune.inf.ethz.ch:/Coco ftp.psg.com:/pub/modula-2/coco pluto.fit.qut.edu.au:/pub/coco or by mail server: To: server@ftp.psg.com from:
Subject: send pub/modula-2/coco/... description: Coco/R generates recursive descent parsers and their associated scanners from attributed grammars. Coco/R can bootstrap itself to generate its own driver, parser, scanner, and semantic evaluator from the attributed grammar CR.ATG. This grammar thus serves as an an example of how to write compiler descriptions for Coco. There are also other simpler examples showing its use. references: _A compiler generator for microcomputers_, by Rechenberg and Mossenbock (Prentice Hall, 1989, 0-13-155136-1) bugs: MS-DOS related versions: Pat Terry Other: Hanspeter Moessenboeck requires: Oberon or Modula-2 ports: MS-DOS: TopSpeed Modula-2; FST 2.0; FST 3.1; StonyBrook QuickMod 2.2; Logitech 3.03. Macintosh: Apple MacMeth status: Oberon version is freely available?, Modula-2 version is free to academic sites; commercial use requires a license updated: 1994/01/13 language: EAG (Extended Affix Grammar) package: EAG version: first public release parts: recognizer generator, transduccer generator, translator generator, editor generator, documentation author: Marc Seutter how to get: ftp pub/eag/* from hades.cs.kun.nl description: The Extended Affix Grammar formalism, or shortly EAG, is a formalism for describing both the context free and the context sensitive syntax of languages. EAG is a member of the family of two-level grammars. They are very closely related to two-level van Wijngaarden grammars. The EAG compiler will generate either a recognizer or a transducer or a translator or a syntax directed editor for a language described in the EAG formalism. [What's a tranducer? --ed] updated: 1993/09/14 language: lex package: flex version: 2.3.8 parts: scanner generator author: Vern Paxson how to get: ftp flex-2.3.8.tar.Z from a GNU archive site or ftp.ee.lbl.gov description: ? updated: ? language: Milarepa package: Milarepa Perl/BNF Parser version: Prototype 1.0 parts: parser-generator, examples, tutorial author: Jeffrey Kegler how to get: comp.lang.perl, direct by E-mail. The author is seeking an FTP site to hold the software. description: Milarepa takes a source grammar in the Milarepa language (a straightforward mix of BNF and Perl) and generates a Perl file, which, when enclosed in a simple wrapper, parses some third language described by the source grammar. This is intended to be a real hacker's parser. It is not restricted to LR(k), and the parse logic follows directly from the BNF. It handles ambiguous grammars, ambiguous tokens (tokens which were not positively identified by the lexer) and allows the programmer to change the start symbol. The grammar may not be left recursive. The input must be divided into sentences of a finite maximum length. There is no fixed distinction between terminals and non-terminals, that is, a symbol can both match the input AND be on the left hand side of a production. Multiple Marpa grammars are allowed in a single perl program. It's only a prototype primarily due to poor speed. This is intended to be remedied after Perl 5.0 is out. requires: perl updated: 1993/03/17 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: 1991/09/12 language: perl, yacc iref: (Perl) perl-byacc language: Relation Grammar package: rl version: ? parts: ? author: Kent Wittenburg how to get: fto rl/* from flash.bellcore.com description: The RL files contain code for defining Relational Grammars and using them in a bottom-up parser to recognize and/or parse expressions in Relational Languages. The approach is a simplification of that described in Wittenburg, Weitzman, and Talley (1991), Unification-Based Grammars and Tabular Parsing for Graphical Languages, Journal of Visual Languages and Computing 2:347-370. This code is designed to support the definition and parsing of Relational Languages, which are characterized as sets of objects standing in user-defined relations. Correctness and completeness is independent of the order in which the input is given to the parser. Data to be parsed can be in many forms as long as an interface is supported for queries and predicates for the relations used in grammar productions. To date, this software has been used to parse recursive pen-based input such as math expressions and flowcharts; to check for data integrity and design conformance in databases; to automatically generate constraints in drag-and-drop style graphical interfaces; and to generate graphical displays by parsing relational data and generating output code. requires: Common Lisp ports: Allegro Common Lisp 4.1, Macintosh Common Lisp 2.0 updated: 1992/10/31 language: S/SL (Syntax Semantic Language) package: ssl version: ? parts: parser bytecode compiler, runtime author: Rick Holt, Jim Cordy (language), Rayan Zachariassen (C implementation) 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: 1989/09/25 language: TXL package: TXL: Tree Transformation Language version: 7.4 parts: translator, documentation, tutorial, examples author: Jim Cordy how to get: ftp pub/txl/* from ftp.qucis.queensu.ca description: TXL is a language for performing source to source transformations and is well suited for rapidly prototyping new languages and language processors. It has also been used to prototype 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. TXL is a functional/rule-based hybrid programming language, using the paradigm of structural transformation. reference: Several listed in software documentation updated: 1993/08/04 language: BNF (extended) package: SORCERER: A Simple Tree Parser Generator version: 1.00B parts: translator, documentation, tutorial, examples author: Terence Parr how to get: ftp pub/pccts/sorcerer/* from marvin.ecn.purdue.edu Those with only email access, send a "Subject:" line of email sor.tar.Z.uu to parrt@acm.org. I will forward you a copy of the uuencoded, compressed, tar file. Other formats will be placed at your disposal in the future. description: from the announcement: SORCERER is more suitable for the class of translation problems lying between those solved by code-generator generators and by full source-to-source translator generators. SORCERER generates simple, flexible, top-down, tree parsers that, in contrast to code-generators, may execute actions at any point during a tree walk. SORCERER accepts extended BNF notation, allows predicates to direct the tree walk with semantic and syntactic context information, and does not rely on any particular intermediate form, parser generator, or other pre-existing application. discussion: mailing list: pccts-users@ahpcrc.umn.edu You can subscribe to the mailing list by sending mail to pccts-users-request@ahpcrc.umn.edu with a body of subscribe pccts-users your_name where your_name can be your name or your email address. help: from mailing list support: actively supported, from mailing list reference: Several listed in software documentation updated: 1994/02/15 --mathematical tools and languages ------------------------------------------------------------------------------- category: mathematical tools and languages --description: These are either special-purpose languages and tools, or -- general purpose langauges and tools that have traditionally -- been used for mathematical and scientific computing task. --lref: Fortran --lref: PCN --lref: CLP --lref: Sisal -- language: APL package: I-APL version: ? parts: ? author: ? how to get: ftp languages/apl/* from watserv1.waterloo.edu description: ? updated: 1992/07/06 language: APL package: APLWEB version: ? parts: translator(web->apl), translator(web->TeX) author: Dr. Christoph von Basum how to get: ftp languages/apl/aplweb/* from watserv1.uwaterloo.ca description: [Should this be listed with the Web entries? -- Ed.] updated: 1992/12/07 language: APL iref: (Pascal) Tim Budd's C++ implementation of Kamin's interpreters language: J package: J-mode version: ? parts: emacs macros author: ? how to get: ftp pub/j/gmacs/j-interaction-mode.el from think.com description: add on to J updated: 1991/03/04 language: RLaB language (math manipulation - MATLAB-like) package: RLaB version: 0.95 parts: interpreter, libraries, documentation author: Ian Searle how to get: ftp pub/RLaB/* from evans.ee.adfa.oz.au description: RLaB is a "MATLAB-like" matrix-oriented programming language/toolbox. RLaB focuses on creating a good experimental environment (or laboratory) in which to do matrix math Currently RLaB has numeric scalars and matrices (real and complex), and string scalars, and matrices. RLaB also contains a list variable type, which is a heterogeneous associative array. bugs: Ian Searle restriction: GNU General Public License requires: GNUPLOT, lib[IF]77.a (from f2c) ports: many unix, OS/2, Amiga updated: 1993/10/27 language: octave language (math manipulation - MATLAB-like) package: octave version: 1.0 parts: interpreter, libraries, documentation author: how to get: ftp /pub/octave/* from ftp.che.utexas.edu also, any GNU archive site (see archive listing below) description: from the announcement: Octave is a high-level language, primarily intended for numerical computations. It provides a convenient command line interface for solving linear and nonlinear problems numerically. Octave can do arithmetic for real and complex scalars and matrices, solve sets of nonlinear algebraic equations, integrate functions over finite and infinite intervals, and integrate systems of ordinary differential and differential-algebraic equations. bugs: bug-octave@che.utexas.edu restriction: GNU General Public License requires: gnuplot, C++ compiler and FORTRAN compiler or f2c translator. ports: several updated: 1994/2/23 language: FUDGIT language (math manipulation) package: FUDGIT version: 2.27 parts: interpreter author: Thomas Koenig ?? how to get: ftp /pub/linux/sources/usr.bin/fudgit-* from tsx-11.mit.edu ?? description: FUDGIT is a double-precision multi-purpose fitting program. It can manipulate complete columns of numbers in the form of vector arithmetic. FUDGIT is also an expression language interpreter understanding most of C grammar except pointers. Morever, FUDGIT is a front end for any plotting program supporting commands from stdin. It is a nice mathematical complement to GNUPLOT, for example. requires: GNUPLOT ports: AIX, HPUX, Linux, IRIX, NeXT, SunOS, Ultrix updated: 1993/02/22 language: Unix BC (arbitrary-precision arithmetic language) package: C-BC version: 1.1 parts: bytecode compiler, interpreter, documentation, examples author: Mark Hopkins how to get: alt.sources (10/04/93). description: A strongly typed version of BC with expanded C-like syntax, more base types, with ability to form array and pointer types of any dimension and to allocate/free arrays at run-time. conformance: Most POSIX-BC features supported, except functions must be declared consistently and declared before first use. String handling slightly different. reference: C-BC implementation notes contained with software documentation requires: ANSI-C compiler ports: DOS, Unix portability: No system dependent features present. updated: 1993/08/23 language: Unix BC (arbitrary-precision arithmetic language) package: GNU BC version: 1.02 parts: parser (yacc), interpreter, BC math library author: Philip A. Nelson how to get: ftp bc-1.02.tar.Z from a GNU archive site description: BC is an arbitrary precision numeric processing language with a C-like syntax that traditionally provided a front-end to DC. This version, however, is self-contained and internally executes its own compiled code (unrelated to DC code). restriction: Source code falls under the GNU CopyLeft. requires: vsprintf and vfprintf routines ports: Unix (BSD, System V, MINIX, POSIX) conformance: Superset of POSIX BC (P10003.2/D11), with a POSIX-only mode. updated: ? language: Calc? (symbolic math calculator) package: Calc version: 2.02 parts: interpreter, emacs mode, documentation author: Dave Gillespie how to get: ftp calc-2.02.tar.z from a GNU archive site description: Calc is an extensible, advanced desk calculator and mathematical tool written in Emacs Lisp that runs as part of GNU Emacs. It is accompanied by the "Calc Manual", which serves as both a tutorial and a reference. If you wish, you can use Calc as only a simple four-function calculator, but it also provides additional features including choice of algebraic or RPN (stack-based) entry, logarithms, trigonometric and financial functions, arbitrary precision, complex numbers, vectors, matrices, dates, times, infinities, sets, algebraic simplification, differentiation, and integration. bugs: ? updated: ? language: C-like caluculator package: Arbitrary precision calculator version: 1.26.4 parts: interpreter author: David I. Bell how to get: ftp pub/calc from ftp.uu.net description: Arbitrary precision C-like calculator [similar to BC? --ed] ports: Linux updated: 1993/06/15 language: Unix DC (arbitrary-precision arithmetic language) package: GNU DC version: 0.2 parts: interpreter author: ? how to get: ftp dc-0.2.tar.Z from a GNU archive site description: DC is the language for an arbitrary precision postfix calculator. This version is a subset of DC that handles all the Unix DC operations, except the (undocumented) array operations. status: Attempting integration with GNU BC. updated: 1993/05/21 language: Fortran package: f2c version: 1993.04.28 parts: translator (to C), postscript documentation, man pages, support libraries. author: S. I. Feldman, D. M. Gay, M. W. Maimone and N. L. Schryer how to get: ftp from netlib@research.att.com:netlib/f2c/src/* description: translator (Fortran 77 to ANSI C or C++) bugs: D. M. Gay updated: 1993 April 27 language: Fortran package: Floppy version: ? parts: ? author: ? how to get: ffccc in comp.sources.misc archive volume 12 description: ? contact: ? updated: 1992/08/04 language: Fortran package: Flow version: ? parts: ? author: Julian James Bunn how to get: comp.sources.misc archive volume 31 description: 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 updated: ? language: Fortran package: Adaptor (Automatic DAta Parallelism TranslatOR) version: 1.0 parts: preprocessor, library, documentation author: ? how to get: ftp gmd/adaptor/adp_1.0.tar.Z from ftp.gmd.de description: Adaptor is a tool that transforms data parallel programs written in Fortran with array extensions, parallel loops, and layout directives to parallel programs with explicit message passing. ADAPTOR is not a compiler but a source to source transformation that generates Fortran 77 host and node programs with message passing. The new generated source codes have to be compiled by the compiler of the parallel machine. ports: CM-5, iPCS/860, Meiko CS1/CS2, KSR 1, SGI, Alliant, network of Suns, or RS/6000s contact: Thomas Brandes updated: 1993/06 language: Fortran, C package: cfortran.h version: 2.6 parts: macros, documentation, examples author: Burkhard Burow how to get: ftp cfortran/* from zebra.desy.de description: cfortran.h is an easy-to-use powerful bridge between C and FORTRAN. It provides a completely transparent, machine independent interface between C and FORTRAN routines and global data. cfortran.h provides macros which allow the C preprocessor to translate a simple description of a C (Fortran) routine or global data into a Fortran (C) interface. reference: reviewed in RS/Magazine November 1992 and a user's experiences with cfortran.h are to be described in the 1/93 issue of Computers in Physics. ports: VAX VMS or Ultrix, DECstation, Silicon Graphics, IBM RS/6000, Sun, CRAY, Apollo, HP9000, LynxOS, f2c, NAG f90. portability: high contact: burow@vxdesy.cern.ch updated: 1992/04/12 language: Fortran package: fsplit version: ? parts: ? author: ? how to get: ? description: a tool to split up monolithic fortran programs updated: ? language: Fortran package: ? version: ? parts: ? author: Steve Mccrea how to get: ? description: a tool to split up monolithic fortran programs requires: new awk updated: ? language: Fortran package: Fortran77 -> Fortran90 converter version: ? 1 parts: translator(Fortran 77 -> Fortran 90), documentation? author: metcalf@cernvm.cern.ch how to get: ftp pub/MandR/convert.f90 from jkr.cc.rl.ac.uk description: A Fortran77 to Fortran90 translator. There's a number of significant differences between the two Fortrans that makes a package like this useful. updated: 1993/07/17 language: J package: J from ISI version: 6 parts: interpreter, tutorial author: Kenneth E. Iverson and Roger Hui how to get: ftp languages/apl/j/* from watserv1.waterloo.edu description: J was designed and developed by Ken Iverson and Roger Hui. It is similar to the language APL, departing from APL in using using the ASCII alphabet exclusively, but employing a spelling scheme that retains the advantages of the special alphabet required by APL. It has added features and control structures that extend its power beyond standard APL. Although it can be used as a conventional procedural programming language, it can also be used as a pure functional programming language. ports: Dec, NeXT, SGI, Sun-3, Sun-4, VAX, RS/6000, MIPS, Mac, Acorn IBM-PC, Atari, 3b1, Amiga updated: 1992/10/31 language: Ratfor package: ? ratfor ? version: ? parts: translator(Ratfor->Fortran IV) author: Brian Kernighan and P.J. Plauger (wrote the book anyway) how to get: comp.sources.unix archives volume 13 description: Ratfor is a front end language for Fortran. It was designed to give structured control structures to Fortran. It is mainly of historical significance. updated: ? language: Y (cross between C and Ratfor) package: y+po version: ? parts: compiler author: Jack W. Davidson and Christopher W. Fraser how to get: ftp pub/y+po.tar.Z from ftp.cs.princeton.edu description: Davidson/Fraser peephole optimizer PO [1-3] [where the GCC RTL idea and other optimization ideas came from] along with the Y compiler [cross between C+ratfor] is ftpable from ftp.cs.princeton.edu: /pub/y+po.tar.Z. It is a copy of the original distribution from the University of Arizona during the early 80's, totally unsupported, almost forgotten [do not bug the authors] old code, possibly of interest to compiler/language hackers. reference: Jack W. Davidson and Christopher W. Fraser, "The Design and Application of a Retargetable Peephole Optimizer", TOPLAS, Apr. 1980. Jack W. Davidson, "Simplifying Code Through Peephole Optimization" Technical Report TR81-19, The University of Arizona, Tucson, AZ, 1981. Jack W. Davidson and Christopher W. Fraser, "Register Allocation and Exhaustive Peephole Optimization" Software-Practice and Experience, Sep. 1984. status: history updated: ? --electrical engineering languages ------------------------------------------------------------------------------- --category: electrical engineering languages --description: These are languages used for simulating, designing, and -- specifying circuits. -- language: CASE-DSP (Computer Aided Software Eng. for Digital Signal Proc) package: Ptolemy version: 0.4.1 parts: grahpical algorithm layout, code generator, simulator author: ? how to get: ftp pub/ptolemy/* from ptolemy.bekeley.edu description: Ptolemy provides a highly flexible foundation for the specification, simulation, and rapid prototyping of systems. It is an object oriented framework within which diverse models of computation can co-exist and interact. For example, using Ptolemy a data-flow system can be easily connected to a hardware simulator which in turn may be connected to a discrete-event system, etc. Because of this, Ptolemy can be used to model entire systems. In addition, Ptolemy now has code generation capabilities. from a flow graph description, Ptolemy can generate both C code and DSP assembly code for rapid prototyping. Note that code generation is not yet complete, and is included in the current release for demonstration purposes only. requires: C++, C ports: Sun-4, MIPS/Ultrix; DSP56001, DSP96002. status: active research project discussion: ptolemy-hackers-request@ohm.berkeley.edu contact: ptolemy@ohm.berkeley.edu updated: 1993/04/22 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: ? restriction: no-profit w/o permission ports: ? updated: 1990/07 language: Verilog, XNF package: XNF to Verilog Translator version: ? parts: translator(XNF->Verilog) author: M J Colley how to get: ftp pub/dank/xnf2ver.tar.Z from punisher.caltech.edu description: This program was written by a postgraduate student as part of his M.Sc course, it was designed to form part a larger system operating with the Cadence Edge 2.1 framework. This should be born in mind when considering the construction and/or operation of the program. updated: ? language: VHDL package: ALLIANCE version: 1.1 parts: compiler, simulator, tools and environment, documentation author: ? how to get: ftp pub/cao-vlsi/alliance from ftp-masi.ibp.fr description: ALLIANCE 1.1 is a complete set of CAD tools for teaching Digital CMOS VLSI Design in Universities. It includes VHDL compiler and simulator, logic synthesis tools, automatic place and route, etc... ALLIANCE is the result of a ten years effort at University Pierre et Marie Curie (PARIS VI, France). ports: Sun4, also not well supported: Mips/Ultrix, 386/SystemV discussion: alliance-request@masi.ibp.fr contact: cao-vlsi@masi.ibp.fr updated: 1993/02/16 --document formatting languages ------------------------------------------------------------------------------- --category: document formatting languages --description: These are formatting languages. Very application-specific. -- [Could someone make me an entry for TeX? --ed] --iref: (C) c2man -- language: CLiP package: CLiP version: 2.1 parts: documentation generator author: Eric W. van Ammers how to get: ftp clip/* from sun01.info.wau.nl description: CLiP does not use explicite commands to perform the extraction process. It recognizes pseudostatemens written as comment of the programming language in question. CLiP distinguishes pseudostatments from ordinary comments because the former comply with a a particular style. This specific style can be adjusted to suit virtually any programming language. The CLiP approach to LP makes the system extremely versatile. It is independent of programming language and text processing environment. We designed CLiP to be compatible with hypertext systems as well but we have not yet experimented with this form of documentation. CLiP works with almost any target and almost any source language ports: MS-DOS, VAX/VMS, Unix updated: 1993/11/18 language: HP-GL, Postscript package: hp2ps version: 1.9c parts: interpreter author: Alun Jones how to get: ftp pub/hp2ps/hp2ps19c.zip from ftp.wst.com description: hp2ps is an HP-GL interpreter that is written in Postscript. It runs on the printer itself. restriction: If there is monetary benifit from using hp2ps, it is requested that money be set to Alun Jones. Further, hp2ps may not be distributed as part of a commercial offering without prior agreement. updated: ? language: Lout package: Lout version: 2.05 parts: translator(Lout->Postscript), documentation author: Jeffrey H. Kingston how to get: ftp jeff/lout.2.03.tar.Z from ftp.cs.su.oz.au description: Lout is a batch text formatting system. Lout offers an unprecedented range of advanced features, including equation formatting, tables, diagrams, rotation and scaling, sorted indexes, bibliographic databases, running headers and odd-even pages, automatic cross referencing, and much more, all ready to go. Furthermore, Lout is easily extended with definitions which are very much easier to write than troff of TeX macros because Lout is a high-level language, the outcome of an eight-year research project that went back to the beginning. ports: unix updated: 1993/07/30 language: Postscript package: Ghostscript version: 2.6.1 parts: interpreter, ? author: L. Peter Deutsch how to get: ftp pub/GNU/ghostscript* from a GNU archive site ftp from ftp.cs.wisc.edu:/pub/X/ghostscript*2.6.1* description: A postscript interpreter with previewers for serval systems and many fonts. updated: 1993/05/29 language: Postscript, Common Lisp package: PLisp version: ? parts: translator(Postscript), programming environment(Postscript) author: John Peterson how to get: ? description: ? updated: ? language: SGML (Standardized Generalized Markup Language) package: sgmls version: 1.1 parts: parser author: James Clark and Charles Goldfarb how to get: ftp pub/text-processing/sgml/sgmls-1.0.tar.Z from ftp.uu.net UK: ftp sgmls/sgmls-1.1.tar.Z from ftp.jclark.com description: SGML is a markup language standardized in ISO 8879. Sgmls is an SGML parser derived from the ARCSGML parser materials which were written by Charles Goldfarb. It outputs a simple, easily parsed, line oriented, ASCII representation of an SGML document's Element Structure Information Set (see pp 588-593 of ``The SGML Handbook''). It is intended to be used as the front end for structure-controlled SGML applications. SGML is an important move in the direction of separating information from its presentation, i.e. making different presentations possible for the same information. bugs: James Clark ports: unix, msdos updated: 1993/02/22 language: troff, nroff, eqn, tbl, pic, refer, Postscript, dvi package: groff version: 1.07 parts: document formatter, documentation author: James Clark how to get: ftp groff-1.07.tar.z from a GNU archive site description: [An absolutely fabulous troff! --ed] restriction: GNU General Public License requires: C++ updated: 1993/03/03 language: Web package: CWeb version: 3.1 parts: translator(ANSI C and C++) author: Levy/Knuth? how to get: ? description: [Referred to in the CWeb 3.x announcement (below). I'll follow up on it in the next release of the list. -- Ed] requires: ANSI C and/or C++ Compiler? contact: ? updated: ? language: Web package: CWeb version: 3.x parts: translator(ANSI C) author: Marc van Leeuwen how to get: ftp pub/cweb/? from ftp.cwi.nl description: An ANSI C implementation of the Web literate-programming concept (Both source and output are ANSI C). This version was developed in parallel with v3.1 referred to above. requires: ANSI C Compiler contact: M.van.Leeuwen@cwi.nl updated: 1993/12/16 language: Web package: web2c version: 5-851d parts: translator(C) author: ? how to get: ftp TeX/web2c.tar.Z from ics.uci.edu Europe: ftp pub/tex/src/web2c/web2c.tar.Z from ftp.th-darmstadt.de description: contact: Karl Berry updated: 1993/02/22 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. requires: Pascal contact: ? updated: ? language: Web package: FunnelWeb version: ? parts: macro preprocessor, documentation, tests, ? author: Ross Williams how to get: comp.sources.unix volume 26 description: FunnelWeb is a production-quality literate-programming tool that emphasises simplicity and reliability. It provides a macro facility, and assists in the production of typeset documentation. Input-programming-language independent restriction: CopyLeft ports: Sun, Vax, Mac, PC updated: 1993/04/11 --assemblers ------------------------------------------------------------------------------- --category: assemblers -- language: various assembly package: GNU assembler (GAS) version: 2.2 parts: assembler, documentation author: ? how to get: ftp gas-2.0.tar.z from a GNU archive site description: Many CPU types are now handled, and COFF and IEEE-695 formats are supported as well as standard a.out. bugs: bug-gnu-utils@prep.ai.mit.edu ports: Sun-3, Sun-4, i386/{386BSD, BSD/386, Linux, PS/2-AIX}, VAX/{Ultrix,BSD,VMS} updated: 1993/11/11 language: various assembly package: fas: Frankenstein Cross Assemblers version: ? parts: base assembler, parser modules (yacc), documentation? author: Mark Zenier how to get: ftp.njit.edu:/pub/msdos/frankasm/frankasm.zoo [Inform me of the other sites -Mark] description: A reconfigurable assembler package, especially suited for 8-bit processors, consisting of a base assembler module and a yacc parser, for each microprocessor, to handle mnemonics and addressing. Second party parser modules available from many sites. requires: YACC updated: ? language: 6502, Z80, 8085, 68xx package: ? version: ? parts: ? author: msmakela@cc.helsinki.fi and Alan R. Baldwin how to get: ftp ? from ccosun.caltech.edu description: I have enhanced a set of 68xx and Z80 and 8085 cross assemblers to support 6502. These assemblers run on MS-DOS computers or on any systems that support standard Kerninghan & Richie C, for example, Amiga, Atari ST and any "big" machines updated: 1993/03/10 language: 6502 package: ? version: ? parts: assembler, manual author: Doug Jones ? how to get: send mail to author description: Supports macro and conditional features, even, as well as being usable for linkage editing of object files. requires: Pascal updated: ? language: mc6809 package: usim version: 0.11 parts: simulator, documentation author: Ray P. Bellis how to get: ftp /pub/mc6809/usim-* from ftp.cns.ox.ac.uk description: a mc6809 simulator updated: 1993/02/14 language: mc6809 package: 6809, E-Forth version: ? parts: assembler, simulator author: Lennart Benschop how to get: alt.sources, 1993/11/03 <2b8i2r$j0e@tuegate.tue.nl> description: An assembler and simulator for the Motorola M6809 processor. Also included is a Forth interpreter, E-Forth written in 6809. ports: assembler: Unix, DOS; simulator: Unix updated: 1993/11/03 language: 68HC11 package: 68HC11 simulator version: ? 1 parts: simulator author: Ted Dunning how to get: ftp pub/non-lexical/6811/sim6811.shar from crl.nmsu.edu description: An opcode simulator for the 68HC11 processor. Interrupts, hardware I/O, and half carries are still outside the loop. [Adding interrupts may require simulating at the clock phase level -Mark] ports: unix?, ms-dos updated: 1993/07/28 language: 8051 package: CAS 8051 Assembler version: 1.2 parts: assembler/linker, disassembler, documentation, examples author: Mark Hopkins how to get: ftp pub/8051/assem from lyman.pppl.gov Europe: ftp pub/microprocs/MCS-51/csd4-archive/assem from nic.funet.fi description: experimental one-pass assembler for the 8051 with C-like syntax. Most features of a modern assembler included except macros (soon to be added). Other software tools and applications contained in /pub/compilers/8051/*. requires: ANSI-C compiler ports: MSDOS, Ultrix, Sun4 (contact author) updated: 1993/07/22 language: 8051 package: as31 - An 8031/8051 assembler. version: ? 1 parts: assembler, parser(yacc), documentation author: Ken Stauffer (Theo Deraadt wrote the S-record output routines) how to get: wuarchive.wustl.edu at /usenet/comp.sources.misc/volume10/asm.8051.Z ftp.uu.net:/usenet/comp.sources.misc/volume10/asm.8051.Z description: Assembler with ability to produce a variety of object output formats, including S-records. ports: SUN 3 / SUN 4 (SunOS 4.0), Tandy 6000 (Xenix) portability: File I/O may require porting on non-Unixs. updated: 1990/01/26 language: Motorola DSP56000 package: ? version: 1.1 parts: assembler author: Quinn Jensen how to get: alt.sources archive or ftp ? from wuarchive.wustl.edu description: ? updated: ? language: Motorola DSP56001 package: a56 version: 1.1 parts: assembler author: Quinn C. Jensen how to get: alt.sources archive description: ? updated: 1992/08/10 language: 80486 package: WDASM17B.ZIP - Windows 80486 Disassembler for Windows 3.1 version: 1.7b parts: disassembler author: Eric Grass how to get: SIMTEL20, pd1: description: An interactive 80486 disassembler for Windows 3.1. Multiple options for formatting disassembly exist. ports: Windows3.1 portability: Windows-specific updated: 1993/06/29 --macro preprocessors ------------------------------------------------------------------------------- --category: macro preprocessors --description: These are tools that expand macros for another language. --iref: (C) GNU CC --iref: (C) lcc [I assume lcc has a preprocessor? --ed] -- language: C preprocessor package: Decus cpp version: ? parts: pre-processor author: Martin Minow how to get: included in the X11R5 distribution as contrib/util/cpp description: An almost-ANSI C preprocessor. It is shipped with X11R5 because some systems don't have a working cpp. ports: VMS (Vax C, Decus C), RSX-11M, RSTS/E, P/OS, and RT11, A/UX, Apollo Domain/IX 9.6, etc. portability: very high updated: ? language: C-Refine, C++-Refine, *-Refine package: crefine version: 3.0 parts: pre-processor, documentation author: Lutz Prechelt how to get: aquire from any comp.sources.reviewed archive 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. ports: unix, msdos, atari, amiga. portability: high updated: 1992/07/16 language: m4 package: pd/bsd m4 version: ? parts: interpreter, man page author: Ozan Yigit , Richard A. O'Keefe how to get: ftp from any 386BSD, NetBSD, or FreeBSD archive description: A macro preprocessor, more flexible than cpp conformance: ? updated: 1993/11/03 language: m4 package: GNU m4 version: 1.1 parts: interperter, ? author: Francois Pinard how to get: ftp m4-1.0.tar.Z from a GNU archive site Macintosh: ftp pub/software/mac/src/mpw-c/* from nic.switch.ch. description: A macro preprocessor, more flexible than cpp. It copies its input to the output, expanding macros. Macros are either built-in or user-defined. `m4' has built-in functions for including files, running Unix commands, doing integer arithmetic, manipulating text in various ways, recursing, etc. `m4' can be used either as a front-end to a compiler or as a macro processor in its own right. conformance: ? restriction: GNU General Public License updated: 1993/11/08 --special purpose languages ------------------------------------------------------------------------------- --category: special purpose languages --description: Languages with very specific purposes that are the only free -- language in that niche (otherwise they would have a category) -- language: ADL (Adventure Definition Language) package: ADL version: ? parts: interpreter author: Ross Cunniff , Tim Brengle how to get: comp.sources.games archive volume 2 description: An adventure language, semi-object-oriented with LISP-like syntax. A superset of DDL. updated: ? language: ASA package: Adaptive Simulated Annealing (ASA) version: 1.53 parts: ? author: Lester Ingber how to get: ftp pub/ingber/? from ftp.caltech.edu description: ? Language interface to neural net simulator? discussion: asa-request@alumni.caltech.edu updated: 1993/11/14 language: ASN.1 (Abstract Syntax Notation One) (ITU TS X.208/ISO 8824) package: snacc (Sample Neufeld ASN.1 to C/C++ Compiler) version: 1.1 parts: compiler, runtime BER libraries, utility progs author: Mike Sample how to get: ftp /pub/local/src/snacc/snacc1.1.tar.Z from cs.ubc.ca description: ASN.1 is a language used to describe data structures in a machine and implementation lang independent way. Basic Encoding Rules (BER) provide a universal (contiguous) representation of data values. ASN.1 & BER were designed to exchange data (with complex structure) over networks. OSI Application protocols such as X.400 MHS (email) and X.500 directory and others protocols such as SNMP use ASN.1 to describe the PDUs they exchange. Snacc compiles 1990 ASN.1 (including some macros) data structures into C, C++ or type tables. The generated C/C++ includes a .h file with the equivalent data struct and a .c/.C file for the BER encode and decode, print and free routines. reference: Michael Sample and Gerald Neufeld, "Implementing Efficient Encoders and Decoders for Network Data Representations", IEEE INFOCOM '93 Proceedings, Vol 3, pp 1143-1153, Mar 1993 Michael Sample, "How Fast Can ASN.1 Encoding Rules Go?", M.Sc. Thesis, University of British Columbia, Apr 1993 restriction: Compiler under GNU Public License. No restriction on libs and C/C++/tables generated by snacc. If you use it in a commercial product please let us know. requires: yacc (or bison), lex (or flex) and cc (ANSI or non-ANSI) contact: Barry Brachman or updated: 1993/07/12 language: Duel (a C debugging language) package: DUEL version: 1.10 parts: interpreter, stand-alone module, documentation, test suites author: Michael Golan how to get: ftp duel/* from ftp.cs.princeton.edu description: DUEL acts as front end to gdb. It implements a language designed for debbuging C programs. It maily features efficient ways to select and display data items. It is normally linked into the gdb executable, but could stand alone. It interprets a subset of C in addition to its own language. requires: gdb status: author is pushing the system hard. updated: 1993/03/20 language: IDL (Project DOE's Interface Definition Language) package: SunSoft OMG IDL CFE version: 1.2 parts: compiler front end, documentation author: SunSoft Inc. how to get: ftp pub/OMG_IDL_CFE_1.2/* from omg.org description: OMG's (Object Management Group) CORBA 1.1 (Common Object Request Broker Architecture) specification provides the standard interface definition between OMG-compliant objects. IDL (Interface Definition Language) is the base mechanism for object interaction. The SunSoft OMG IDL CFE (Compiler Front End) provides a complete framework for building CORBA 1.1-compliant preprocessors for OMG IDL. To use SunSoft OMG IDL CFE, you must write a back-end; full instructions are included. A complete compiler of IDL would translate IDL into client side and server side routines for remote communication in the same manner as the currrent Sun RPCL compiler. The additional degree of freedom that the IDL compiler front end provides is that it allows integration of new back ends which can translate IDL to various programming languages. Several companies including Sunsoft are building back ends to the CFE which translate IDL into target languages, e.g. Pascal or C++, in the context of planned CORBA-compliant products. requires: C++ 2.1 conformant C++ compiler contact: idl-cfe@sun.com updated: 1993/05/04 language: NewsClip ? package: NewsClip version: 1.01 parts: translator(NewsClip->C), examples, documentation author: Looking Glass Software Limited but distributed by ClariNet Communications Corp. how to get: ? description: NewsClip is a very high level language designed for writing netnews filters. It translates into C. It includes support for various newsreaders. restriction: Cannot sell the output of the filters. Donation is hinted at. status: supported for ClariNet customers only contact: newsclip@clarinet.com updated: 1992/10/25 language: PROGRESS package: PROGRESS version: RWTH 5.10 parts: environment, interpreter, database, ? author: Dr. Andy Schuerr , Albert Zuendorf how to get: send mail to authors sun4-bin: ftp pub/unix/PROGRES/? from ftp.informatik.rwth-aachen.de description: PROGRES is an integrated environment for a very high level programming language which has a formally defined semantics based on "PROgrammed Graph Rewriting Systems". This language supports the following programming paradigms/purposes: 1) Structurally object-oriented specification of attributed graph structures with multiple inheritance hierarchies and types of types (for parametric polymorphy). 2) Declarative/relational specification of derived attributes, node sets, binary relationships (directed edges), and Boolean constraints. 3) Rule-oriented/visual specification of parameterized graph rewrite rules with complex application conditions. 4) Nondeterministic & imperative programming of composite graph transformations (with built-in backtracking and cancelling arbitrary sequences of failing graph modifications). Therefore, PROGRES may be used as 1) a very high level programming language for implementing abstract data types with a graph-like internal structure, 2) a visual database programming language for the graph-oriented database system GRAS (which is available as free software under the GNU license conditions), 3) a rule-oriented language for rapid prototyping nondeterministically specified data/rule base transformations. Furthermore, PROGRES is an almost statically typed language which additionally offers "down casting" operators for runtime checked type casting/conversion (in order to avoid severe restrictions concerning the language's expressiveness). PROGRESS is meant to be used with GRAS, which is also available updated: 1993/11/02 language: Tiny package: Omega test, Extended Tiny version: 3.2.2 parts: translator(fortran->tiny), tiny interpreter?, analysis tools author: William Pugh and others how to get: ftp pub/omega from ftp.cs.umd.edu description: The Omega test is implemented in an extended version of Michael Wolfe's tiny tool, a research/educational tool for examining array data dependence algorithms and program transformations for scientific computations. The extended version of tiny can be used as a educational or research tool. The Omega test: A system for performing symbolic manipulations of conjunctions of linear constraints over integer variables. The Omega test dependence analyzer: A system built on top of the Omega test to analyze array data dependences. contact: omega@cs.umd.edu updated: 1992/11/13 language: Extended Tiny package: Extended Tiny version: 3.0 (Dec 12th, 1992) parts: programming environment, dependence tester, tests translator(Fortran->tiny), documentation, tech. reports author: original author: Michael Wolfe , extended by William Pugh et al. how to get: ftp pub/omega from cs.umd.edu description: A research/educational tool for experimenting with array data dependence tests and reordering transformations. It works with a language tiny, which does not have procedures, goto's, pointers, or other features that complicate dependence testing. The original version of tiny was written by Michael Wolfe, and has been extended substantially by a research group at the University of Maryland. Michael Wolfe has made further extensions to his version of tiny. ports: Any unix system (xterm helpful but not required) contact: Omega test research group updated: 1993/01/23 language: SQL package: _lex & yacc_ by Levine, Mason & Brown published by O'Reilly version: ? parts: book, grammar author: Levine, Mason & Brown how to get: buy the book, or ftp published/oreilly/nutshell/lexyacc/? from ftp.uu.net. description: In _lex & yacc_, by Levine, Mason & Brown an SQL parser is included as an example grammar updated: ? language: SQL package: MultiCal System version: ? parts: ? author: Richard Snodgrass? how to get: ftp tsql/multical from FTP.cs.arizona.edu. description: [Anyone care to write a description? - ed] restriction: public domain, freely available contact: rts@cs.arizona.edu updated: ? language: ModSim - U. S. Army ModSim compiler package: USAModSim version: 1.0 parts: compiler(->C), compilation manager, browser, library, database interface language, documentation author: ? how to get: ftp from max.cecer.army.mil in /ftp/isle description: ModSim is a general-purpose, block-structured, object- oriented programming language with built in support for Simulation. Its "parent languages" are Modula-2 and Simula. It supports multiple inheritance, templates, reference types, polymorphism, and process-oriented simulation with synchronous and asynchronous activities using explicit simulation time. The documentation is extensive (>300 pages) and very good. ports: SPARC/SunOS, Silicon Graphics. According to the Doc, there is a DOS-Version (not found on the server. contact: Charles Herring updated: 29/12/1993 --natural languages ------------------------------------------------------------------------------- --category: natural languages --description: These are tools that interact with human languages. -- language: natural languages package: Pleuk grammar development system version: 1.0 parts: shell, examples, documentation author: Jo Calder , Kevin Humphreys , Chris Brew , Mike Reape how to get: ftp from hostname ai.uga.edu: /ai.natural.language/ description: A shell for grammar development, handles various grammatical formalisms. requires: SICStus Prolog version 2.1#6 or later, and other programs readily available from the public domain. contact: pleuk@cogsci.ed.ac.uk. updated: 1993/06/18 language: natural languages package: proof version: ? 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: proof@xcf.berkeley.edu ports: Decstation3100 Sun-4 discussion: proof-request@xcf.berkeley.edu ("Subject: add me") updated: 1991/09/23 --curiosities ------------------------------------------------------------------------------- --category: curiosities --description: These are the languages and tools that I could not fit into one -- of the other categories. I am quite willing to reclassify -- these if provided with a rational way to do so. -- language: a1 (Address 1 code) package: a1 code interpreter version: ? 1 parts: interpreter, examples author: Matthew Newhook how to get: garfield.cs.mun.ca:/pub/a1/a1.tar.Z description: An address 1 code interpreter used to test compiler output. requires: gcc 2.4.2 or higher portability: Ports to machine without memory segment protection unverified. updated: 1993/06/02 language: INTERCAL package: C-INTERCAL version: 0.9 parts: compiler, library, documentation author: Eric S. Raymond how to get: ftp pub/intercal/intercal0.9.* from sequoia.lle.rochester.edu description: INTERCAL is possibly the most elaborate and long-lived joke in the history of programming languages. It was first designed by Don Woods and Jim Lyons in 1972 as a deliberate attempt to produce a language as unlike any existing one as possible. The manual, describing features of horrifying uniqueness, became an underground classic. ESR wrote C-INTERCAL in 1990 as a break from editing _The_New_Hacker's_Dictionary_, adding to it the first implementation of COME FROM under its own name. The compiler has since been maintained and extended by an international community of technomasochists. The distribution includes extensive documentation and a program library. C-INTERCAL is actually an INTERCAL-to-C source translator which then calls the local C compiler to generate a binary. The code is thus quite portable. contact: Steve Swales updated: 1993/05/20 language: Logo package: logo version: 4 parts: interpreter author: ? how to get: comp.sources.unix archive volume 10 description: ? updated: ? language: Logo package: Berkeley Logo version: 3.0 parts: interpreter author: Brian Harvey how to get: ftp pub/ucblogo/* from anarres.cs.berkeley.edu description: + Logo programs are compatible among Unix, PC, and Mac. + "richer" than MswLogo? - pretty slow. - doesn't do anything fancy about graphics. (One turtle.) ports: unix, pc, mac updated: 1993/08/06 language: Logo package: MswLogo version: 3.5 parts: interpreter author: George Mills how to get: ftp pub/comp.lang.logo/programs/mswlogo from cher.media.mit.edu Source may require emailing George Mills. description: A windows front-end for Berkeley Logo bugs: George Mills ports: MS Windows 3.x status: activly developed updated: 1993/10/15 language: Loglan'82 package: Loglan82 version: ? parts: Cross-Compiler (->C) author: ? how to get: ftp pub/Loglan82 from infpc1.univ-pau.fr description: The academic community has a need for one language which enables to teach all elements of object programming: classes & objects, coroutines, processes (in Loglan'82 processes are objects which are able to act in parallel), inheritance, exception handling, dynamic arrays etc. Loglan'82 offers the complete sets of programming tools used in object and modular and structural programming. It is suggested to use it duringthe first two years of teaching and afterwards too. Loglan'82 supports other styles of programming e.g. programming by rules, functional programming etc. restriction: GNU General Public License requires: ? announcements: loglan82-request@crisv1.univ-pau.fr The only line of your mail should contain SUBSCRIBE loglan82 Your E-mail address will be added automatically. contact: Andrzej.Salwicki@univ-pau.fr updated: 1994/2/15 -- --unable to classify due to lack of knowledge ------------------------------------------------------------------------------- --category: unable to classify due to lack of knowledge --description: [Please help. --ed] -- 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) contact: Jack Hsu updated: 1992/06/02 language: Common Lisp package: Garnet version: 2.2 parts: ? author: The Garnet project how to get: ftp from /usr/garnet/garnet from a.gp.cs.cmu.edu description: Garnet is a user interface development environment for Common Lisp and X11. It helps you create graphical, interactive user interfaces for your software. Garnet is a large scale system containing many features and parts. * Toolkit intrinsics: - A custom object-oriented programming system which uses a prototype-instance model. - Automatic constraint maintenance: so properties of objects can depend on properties of other objects, and be automatically re-evaluated when the other objects change. The constraints can be arbitrary lisp expressions. - Built-in, high-level input event handling. - Support for gesture recognition - Widgets for multi-font, multi-line, mouse-driven text editing. - Optional automatic layout of application data into lists, tables, trees, or graphs. - Automatic generation of PostScript for printing. - Support for large-scale applications and data visualization. * Two complete widget sets: - One with a Motif look and feel implemented in Lisp, and one with a custom look and feel. * Interactive design tools for creating parts of the interface without writing code: - Gilt interface builder for creating dialog boxes - Lapidary interactive tool for creating new widgets and for drawing application-specific objects. - C32 spreadsheet system for specifying complex constraints. (The next parts are not yet ready for release.) - Jade automatic dialog box creation system. - Marquise interactive tool for specifying behaviors. contact: Brad_Myers@bam.garnet.cs.cmu.edu updated: October 15, 1993 language: Garnet package: Multi-Garnet version: 2.1 parts: ? author: Michael Sannella how to get: ftp /usr/garnet/alpha/src/contrib/multi-garnet from a.gp.cs.cmu.edu description: better contstraint system for Garnet ?? updated: 1992/09/21 language: Isabelle package: Issabelle-93 version: ? parts: ? author: Written by Lawrence C Paulson and Tobias Nipkow? how to get: ftp /afs/cs.cmu.edu/user/mkant/Public/Lisp/ops5* from ftp.cs.cmu.edu description: Isabelle is a generic theorem prover. New logics are introduced by specifying their syntax and rules of inference. Proof procedures can be expressed using tactics and tacticals. The latest version, Isabelle-93, is significantly faster than Isabelle-92 and has several other improvements. requires: ? contact: Larry.Paulson@cl.cam.ac.uk Tobias.Nipkow@informatik.tu-muenchen.de? updated: 1993/12/20 ------------------------------------------------------------------------------- references ------------------------------------------------------------------------------- name: The Apple II Programmer's Catalog of Languages and Toolkits version: 2.8 author: Larry W. Virden how to get: posted to comp.sys.apple2, comp.lang.misc; ftp from idiom.berkeley.ca.us description: A survey of language tools available for the Apple ][. updated: 1993/11/28 name: Catalog of embeddable Languages. version: 2 author: Colas Nahaboo how to get: posted to comp.lang.misc,comp.lang.tcl; ftp pub/EmbeddedInterpretersCatalog.txt from avahi.inria.fr description: Descriptions of languages from the point of view of embedding them. updated: 1992/07/09 name: Compilers bibliography version: 1.5 author: Charlie A. Lins how to get: ftp pub/oberon/comp_bib_1.4.Z from ftp.apple.com description: It includes all the POPLs, PLDIs, Compiler Construction, TOPLAS, and LOPAS. Plus various articles and papers from other sources on compilers and related topics. updated: 1992/10/31 name: haskell-status version: ? author: Simon Peyton Jones how to get: posted occaisionally to ??? description: A report, detailing the current features and status of all the implementations of Haskell. updated: ? name: Language List version: 2.1 author: Bill Kinnersley how to get: posted regularly to comp.lang.misc; ftp pub/comp.compilers/LanguageList* from primost.cs.wisc.edu; ftp pub/compilers-list/LanguageList* from idiom.berkeley.ca.us description: Descriptions of almost every computer langauge there is. Many references to available source code. updated: 1993/09/11 name: Numerical Analysis Using Non-Procedural Paradigms version: published thesis author: Steve Sullivan how to get: send email to author; or an ascii version of the comparision can be found in the comp.compilers archives, posted 1993/11/16 description: A thesis, that among other things, compares and benchmarks C++, Modula-3, Standard ML, Haskell, Sather, and Common Lisp updated: 1993 name: The Lisp FAQs version: 1.30 author: Mark Kantrowitz how to get: posted regularly to comp.lang.lisp,news.answers,comp.answers description: Details of many lisps and systems written in lisps including many languages not covered elsewhere. updated: 1993/02/08 name: Survey of Interpreted Languages version: ? author: Terrence Monroe Brannon how to get: Posted to comp.lang.tcl,comp.lang.misc,comp.lang.perl, gnu.emacs.help,news.answers; or ftp pub/gnu/emacs/elisp-ar*/pack*/Hy*Act*F*/survey-inter*-languages from archive.cis.ohio-state.edu. description: Detailed comparision of a few interpreters: Emacs Lisp, Perl, Python, and Tcl. updated: ? ------------------------------------------------------------------------------- archives ------------------------------------------------------------------------------- language: Ada package: AdaX description: an archive of X libraries for Ada. Includes Motif [note, I chose this server out of many somewhat randomly. Use archie to find others --ed] how to get: ftp pub/AdaX/* from falcon.stars.rosslyn.unisys.com contact: ? language: APL, J package: APL, J, and other APL Software at Waterloo how to get: ftp languages/apl/index from watserv1.waterloo.edu contact: Leroy J. (Lee) Dickey language: Assembler (Motorola) description: An archive of development software and tools for the Motorola microcontroller series. Includes assemblers, a C compiler (6809), and applications. Comes mainly from the Austin Texas Motorola BBS. how to get: ftp bode.ee.ualberta.ca : /pub/dos/motorola language: Assembler (Various) package: The Beowulf archive? description: An archive of assemblers for various 8-bit microcontrollers how to get: hpcsos.col.hp.com : /misc/ns32k/beowulf language: Assembler, Forth (8051) package: The Siemens 8051 archive description: An archive for development software and tools for the 8051 microcontroller. how to get: ftp pub/8051/signetics-bbs from lyman.pppl.gov contact: jsm@phoenix.princeton.edu language: Assembler (8051) package: The CAS archive. description: Another archive for development software and tools for the 8051 microcontroller. May be converted into a general microprocessor archive in the future. how to get: lyman.pppl.gov : /pub/8051/siemens-bbs nic.funet.fi: /pub/microprocs/MCS-51/csd4-archive csd4.csd.uwm.edu : /pub/compilers/* (Discontinued as of 10/4/93) language: C, C++, Objective-C, yacc, lex, postscript, sh, awk, smalltalk, sed package: the GNU archive sites description: There are many sites which mirror the master gnu archives which live on prep.ai.mit.edu. Please do not use the master archive without good reason. how to get: NOTE: Many gnu files are now compressed with gzip. You can tell a gzip'ed file because it has a lower-case .z or .gz rather than the capital .Z that compress uses. Gzip is available from these same archives ftp pub/gnu/* from prep.ai.mit.edu USA: ftp mirrors4/gnu/* from wuarchive.wustl.edu ftp pub/src/gnu/* from ftp.cs.widener.edu ftp gnu/* from uxc.cso.uiuc.edu ftp mirrors/gnu/* from col.hp.com ftp pub/GNU/* from gatekeeper.dec.com ftp packages/gnu/* from ftp.uu.net Japan: ftp ? from ftp.cs.titech.ac.jp ftp ftpsync/prep/* from utsun.s.u-tokyo.ac.jp Australia: ftp gnu/* from archie.au Europe: ftp gnu/* from src.doc.ic.ac.uk ftp pub/GNU/*/* from ftp.informatik.tu-muenchen.de [re-org'ed] ftp pub/gnu/* from ftp.informatik.rwth-aachen.de ftp pub/gnu/* from nic.funet.fi ftp pub/gnu/* from ugle.unit.no ftp pub/gnu/* from isy.liu.se ftp pub/gnu/* from ftp.stacken.kth.se ftp pub/gnu/* from sunic.sunet.se [re-org'ed] ftp pub/gnu/* from ftp.win.tue.nl ftp pub/gnu/* from ftp.diku.dk ftp software/gnu/* from ftp.eunet.ch ftp gnu/* from archive.eu.net [re-org'ed] restriction: Most GNU programs are CopyLeft'ed. That means that they are distributed under the terms of the GNU General Public License or GNU Library General Public License. The CopyLeft is only a concern if you want to use actual GNU code in your program. Using Gcc or any of the other tools is completely safe from a copyright point-of-view with the sole exception of bison which includes GNU code in its output. If you use a GNU library, you must supply an unlinked version of your program. language: Forth description: Forth implementations and programs how to get: anonymous@asterix.inescn.pt[192.35.246.17]:pub/forth contact: Paulo A. D. Ferreira language: Haskell description: An archive of Haskell and Gofer programs how to get: anonymous@ftp.cs.chalmers.se:pub/haskell/library anonymous@nebula.cs.yale.edu:pub/haskell/library anonymous@ftp.dcs.glasgow.ac.uk:pub/haskell/library 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: ? language: lisp package: Lisp Utilities collection how to get: ftp /afs/cs.cmu.edu/user/mkant/Public/Lisp from ftp.cs.cmu.edu contact: cl-utilities-request@cs.cmu.edu 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 language: Smalltalk package: Manchester Smalltalk Goodies Library description: a large collection of libraries for smalltalk. Created by Alan Wills, administered by Mario Wolczko. how to get: ftp uiuc/st*/* from st.cs.uiuc.edu uk: ftp uiuc/st*/* from mushroom.cs.man.ac.uk contact: goodies-lib@cs.man.ac.uk language: Tcl package: Tcl/Tk Contrib Archive description: An archive of Tcl/tk things. how to get: ftp tcl/* from barkley.berkeley.edu contact: Jack Hsu language: TeX package: CTAN (Comprehensive TeX Archive Network description: A large archive site of most all things TeX-related, including literate programming tools such as WEB and derivatives. how to get: ftp ~ftp/tex-archive/* from ftp.shsu.edu Europe: ftp ? from ftp.uni-stuttgart.de ------------------------------------------------------------------------------- cross-reference ------------------------------------------------------------------------------- These are additional categories. When an implementation is in a category rather than a language, the language is indicated in (parenthesis). category: command shells description: These are the languages that treat bare words as programs to execute. lref: csh lref: ERGO-Shell lref: es lref: Korn Shell lref: Q lref: rc lref: ssh lref: Z-shell category: compiler frontend/backend glue description: These are the languages used to glue semantic analysers to code generators. lref: C -- C is often used as an intermediate step lref: RTL lref: lcc -- [what is the lcc intermediate code called? --ed] category: database description: These are the languages that are specifically designed for database access. lref: Aditi lref: CORAL lref: GNU E lref: PROGRESS category: distributed description: These are languages that include constructs that specifically support distributed programming. lref: Hermes lref: Glish iref: (TCL) TCL-DP category: dynamic foriegn functions description: These tools can dynamically load C code at run-time. lref: CommonLisp lref: Python iref: (Perl) Dylperl iref: (Scheme) Elk category: editor construction description: These are languages that are embedded in editors lref: IVY lref: S-Lang iref: (Lisp) elisp category: educational description: These are languages that are either designed for teaching, or are often used that way. lref: ABC lref: C lref: Logo lref: O'small lref: Pascal lref: Scheme category: embeddable description: These tools can be used as scripting langauges for programs written in C. They are all interpreted. lref: IVY lref: Perl5 lref: Python lref: S-Lang lref: TCL iref: (C) ae iref: (Scheme) Elk iref: (Scheme) siod category: glue description: These are languages that are designed to tie other programs and libraries together. cref: dynamic foriegn functions cref: command shells lref: Glish lref: REXX category: graphic user interface support description: These are the languages that have support for writing gui programs. cref: C variants lref: CommonLisp lref: LIFE lref: Python iref: (Caml Light) Caml Light iref: (Prolog) PI iref: (Prolog) XWIP iref: (Scheme) Elk lref: (Scheme) Ezd iref: (Scheme) STk iref: (TCL) Tk iref: (TCL) Wafe category: interactive description: These are the languages that are meant to be used interactively. [I'm sure there are more. Tell me! --ed] lref: Caml lref: CommonLisp lref: Q iref: (C) ae category: reflective description: from Rainer Joswig (rainer@ki6.informatik.uni-hamburg.de) : To make it short: Reflective Languages have access to their own implementation. One can ask about the state of the running system and/or change aspects of the language. lref: ABCL ??? lref: ABCL/1 lref: MeldC lref: 3-Lisp lref: CLOS with MOP (Meta Object Protocol) category: terminal graphics support description: These are languages that can access curses, or have an equivalent. cref: C variants lref: ici iref: (Common Lisp) CLISP iref: (Perl) curseperl iref: Python iref: (Scheme) scm category: text manipulation description: These languages have very high-level features for manipulating text. cref: compiler generators and related tools lref: Icon lref: Lex lref: Perl lref: Snobol4 category: unix tool building description: These are languages that are appropriate for building tools in a Unix environment. To be included, direct access to most system features is required. lref: C lref: ici lref: Perl lref: Python lref: TCL category: window manager construction description: These are languages that are built into window managers iref: (Lisp) WOOL