Carnegie Mellon University

Cmu.edu has 1,260 URLs listed in 476 Dmoz categories.

CMU AI Repository Free/Shareware Scheme Implementations
Yet more Scheme implementations from the CMU AI Repository. Many of these are also available from the Indiana University Scheme Repository.
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/scheme/impl/0.html
Top/Computers/Programming/Languages/Lisp/Scheme/Implementations

CLX
An interface between Common Lisp and X Window.
ftp://ftp.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/lisp/gui/clx/0.html
Top/Computers/Programming/Languages/Lisp/Software

Garnet
A user interface development environment for Common Lisp and X11 or Macintosh. It helps you create graphical, interactive user interfaces for your software.
http://www.cs.cmu.edu/Groups/garnet/
Top/Computers/Programming/Languages/Lisp/Software

Elf Meta-Language
Constraint-logic programming language based on LF Logical Framework; a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics that is implemented as an interpreter in Standard ML.
http://www.cs.cmu.edu/~fp/elf.html
Top/Computers/Programming/Languages/Logic-based/Constraint_Logic

TILT Compiler
Self-checking Standard ML compiler, uses Typed Intermediate Languages; while compiling, types are translated with code, type-checking occurs to check compile results; funded by NSF. Descriptions, license, mail list, downloads, links. Carnegie Mellon.
http://www.tilt.cs.cmu.edu/
Top/Computers/Programming/Languages/ML/Implementations

Fox Project
OS based on ML language. Goals: advance art of programming language design and implementation, while applying principles of programming languages to advance art of systems building. Project work: theoretical studies of languages and their traits, develop
http://www.cs.cmu.edu/~fox/
Top/Computers/Programming/Languages/ML/Operating_Systems

Perl 4 Manual
Hypertexted searchable index to man.
http://www-cgi.cs.cmu.edu/cgi-bin/perl-man
Top/Computers/Programming/Languages/Perl/Documentation

Prolog Resource Guide
The complete FAQs from news:comp.lang.prolog
http://www.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/prg/top.html
Top/Computers/Programming/Languages/Prolog

FAQ: Prolog Implementations
Information about Prolog Implementations.
http://www.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/prg/part2/faq.html
Top/Computers/Programming/Languages/Prolog

CMU Free/Shareware Prolog
CMU's AI repository offers a collection of Prolog implementations.
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/0.html
Top/Computers/Programming/Languages/Prolog/Implementations