[Comp.Sci.Dept, Utrecht] Note from archiver<at>cs.uu.nl: This page is part of a big collection of Usenet postings, archived here for your convenience. For matters concerning the content of this page, please contact its author(s); use the source, if all else fails. For matters concerning the archive as a whole, please refer to the archive description or contact the archiver.

Subject: Catalog of compilers, interpreters, and other language tools [p3of5]

This article was archived around: 10 Feb 2000 01:07:17 -0500

All FAQs in Directory: compilers/free
All FAQs posted in: comp.compilers, comp.lang.misc, comp.archives.admin
Source: Usenet Version

Archive-name: compilers/free/part3 Last-modified: $version_D Version: $version_V
lisp family ------------------------------------------------------------------------------- category: lisp family description: [The programming languages for those who like parenthesis --ed] language: Dylan package: Thomas version: 1.1 parts: translator(Scheme) author: Matt Birkholz <Birkholz@crl.dec.com>, Jim Miller <JMiller@crl.dec.com>, Ron Weiss <RWeiss@crl.dec.com> location: ftp://gatekeeper.pa.dec.com/pub/DEC/Thomas ftp://cambridge.apple.com/pub/dylan/Thomas 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 Gambit, Mac, PC, Vax, MIPS, Alpha, 680x0 updated: 1994/04/18 language: Dylan package: Marlais version: 0.5.11 parts: interpreter author: Brent Benson <brent@ssd.csd.harris.com> location: ftp://ftp.cis.ufl.edu:/pub/src/Marlais http://www.cis.ufl.edu/~jnw/Marlais/ 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: 1994/07/13 language: Dylan package: Mindy version: 1.3 parts: byte-code compiler and interpreter, documentation, libraries author: Bill Chiles <chiles@CS.CMU.EDU> location: http://legend.gwydion.cs.cmu.edu:8001/gwydion/ ftp://legend.gwydion.cs.cmu.edu/afs/cs.cmu.edu/project/gwydion/release/mindy-1.3.tar.gz description: A partial implementation of Dylan developed by the Gwydion Project at CMU for internal purposed pending the further development of a full implementation of Dylan. It is being released in the public domain as a vehicle for introducing the language to new users. requires: Gcc, Gmake, Flex, Bison ports: MACH on DECstation, HP-UX on HP 700, OSF1 on Alpha, Irix on SGI updated: 1995/05/06 language: EuLisp package: Feel (Free and Eventually Eulisp) version: 0.75 parts: interpreter, documentation author: Pete Broadbery <pab@maths.bath.ac.uk> location: ftp://ftp.bath.ac.uk/pub/eulisp 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: ? location: ftp://lisp-sun1.slisp.cs.cmu.edu/pub/* 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 <rharris@ptolemy2.rdrc.rpi.edu> ? location: ftp://parcftp.xerox.com/pcl/* 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 <wade@leland.Stanford.EDU> location: ftp://sunrise.stanford.edu/pub/wcl/* ftp://gummo.stanford.edu/miscellany/wcl 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: <wcl-request@sunrise.stanford.edu> contact: <wcl@sunrise.stanford.edu> updated: 1992/10/28 language: Common Lisp package: KCL (Kyoto Common Lisp) version: ? parts: compiler(->C), interpreter author: T. Yuasa <yuasa@tutics.tut.ac.jp>, M. Hagiya <hagiya@is.s.u-tokyo.ac.jp> location: ? ftp://rascal.ics.utexas.edu/pub/kcl*.tar.Z 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 <wfs@cli.com>, <wfs@rascal.ics.utexas.edu> location: ftp://rascal.ics.utexas.edu/pub/akcl-*.tar.Z 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: ? location: ftp://export.lcs.mit.edu/contrib/CLX.R5.01.tar.Z 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: 1994/07/12 parts: interpreter, bytecode compiler, runtime library, editor author: Bruno Haible <haible@ma2s2.mathematik.uni-karlsruhe.de>, Michael Stoll <michael@rhein.iam.uni-bonn.de> location: ftp://ma2s2.mathematik.uni-karlsruhe.de/pub/lisp/clisp ftp://sunsite.unc.edu/pub/Linux/development/lisp/ ftp://tsx-11.mit.edu/pub/linux/packages/lisp/ 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 <haible@ma2s2.mathematik.uni-karlsruhe.de> updated: 1994/07/12 language: Common Lisp package: Cartier's Contribs version: 1.2 parts: libraries, documentation author: Guillaume Cartier <cartier@math.uqam.ca> location: ftp://cambridge.apple.com/pub/mcl2/contrib/Cartiers* description: libraries for MCL requires: Macintosh Common Lisp discussion: comp.lang.lisp.mcl updated: 1994/04/18 language: Common Lisp package: QT-OBJECTS version: ? parts: library author: Michael Travers <mt@media.mit.edu> and others location: ? description: interface between MCL and QuickTime requires: Macintosh Common Lisp discussion: comp.lang.lisp.mcl updated: 1994/04/18 language: Common Lisp package: Memoization ? version: ? parts: library author: Marty Hall <hall@aplcenmp.apl.jhu.edu> location: ftp://archive.cs.umbc.edu/pub/Memoization 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: ? location: ftp://ftp.gmd.de/gmd/gina N.America: ftp://export.lcs.mit.edu/contrib/? 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@gmd.de updated: ? language: Common Lisp package: CLiCC version: 0.6.4 parts: compiler(->C), runtime library author: Heinz Knutzen <hk@informatik.uni-kiel.de>, Ulrich Hoffman <uho@informatik.uni-kiel.de>, Wolfgang Goerigk <wg@informatik.uni-kiel.de> location: ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/clicc* 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/06/25 language: Common Lisp package: Hyperlisp version: 2.1f parts: ? author: Joe Chung, MIT Media Laboratory location: ftp://cambridge.apple.com/pub/mcl2/contrib/hyperlisp21f.sit.hqx description: Hyperlisp is a real-time MIDI programming environment embedded in Macintosh Common Lisp. The environment was developed specifically for the Hyperinstruments project at the MIT Media Laboratory, and is optimized for interactive systems which require fast response times. Hyperlisp provides two main services for the music programmer: routines for MIDI processing and primitives for scheduling the application of functions. Programs written in Macintosh Common Lisp can use these services for a wide variety of real-time MIDI applications. updated: 1994/04/18 language: Franz Lisp package: Liszt? version: ? parts: compiler(->C) author: port to C by J W Dalton <jeff@festival.ed.ac.uk> location: 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 <bbirch@hemel.bull.co.uk> location: ftp://ftp.cs.cmu.edu/afs/cs.cmu.edu/user/mkant/Public/Lisp from implementations/reflisp/* 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 <dbetz@apple.com> location: ftp://wasp.eng.ufl.edu/pub/xlisp* US Mail: contact Tom Almy <toma@sail.labs.tek.com> Windows: ftp://ftp.cs.orst.edu/software/prog_lang/xlisp/xlisppc* Version2.0: ftp://cs.orst.edu/pub/xlisp/* Macintosh: ftp://netcom.com/pub/bskendig/? (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 location: bookstore... description: ? (A short synopsis might help if anyone has one) updated: 1988 language: Lisp package: franz lisp opus version: 38.92 and 38.93b parts: ? author: ? location: ftp://ftp.cs.cmu.edu/user/ai/lang/others/franzlsp/ ftp://macbeth.cogsci.ed.ac.uk:/pub/franz-for-NetBSD/ http://www.aiai.ed.ac.uk/~jeff/franz-for-386.html description: Franz Lisp is a dialect of Lisp that predates Common Lisp. It is very similar to MacLisp. It lacks full lexical scoping. discussion: franz-friends-request@berkeley.edu ports: 68K Suns, VAX 750s, and ICL Perqs running PNX. NetBSD updated: ? language: Lisp (WOOL - Window Object Oriented Language) package: GWM (Generic Window Manager) version: 1.8c parts: interpreter, examples author: Colas Nahaboo location: ftp://ftp.x.org/contrib/window_managers/gwm/gwm-1.8c.tar.gz France: ftp://koala.inria.fr/pub/gwm/gwm-1.8c.tar.gz description: Gwm is an extensible window manager for X11. It is based on a WOOL kernel, an interpreted dialect of lisp with specific window management primitives. discussion: <gwm-talk@sophia.inria.fr> help: <gwm@sophia.inria.fr> contact: <gwm@sophia.inria.fr> updated: 1995/12/08 language: elisp (Emacs Lisp) package: ILISP version: 5.0 parts: Emacs interface author: ?? Ivan Vazquez <ivan@haldane.bu.edu> location: ftp://haldane.bu.edu/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: elisp (Emacs Lisp) package: GNU Emacs version: 19.30 parts: editor, interpreter, documentation, source debugger author: Richard Stallman and others location: pub/gnu/emacs-19.30.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: 1995/11/29 language: elisp (Emacs Lisp) package: Lucid Emacs (lemacs) version: 19.10 parts: ? interpreter author: kyle@crystal.wonderworks.com location: ftp://LUCID.COM/pub/lemacs/* description: A version of Emacs based on Emacs 19. Mirrored at other sites including: ftp://cs.uiuc.edu/pub/epoch-files/lemacs/ ftp://self.stanford.edu/pub/lemacs-19.10/ bugs: alt.lucid-emacs.bug, bug-lucid-emacs@lucid.com discussion: alt.lucid-emacs.help, help-lucid-emacs@lucid.com updated: 1994/06/01 language: ? Lisp, X package: winterp version: 2.03 parts: interpreter, documentation, examples author: Niels P. Mayer <mayer@eit.com> or <mayer@netcom.com> location: ftp://ftp.x.org/contrib/devel_tools/winterp-2.*.tar.gz description: An object-oriented rapid prototyping, development and delivery environment for building extensible applications with the OSF/Motif UI Toolkit and Xtango-based graphics/animation. ports: UNIX discussion: comp.lang.lisp.x. announcements: winterp@netcom.com updated: 1994/06/24 language: Lisp iref: (Lisp) Tim Budd's C++ implementation of Kamin's interpreters language: LISP, awk package: A Lisp interpreter in awk version: ? parts: Interpreter, library, reference, example (ELIZA, tail-recursive Scheme interpreter (with library and examples)) author: Darius Bacon <djello@well.sf.ca.us> location: alt.sources (May 31, 1994) description: A relatively simple interpreter (no garbage collection or tail recursion) implemented in AWK. Variables have dynamic scope, but with a single namespace. Scheme names used for primitives and special forms. updated: 1994/05/31 language: lisp package: walk version: ? parts: interpreter, nroff document author: Roger Rohrbach location: alt.sources (May 31, 1994) description: A Lisp interpreter written in old awk. reference: McCarthy, J. Recursive Functions of Symbolic Expressions and their Computation by Machine, Part I. Comm. ACM, 3, 4, pp. 185-195 April 1960 Aho, A., Weinberger, P., & Kernighan, B.W. The Awk Programming Language. Addison-Wesley, Reading, MA 1988 updated: 1989/01/03 language: Oaklisp package: oaklisp version: 1.2 parts: interface, bytecode compiler, runtime system, documentation author: Barak Pearlmutter, Kevin Lang location: ftp://f.gp.cs.cmu.edu/afs/cs.cmu.edu/user/bap/oak/ftpable/* 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: Logo package: logo version: 4 parts: interpreter author: ? location: comp.sources.unix archive volume 10 description: ? updated: ? language: Logo package: Berkeley Logo version: 3.3 parts: interpreter author: Brian Harvey <bh@anarres.CS.Berkeley.EDU> location: ftp://anarres.cs.berkeley.edu/pub/ucblogo/* http://http.cs.berkeley.edu/~bh/ 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: 4.2d parts: interpreter author: George Mills <mills@athena.lkg.dec.com> location: ftp://cher.media.mit.edu/pub/comp.lang.logo/programs/mswlogo Source may require emailing George Mills. description: A windows front-end for Berkeley Logo bugs: George Mills <mills@athena.lkg.dec.com> ports: MS Windows 3.x status: activly developed updated: 1995/12/20 language: Scheme package: Schematik version: parts: programming environment author: Chris Kane, Max Hailperin <max@nic.gac.edu> location: ftp://ftp.gac.edu/pub/next/scheme/* Europe: ftp://ftp.informatik.uni-muenchen.depub/next/ProgLang 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 (native machine code) author: Norman Adams, David Kranz, Richard Kelsey, James Philbin, and Jonathan Rees. location: ftp://ftp.ai.mit.edu/pub/systems/t3.1 description: a Scheme-like language developed at Yale. T is written in itself and compiles to efficient native code. Includes a Scheme environment. (A multiprocessing version of T is available from masala.lcs.mit.edu:/pub/mult) bugs: kranz@lcs.mit.edu ports: Decstation, Sparc, Iris. Old m68k version. contact: David Andrew Kranz <kranz@lcs.mit.edu> updated: 1991/11/26 language: Scheme package: scm version: 4e1 parts: interpreter, conformance test, documentation author: Aubrey Jaffer <jaffer@zurich.ai.mit.edu> location: ftp://altdorf.ai.mit.edu/archive/scm/scm* ftp://prep.ai.mit.edu/pub/gnu/jacal/scm*.tar.gz ftp://ftp.cs.indiana.edu/pub/scheme-repository/imp/scm*.tar.gz Canada: ftp://nexus.yorku.ca/pub/oz/scheme/new/* Europe: ftp://ftp.maths.tcd.ie/pub/bosullvn/jacal/* description: Fast portable R4RS Scheme interpreter. conformance: Revised^4 Report on the Algorithmic Language Scheme, IEEE P1178 specification. restriction: GNU General Public License requires: SLIB (pointers to it in documentation) ports: Amiga, Atari-ST, MacOS, MS-DOS, OS/2, NOS/VE, Unicos, VMS, Unix. ASCII and EBCDIC both supported. status: actively developed contributions: send $$$ to Aubrey Jaffer, 84 Pleasant St., Wakefield, MA 01880 updated: 1994/04/29 language: Scheme package: Scheme Library (slib) version: 2a1 parts: library, documentation author: ?? Aubrey Jaffer <jaffer@ai.mit.edu> location: in ftp://altdorf.ai.mit.edu/archive/scm/slib*.tar.Z ftp://prep.ai.mit.edu/pub/gnu/jacal/slib*.tar.gz ftp://ftp.maths.tcd.ie/pub/bosullvn/jacal/slib*.tar.gz ftp://ftp.cs.indiana.edu/pub/scheme-repository/imp/slib*.tar.gz 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 <jaffer@zurich.ai.mit.edu> updated: 1993/10/09 language: Scheme package: Hobbit version: release 4b parts: compiler(->C), documentation author: Tanel Tammet <tammet@cs.chalmers.se> location: ftp://ftp.cs.chalmers.se/pub/users/tammet/hobbit4b.tar.gz It is more convenient to ftp the stuff, read the paper and more by using the WWW URL - http://www.cs.chalmers.se/pub/users/tammet/home.html 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. reference: ftp://ftp.cs.chalmers.se/pub/users/tammet/hobbit.ps.gz requires: scm 4b3 updated: 1995/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 <gjc@world.std.com> location: ftp://ftp.std.com/pub/gjc ftp://ftp.cs.indiana.edu 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. Small executable (42k on VAX). restriction: none besides non-removal of copyright notice. ports: VAX/VMS, VAX Unix, Sun3, Sun4, Amiga, Macintosh, MIPS, Cray, ALPHA/VMS, Windows NT/WIN32, OS/2. portability: Liked by ANSI C compilers and C++ compilers. e.g. gcc -Wall 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/04/29 language: 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) location: ftp://altdorf.ai.mit.edu/archive/scheme-7.2 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 location: ftp://gatekeeper.dec.com/pub/DEC/Scheme-to-C/* 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, NT, 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 <eg@unice.fr> location: ftp://kaolin.unice.fr/pub/STk-1.00.tar.gz 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 location: ftp://altdorf.ai.mit.eduarchive/pc-scheme/* 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" location: 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 <feeley@iro.umontreal.ca> location: ftp://ftp.iro.umontreal.ca/pub/parallele/gambit/* 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: scsh version: 0.4 parts: parser, libraries author: Olin Shivers, Brian Carlstrom <bdc@blackjack.ai.mit.edu> and David Albertz location: ftp://clark.lcs.mit.edu/pub/su/scsh/scsh.tar.z ftp://swiss-ftp.ai.mit.edu/pub/su/scsh/scsh.tar.z description: Scsh is a Unix shell that is embedded within R4RS Scheme. It provides high-level shell notation and full access to the Unix system calls. The current implementation is built on top of Scheme 48, version 0.36. Real interactive use needs a parser for an sh-like syntax, job control, and the gnu readline library. If you're interested in hacking on these things, drop us a line at scheme-underground@ai.mit.edu. We've got designs for most of this stuff; we're just short on time and bodies. portability: easy to port ports: SunOS, NetBSD, Linux, HP-UX, NeXTSTEP (on intel) discussion: <scsh@martigny.ai.mit.edu> bugs: <scsh-bugs@martigny.ai.mit.edu> contact: <scsh-request@martigny.ai.mit.edu> updated: 1995/11/01 language: Scheme package: Elk (Extension Language Kit) version: 3.0 parts: interpreter, dynamically-loadable libraries, run-time, documentation, examples. author: Oliver Laumann <net@cs.tu-berlin.de> location: http://www.informatik.uni-bremen.de/~net/elk ftp://ftp.x.org/contrib/devel_tools/elk-3.0.tar.gz Europe: ftp://ftp.uni-bremen.de/pub/programming/languages/scheme/elk/elk-3.0.tar.gz description: Elk is a Scheme implementation designed as an embeddable, reusable extension language subsystem for applications written in C or C++. Elk is also useful as a stand-alone Scheme implementation, in particular as a platform for rapid prototyping of X11-based Scheme programs. conformance: R^4RS reference: Oliver Laumann and Carsten Bormann, Elk: The Extension Language Kit, USENIX Computing Systems, vol 7, no 4, 1994. features: + Full incremental, dynamic loading on many platforms + Freezing of interpreter/application into executable file + C/C++ programmer's interface for language interoperability + Scheme bindings for X11 Xlib, Xt, Athena and Motif widgets + UNIX interface (not restricted to POSIX) + debugger, bitstrings, records, regular expressions + stop-and-copy and generational incremental garbage collector + 230+ pages of documentation (troff and PostScript) ports: numerous UNIX platforms (see MACHINES in the distribution). status: Elk was first published in 1989. announcements: comp.lang.scheme updated: 1995/08 language: Scheme package: libscheme version: 0.5 parts: embedded interpreter author: Brent Benson <Brent.Benson@mail.csd.harris.com> location: ftp.cs.indiana.edu in imp/libscheme-0.5.tar.gz description: An embedded interpreter for Scheme written in C, can be used as a command interpreter or extension language, and is easily extended in C with new primitive types, primitve functions and syntax. Now supports linkage with C++. conformance: Revised^4 Report on the Algorithmic Language Scheme. updated: 1994/10/21 language: Scheme package: ezd (easy drawing for programs on X displays) version: 15mar93 parts: interpreter/server author: ? location: ftp://gatekeeper.dec.com/pub/DEC/ezd/* 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 <bartlett@decwrl.dec.com> ? updated: 1993/03/10 language: Scheme package: XScheme version: 0.28 parts: ? author: David Betz <dbetz@apple.com> location: ftp://nexus.yorku.ca/pub/scheme/* description: ? discussion: comp.lang.lisp.x contact: ? updated: 1992/02/02 language: Scheme package: Fools' Lisp version: 1.3.2 parts: ? author: Jonathan Lee <jonathan@scam.berkeley.edu> location: ftp://scam.berkeley.edu/src/local/fools.tar.Z 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: ? location: ftp://nexus.yorku.ca/pub/scheme/* description: ? contact: ? updated: ? language: Scheme package: UMB Scheme version: ? parts: ?, editor, debugger author: William Campbell <bill@cs.umb.edu> location: ftp://nexus.yorku.ca/pub/scheme/* description: ? conformance: R4RS Scheme ports: ? updated: ? language: Scheme package: PseudoScheme version: 2.8 parts: translator(Common Lisp) author: Jonathan Rees <jar@cs.cornell.edu> location: ? 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: ? parts: ? author: Chris Hanson ? location: ftp://altdorf.ai.mit.edu/archive/cph/sos.tar.gz description: ? updated: ? language: Scheme package: Similix version: 5.0 parts: partial evaulator, debugger author: Anders Bondorf <anders@diku.dk> location: ftp://ftp.diku.dk/pub/diku/dists/Similix.tar.Z 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 <anders@diku.dk> updated: 1993/05/18 language: Scheme package: syntax-case version: 2.1 parts: macro system, documentation author: R. Kent Dybvig <dyb@cs.indiana.edu> location: ftp://cs.indiana.edu/pub/scheme/syntax-case.tar.Z Macintosh: ftp://maya.dei.unipd.it/pub/mac/gambit/ 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 <campbell@redsox.bsw.com> location: 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 location: bookstore, and ftp://unix.sri.com/pub/norvig/* description: ? updated: ? language: Prolog package: Amzi! Logic Explorer version: 3.3 parts: interpreter author: Amzi! inc. location: http://www.amzi.com/share.htm description: Full tutorial and interpreted development environment restriction: shareware for non-personal use ports: Windows contact: Amzi! inc. info@amzi.com updated: 1996/06/01 language: Scheme package: Psd (Portable Scheme Debugger) version: 1.1 parts: debugger author: Kellom{ki Pertti <pk@cs.tut.fi> location: ftp://cs.tut.fi/pub/src/languages/schemes/psd.tar.Z 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: ? location: ftp://parcftp.xerox.com/pub/mops/* 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 <gregor@parc.xerox.com> updated: 1992/12/14 language: Scheme package: VSCM version: V0r3 parts: runtime, bytecode compiler, bytecode interpreter author: Matthias Blume <blume@cs.princeton.edu> location: ftp://ftp.cs.indiana.edu/pub/scheme-repository/imp/vscm*.tar.gz Germany: ftp://faui80.informatik.uni-erlangen.de/pub/scheme/yorku/imp/vscm* UK: ftp://unix.hensa.ac.uk/pub/uunet/languages/lisp/scheme/repository/imp/vscm* 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.) conformance: R4RS, IEEE P1178 features: exception and interrupt handling, executable portable memory images, coroutines, continuations with multiple arguments 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 <oz@ursa.sis.yorku.ca>, David Keldsen, Pontus Hedman location: 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.9b parts: interpreter, compiler(->ANSI C), runtime author: Manuel Serrano <Manuel.Serrano@inria.fr> location: ftp://ftp.inria.fr/INRIA/Projects/icsla/Implementations/bigl* http://cuiwww.unige.ch/~serrano/bigloo.html description: The main goal of Bigloo is to deliver small and fast stand alone applications. conformance: IEEE Scheme standard with some extensions for regex handling features: Optimization supported. ports: sun, sony news, sgi, linux, hp-ux portability: very high for unix systems updated: 1997/06/24 language: Scheme package: Scheme84 version: ? parts: ? author: ? location: 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: C++/Scheme package: Header2Scheme version: 1.1 parts: Includes a modified Scheme (libscheme?) which is used to manipulate C++ objects described by ANSI C++-Compliant header files author: Kenneth B Russell: kbrussel@media.mit.edu location: http://www-white.media.mit.edu/~kbrussel/Header2Scheme/ description: Header2Scheme is an automatic C++ to Scheme (SCM) foreign function interface generator. It is a tool for creating a simple, consistent Scheme interface to a large number of C++ classes. Header2Scheme works by traversing a directory tree containing header files for a C++ class library and creates code which implements a backend for a Scheme interface to the public interfaces of the described classes. It has been successfully used to generate Ivy, a Scheme interface to the Open Inventor 3D graphics toolkit. updated: 1995/11/15 language: Scheme iref: (Scheme) Tim Budd's C++ implementation of Kamin's interpreters language: Scheme iref: (Proxy) Proxy 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: C, nroff, texinfo, latex, html, autodoc package: c2man version: 2.0 patchlevel 41 parts: documentation generator (C -> nroff -man, -> texinfo, -> latex, -> html, -> autodoc) author: Graham Stoney <greyham@research.canon.com.au> location: ftp source and patches from any comp.sources.misc archive. (the version in the comp.sources.reviewed archive is obsolete) package: ftp://ftp.research.canon.com.au/pub/misc/c2man/c2man.tar.gz patches: ftp://ftp.research.canon.com.au/pub/misc/c2man/patches/ 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, LaTeX or HTML 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 requires: yacc/byacc/bison, lex/flex, and nroff/groff/texinfo/LaTeX. ports: Unix, OS/2, MSDOS, VMS, Amiga. portability: very high for unix, via Configure status: user-supported; contributions by users are encouraged. discussion: c2man mailing list: send "subscribe c2man" (in the message body) to majordomo@research.canon.com.au help: from the author and other users on the mailing list: c2man@research.canon.com.au announcements: patches appear first in comp.sources.bugs, and then in comp.sources.misc. updated: 1996/10/17 language: HP-GL, Postscript package: hp2ps version: 1.9b parts: interpreter author: Alun Jones <alun@texis.com> location: ftp://ftp.wftpd.com/hp2ps19b.zip description: hp2ps is an HP-GL interpreter that is written in Postscript. It runs mostly on the printer itself. There is a small C program, provided mainly to circumvent Postscript's problems with the ^C character, which is a prominent part of HPGL's text support. The C program is not necessary if the HP-GL does not contain text, or uses a different label terminator. Version 1.9c appears lost - anyone who has a copy, please send it to the author. restriction: hp2ps is free for most use - distribution with commercial products, or use in a commercial setting requires agreement with the author, and possible licencing fees. updated: 1993/10 language: Lout package: Lout version: 3.06 parts: translator(Lout->Postscript), documentation author: Jeffrey H. Kingston <jeff@cs.su.oz.au> location: ftp://ftp.cs.su.oz.au/jeff/lout/ ftp://ftp.sunet.se/pub/text-processing/lout/lout/ 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: 3.3 parts: interpreter, ? author: L. Peter Deutsch <ghost@aladdin.com> location: ftp pub/GNU/ghostscript* from a GNU archive site ftp://ftp.cs.wisc.edu:/pub/X/ghostscript*3.3* description: A postscript interpreter with previewers for serval systems and many fonts. updated: 1996/05/29 language: Tps (Tiny/Transportable Postscript) package: Tps version: 2.1 parts: interpreter, documentation. author: Dennis Heimbigner <dennis@cs.colorado.edu> location: ftp://ftp.cs.colorado.edu/pub/cs/distribs/arcadia/tps.tar.Z description: Embedded, Transportable, Agent Language based on Postscript. conformance: N.A. features: + Safety. + State Accessibility. + Multiple Interpreters. + Extensible types. + Extensible execution stack frames. bugs: Send bug reports to author. requires: c++ compiler. ports: Variety of Unix platforms: Solaris(1,2), IRIX, HPUX, OSF1. status: active, supported. help: from author. support: from author. announcements: comp.lang.misc updated: ? cref: distributed cref: embeddable cref: scripting languages cref: Forth family languages lref: Postscript language: Postscript, Common Lisp package: PLisp version: ? parts: translator(Postscript), programming environment(Postscript) author: John Peterson <peterson-john@cs.yale.edu> location: ? description: ? updated: ? language: SGML (Standardized Generalized Markup Language) package: sgmls version: 1.1 parts: parser author: James Clark <jjc@jclark.com> and Charles Goldfarb location: ftp://ftp.uu.net/pub/text-processing/sgml/sgmls-1.0.tar.Z UK: ftp://ftp.jclark.com/sgmls/sgmls-1.1.tar.Z 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 <jjc@jclark.com> 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 <jjc@jclark.com> location: 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? location: ? 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 location: ftp://ftp.cwi.nl/pub/cweb/? 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: ? location: ftp://ics.uci.edu/TeX/web2c.tar.Z Europe: ftp://ftp.th-darmstadt.de/pub/tex/src/web2c/web2c.tar.Z description: contact: Karl Berry <karl@claude.cs.umb.edu> updated: 1993/02/22 language: Web package: Web version: ? parts: translator(Pascal) author: Donald Knuth location: ftp://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 <ross@spam.adelaide.edu.au> location: 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 logic programming languages ------------------------------------------------------------------------------- category: logic programming languages description: languages designed to manipulate logic predicates. Often used to build expert systems language: BABYLON package: BABYLON version: 2.3 parts: ai workbench (expert system development environment) author: members of GMD, FIT-KI location: ftp://ftp.gmd.de/gmd/ai-research/Software/Babylon/* or in WWW from http://www.gmd.de/ description: BABYLON is a development environment for expert systems. It includes frames, rules, constraints, a prolog-like logic formalism, and a description language for diagnostic applications (texi). reference: Christaller, T., Di Primio, F., Voss, A. (Hrsg.). Die KI-Werkbank Babylon. Eine offene und portable Entwicklungsumgebung fuer Expertensysteme. Addison-Wesley, 1989, ISBN 3-89319-155-0 Christaller, T., Di Primio, F., Voss, A. (eds). The AI-Workbench BABYLON. An open and portable development environment for expert systems. Academic Press, London, 1992, ISBN 0-12-174235-0; Guesgen, H.-W., CONSAT: A system for constraint satisfaction. Research Notes in Artificial Intelligence, Morgan Kaufman, San Mateo, 1989. requires: Common Lisp, works under: Macintosh Common Lisp, Franz Allegro, CLisp, CMU, AKCL etc. contact: juergen.walther@gmd.de updated: 1994/06/22 language: Goedel package: Goedel version: 1.4 parts: book, compiler, user manual, system modules, example programs author: Jiwei Wang <jiwei@lapu.bristol.ac.uk> location: ftp://ftp.cs.kuleuven.ac.be/pub/logic-prgm/goedel/README ftp://ftp.cs.bris.ac.uk/goedel/README both contain further pointers. 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. reference: The Goedel Programming Language, P.M. Hill & J.W. Lloyd, MIT Press, 1994, ISBN 0-262-08229-2. requires: SICStus Prolog version 2.1 #6 (or later). Run time system for SPARCstation provided, though. status: underging continuing development contact: goedel@compsci.bristol.ac.uk updated: 1994/05/16 language: Mercury package: Mercury version: 0.7.3 parts: compiler(->C), library, run-time, profiler, documentation, GUI interface (tcl/tk + openGL), examples author: mercury@cs.mu.oz.au (The Mercury Team) location: Australia: ftp://turiel.cs.mu.oz.au/pub/mercury USA: ftp://sunsite.unc.edu/pub/linux/devel/lang/mercury Europe: ftp://ftp.csd.uu.se/pub/Mercury reference: see <http://www.cs.mu.oz.au/mercury> description: Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs. The home Mercury ftp site, turiel.cs.mu.oz.au, contains /pub/mercury/mercury-0.7.3-extras.tar.gz which includes interfaces to OpenGL libraries, Tcl/Tk, a CGI library, an ODBC interface, and a few other goodies. We provide this archive separately because not all of the extras are under the GPL. features: + no non-logical side-effects (even I/O is purely declarative) + strong polymorphic types + strong modes + determinism system + module system + supports higher-order programming + very efficient bugs: <mercury-bugs@cs.mu.oz.au> restriction: GNU Public Licence (GPL plus LGPL) requires: GNU C 2.6.3 or higher and GNU Make 3.69 or higher ports: IRIX 5, Solaris, Alpha/OSF, Linux, Ultrix, BSD, Windows 95/NT portability: should port to any POSIX-like system without too much trouble status: undergoing active development discussion: mailing list <mercury-users-request@cs.mu.oz.au>, comp.lang.prolog and/or comp.lang.misc support: <mercury@cs.mu.oz.au> announcements: mailing list <mercury-announce-request@cs.mu.oz.au> contact: <mercury@cs.mu.oz.au> updated: 11/1997 language: Isabelle package: Issabelle-93 version: ? parts: ? author: Written by Lawrence C Paulson and Tobias Nipkow? location: ftp://ftp.cs.cmu.edu/afs/cs.cmu.edu/user/mkant/Public/Lisp/ops5* 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 language: Janus package: qdjanus version: 1.3 parts: translator(prolog) author: Saumya Debray <debray@cs.arizona.edu> location: ftp://cs.arizona.edu/janus/qdjanus/* 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 <gudeman@cs.arizona.edu> location: ftp://cs.arizona.edu/janus/jc/* 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. location: ftp://gatekeeper.dec.com/pub/plan/Life.tar.Z 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 <vanroy@prl.dec.com> updated: 1992/12/14 language: Lolli (logic programming) package: Lolli version: ? parts: ? author: ? Josh Hodas <hodas@saul.cis.upenn.edu> ? location: ftp://ftp.cis.upenn.edu/pub/Lolli/Lolli-07.tar.Z. 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: ? location: ? ftp://nuri.inria.fr/lang/Parlog.tar.Z 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 location: ftp://sbcs.sunysb.edu/pub/sbprolog 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 location: ftp://sbcs.sunysb.edu/pub/XSB/XSB.tar.Z 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: ? location: ftp://ftp.dcs.ed.ac.uk/pub/dts/mod-prolog.tar.Z description: SB-Prolog version 3.1 plus modules restriction: GNU General Public License ports: Sparc contact: Brian Paxton <mprolog@dcs.ed.ac.uk> updated: ? language: ALF [prolog variant] package: alf (Algebraic Logic Functional programming language) version: ? parts: runtime, compiler(Warren Abstract Machine) author: Rudolf Opalla <opalla@julien.informatik.uni-dortmund.de> location: ftp://ftp.germany.eu.netpub/programming/languages/LogicFunctional 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 location: mail to Joxan Jaffar <joxan@watson.ibm.com> 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 <roland@bruce.cs.monash.edu.au>, Joxan Jaffar updated: 1992/10/14 language: Prolog + constraints over Finite Domains and Booleans package: clp(FD) version: 2.2 parts: compiler clp(FD)->C, FD solver, runtime, debugger. author: Daniel Diaz - INRIA Rocquencourt - FRANCE location: ftp://ftp.inria.fr/INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/clp_fd description: clp(FD) is a constraint logic programming language over Finite Domains. clp(FD) is based on the wamcc Prolog compiler which translates Prolog to C. clp(FD) provides several constraints "a la CHIP" on Finite Domains and Booleans and some facilities to build new constraints. clp(FD) is 4 times faster than CHIP v3.2 on average. restriction: free (see COPYRIGHT notice) requires: GNU C (gcc) version 2.4.5 or higher ports: Sparc workstations, PC under linux, sony mews, dec ultrix portability: Generally to 32-bit machines with gcc. contact: Daniel Diaz (Daniel.Diaz@inria.fr) updated: 1994/08/01 language: Prolog package: wamcc version: 2.2 parts: compiler Prolog->C, runtime, Prolog debugger, WAM debugger. author: Daniel Diaz - INRIA Rocquencourt - FRANCE location: ftp://ftp.inria.fr/INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/wamcc description: wamcc is a Prolog Compiler which translates Prolog to C via the WAM. wamcc has a syntax very close to the future ansi standard. wamcc offers the most usual built-in predicates, a top-level, a Prolog debugger and a WAM debugger. wamcc is designed to be easily extended (e.g. see clp(FD)). From an efficiency point of view, wamcc is between SICStus "emulated" and SICStus "native code" on Sparc machines (1.5 times faster than SICStus emulated, 1.5 times slower than SICStus "native code"). restriction: free (see COPYRIGHT notice) requires: GNU C (gcc) version 2.4.5 or higher ports: Sparc workstations, PC under linux, sony mews, dec ultrix portability: Generally to 32-bit machines with gcc. contact: Daniel Diaz (Daniel.Diaz@inria.fr) updated: 1994/08/01 language: Prolog (variant) package: Aditi version: Beta Release parts: interpreter, database author: Machine Intelligence Project, Univ. of Melbourne, Australia location: 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: <aditi@cs.mu.oz.au> 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 <brisset@irisa.fr> location: ftp://ftp.irisa.fr/pm/* 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: ? location: ftp://ftp.cs.wisc.edu from ? 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: ? location: ftp://clement.info.umoncton.ca/BinProlog/* 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 <tarau@info.umoncton.ca> updated: 1993/04/03 language: Prolog package: SWI-Prolog version: 1.7.2 parts: ? author: Jan Wielemaker <jan@swi.psy.uva.nl> location: ftp://swi.psy.uva.nl/pub/SWI-Prolog OS/2: ftp://mpii02999.ag2.mpi-sb.mpg.de/pub/toolw/SWI/* 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 <atoenne@mpi-sb.mpg.de> updated: 1993/07/23 language: Prolog package: Beta-Prolog version: 1.5 parts: interpreter(?), libraries, debugger author: Neng-Fa Zhou <zhou@mse.kyutech.ac.jp> form "Real Name <email@address>". Surface mail addresses are not used unless there is no email address. location: ftp://ftp.kyutech.ac.jp/pub/Language/prolog/* description: ? conformance: Incorporates most built-in predicates in ISO-Prolog. updated: 1995/04/05 language: Prolog package: Frolic version: ? parts: ? author: ? location: ftp://cs.utah.edu/pub/frolic.tar.Z description: ? requires: Common Lisp contact: ? updated: 1991/11/23 language: Prolog package: ? Prolog package from the University of Calgary ? version: ? parts: ? author: ? location: ftp://cpsc.ucalgary.ca/pub/prolog1.1/prolog11.tar.Z 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 location: ftp://titan.rice.edu/public/slog.sh 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 location: ftp://sics.se/archives/lm-prolog.tar.Z description: ? requires: ZetaLisp contact: ? updated: ? language: Prolog package: Open Prolog version: 1.0.3d22 parts: interpreter, examples author: Michael Brady <beady@cs.tcd.ie> location: ftp://ftp.cs.tcd.ie/pub/languages/open-prolog/* description: Text-oriented Prolog system for the Macintosh (Edimburgh syntax), with a MPW-like worksheet as the main user interface. features: + supports most the features of DEC Prolog or C-Prolog including Definite Clause Grammars + support disjunctive calls, negation, if-then and if-then-else according to the draft ISO Prolog standard + supports program-originated catch-and-throw exception handling conforming to the ISO Draft - Real-number arithmetic and internal database predicates are not supported. + built-in predicates to manage Macintosh dialogs ports: Macintosh contributions: send a postcard contact: Michael Brady <brady@cs.tcd.ie> updated: 1995/06/19 language: Prolog package: UPMAIL Tricia Prolog version: ? parts: ? author: ? location: ftp://ftp.csd.uu.se/pub/Tricia/README description: ? contact: <tricia-request@csd.uu.se> updated: ? language: Prolog package: ?; ? (two systems) version: ?; ? parts: ?; ? author: ? location: ftp://aisun1.ai.uga.edu/ai.prolog/Contents description: ?; ? ports: MSDOS, Macintosh; MSDOS contact: Michael Covington <mcovingt@uga.cc.uga.edu> updated: ?; ? language: Prolog package: XWIP (X Window Interface for Prolog) version: 0.6 parts: library author: ? location: ftp://export.lcs.mit.edu/contrib/xwip-0.6.tar.Z 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: ? location: ftp://ftp.ncc.up.pt/pub/prolog/ytoolkit.tar.Z 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 <zp@ncc.up.pt> updated: 1993/03/02 language: Prolog package: ISO draft standard version: ? (What year??) parts: language definition author: ? location: ftp://ftp.th-darmstadt.de ? description: ? updated: 1992/07/06 language: Prolog iref: (Prolog) 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. location: ftp://ftp.cs.cmu.edu/afs/cs.cmu.edu/user/mkant/Public/Lisp/ops5* 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 <mkant+@cs.cmu.edu> ? updated: 1992/10/17 -- Send compilers articles to compilers@iecc.com, meta-mail to compilers-request@iecc.com. Archives at http://www.iecc.com/compilers