factoids: from abi the infobot of irc.freenode.net's #tunes
compiled: 04.08.25-14:10:56
location: http://www.tunes.org/~nef/abi/factoids.txt

#ai => [irc+ai] channel for artificial intelligence, logs at http://www.tunes.org/~nef/logs/ai/
#assembler => [irc+asm] channel for assembler, logs at http://www.tunes.org/~nef/logs/assembler/
#compilers => [irc] channel for compiler design and implementation, logs at http://www.tunes.org/~nef/logs/compilers/
#diktuon => [irc+diktuon] channel for diktuon, logs at http://www.tunes.org/~nef/logs/diktuon/
#dolphin => [irc+dolphin] channel for dolphin, logs at http://www.tunes.org/~lar1/logs/dolphin/
#esoteric => [irc+eso] channel for esoteric programming and programming languages, logs at http://www.tunes.org/~nef/logs/esoteric/
#functional => [irc+fp] channel for functional programming, logs at http://www.tunes.org/~nef/logs/functional/
#goo => [irc+goo] channel for GOO, logs at http://www.tunes.org/~nef/logs/goo/
#lisp => [irc+lisp] channel for Lisp, see http://www.cliki.net/IRC
#modtunes => [irc+tunes] channel for moderated noise-free TUNES discussion, old logs at http://www.tunes.org/files/irc/old/
#ocaml => [irc+ocaml] channel for Ocaml, logs at http://www.tunes.org/~nef/logs/ocaml/
#osdev => [irc] channel for OS DEVelopment, logs at http://www.tunes.org/~nef/logs/osdev/
#pldi => [irc] channel for Programming Language Design and Implementation, logs at http://www.tunes.org/~nef/logs/pldi/
#tunes => [irc+tunes] channel for TUNES, logs at http://www.tunes.org/~nef/logs/ http://www.tunes.org/~coreyr/ http://tunes.org/~lar1/logs/tunes/ http://www.tunes.org/files/irc/old/
#ypn => [irc] channel for young programmers, please do not invite them to #tunes
#{} => [irc] channel for noise, logs at http://tunes.org/~nef/logs/%7B%7D/
->lisp => [lisp] (aka alisp ArrowLISP PureLISP) a small purely symbolic LISP interpreter at http://www.t3x.org/LISP/
3053 => [fare] 0xBED
5kbfi => [bf] 5k BrainFuck interpreter at http://justice.loyola.edu/~mcoffey/pr/
61453 => [fare] 0xF00D
99 bottles of beer => [pls+examples] at http://99-bottles-of-beer.ls-la.net http://core.federated.com/~jim/99/
<>:1 => [logic] modality
<>:2 => [symbol] a diamond symbol
<>:3 => [nl] water's Arrow-like human language idea, at http://www.tunes.org/~water/
aard => [ppl] see Aardappel
abbr => [acro] ABBReviation
abc:1 => [edu] an OO instructional system at http://www.public.iastate.edu/~abc/
abc:2 => [pl] at http://www.cwi.nl/~steven/abc/
abcl/1 => [pl] see ABCL
abcl/r => [pl] see ABCL
abcl/r2 => [pl] see ABCL
abigail => [lisp] a computational model of visually-grounded lexical semantics at http://www.neci.nj.nec.com/homepages/qobi/software.html
accent => compiler compiler for the entire class of context-free languages at http://www.combo.org/accent/
accial => [arrow+logic] "A Crash Course in Arrow Logic" at http://citeseer.nj.nec.com/venema97crash.html http://www.phil.uu.nl/preprints/preprints/PREPRINTS/preprint107.ps.Z
acd&i => [compilers+book] _Advanced Compiler Design & Implementation_ at http://www.mkp.com/books_catalog/catalog.asp?ISBN=1-55860-320-4
ace => [c+mpp] JAG's syntax-driven C preprocessor at http://java.sun.com/people/jag/ace/ace.html
acl:1 => [cl] Allegro CommonLisp, free of charge proprietary software at http://www.franz.com
acl:2 => [cl+book] see ansi common lisp
acl2 => [cl] A Computational Logic for Applicative Common Lisp at http://www.cs.utexas.edu/users/moore/acl2/ http://www.cliki.net/ACL2
acoopls => [oo+pl] Analysis and Compilation of OO PLs, at http://user.it.uu.se/~thomasl/wpo/oo-compilation-papers.html
acro => [acro] ACROnym
act-1 => [pl] at http://agents.www.media.mit.edu/people/lieber/Lieberary/OOP/Act-1/
actcomm => ACTive COMMunications systems: active software, active information, active hybrid networks and active resource allocation. at http://actcomm.dartmouth.edu
actor model => [oo] a model for concurrent computation in distributed systems, see actors
actors => [oo] a model for concurrency by Carl Hewitt. actors are autonomous concurrent objects which execute asynchronously. this model provides flexible mechanisms for building parallel and distributed systems
actress => [compilers] an action semantics directed compiler generator at http://www.scms.rgu.ac.uk/staff/db/Actress/
adl => [pl] Actor Design Language at http://www.charis.com/cap/adl/
adt => [acro] Abstract Data Type
aegis => a transaction-based software configuration management system at http://www.canb.auug.org.au/~millerp/aegis/aegis.html
afaik => [acro] As Far As I Know
afair => [acro] As Far As I Recall
afk => [acro] Away From Keyboard
agate => All Good Acronyms Taken, Evidently at http://pages.cpsc.ucalgary.ca/~aycock/agate/
agora => [mud] info repository for multi-user environments (MUDs,MOOs,etc) development at http://agora.cubik.org
agt => [logic] Around Goedel's Theorem at http://www.ltn.lv/~podnieks/
aide => [ui+pbd] Application Independent Demonstrational Environment, PbD toolkit, supports higher-level semantics (errors, macros, and undo/redo) using command trees at http://www.geocities.com/piernot/proj/aide/
aikido => [pl] at http://developers.sun.com/dev/coolstuff/aikido/
air => [ppl+brix+crush+cria+bfe+openspace] aka _QZ, creator of BFE BRiX Cria Crush and OpenSpace, at http://www.qzx.com
aisee => [graph] graph visualization software at http://www.aisee.com
aitkcaia => "An Introduction to Kolmogorov Complexity and Its Applications", by Ming Li and Paul Vitanyi, at http://www.cwi.nl/~paulv/kolmogorov.html
akcl => [cl] Austin Kyoto CommonLisp, see http://www.lisp.org/table/systems.htm#kcl
algebraic semiotics => [ui] at http://www.cs.ucsd.edu/users/goguen/projs/semio.html
algorithm archive:1 => [algorithms] at http://www.mk.ee/~enn/
algorithm archive:2 => [MIA+algorithms] at http://wannabe.guru.org/alg/
algorithms => see sbar, algorithm archive, http://dmoz.org/Computers/Algorithms/
all things cobol => [cobol] the COBOL webring at http://nav.webring.org/cgi-bin/navcgi?ring=cobol;list
alloy => [pl] a high level massively parallel language, unifies oo functional and logic programming styles, at ftp://cs.nyu.edu/pub/local/alloy/
alpaca => [eso+pl+ca] "A Language for Programming Arbitrary Cellular Automata" at http://www.kraml.at/stupid/alpaca.html http://catseye.mine.nu:8080/projects/alpaca-1999.0714/ http://www.catseye.mb.ca/esoteric/alpaca/index.html
also => [pl] a language for extensible multi-user systems at http://citeseer.nj.nec.com/56325.html http://www.cs.cornell.edu/andru/pubs.html ftp://ftp.pmg.lcs.mit.edu/pub/also/
alttlg => [lisp+refl] A Lisp Through the Looking Glass at http://www.cb1.com/~john/thesis/thesis.html
alu => [lisp] Association of Lisp Users at http://www.alu.org
amiga => [hw] see http://dmoz.org/Computers/Systems/Amiga/
amigos => [os] Advanced Mobile Integration in General Operating Systems at http://www.student.cbs.dk/birger/AMIGOS/ ftp://ftp.diku.dk/pub/diku/distlab/amigos/
amulet => [ui+constraints+cpp] at http://www.cs.cmu.edu/Groups/amulet/ see its pred Garnet (lisp-based) and succ OpenAmulet
angel => [MIA+os] at http://www.soi.city.ac.uk/research/sarc/angel.html
ann => [ai] Artificial Neural Networks at http://www.gc.ssr.upm.es/inves/neural/ann1/anntutorial.html
ansi cl => [cl+book] see ansi common lisp
ansi common lisp => [cl+book] at http://www.paulgraham.com/acl.html
anvil => [pl+java] at http://www.njet.org/site/
aoir => the Association Of Internet Researchers at http://aoir.org
aolmp => [aop+lp+mp] Aspect-Oriented Logic Meta Programming at http://www.cs.ubc.ca/labs/spl/projects/aoplogic.html
aom => [oo] Adaptive Object-Model pages at http://www-poleia.lip6.fr/~razavi/aom/
aosd => [aop] Aspect-Oriented Software Development at http://www.aosd.net
aota => [acro] All Of The Above
aphasia => [pl] at http://www.sourceforge.net/projects/aphasia/
apl interpreter => [apl] a APL interpreter at http://lists.canonical.org/pipermail/kragen-hacks/2000-April/thread.html
apld => [pl+book] _Advanced Programming Language Design_ available online at http://www.awprofessional.com/catalog/product.asp?product_id=%7B92E30B39-5D91-45F9-9919-D202BE6341F9%7D
app => [acro] APPlication
apple uis => [apple+ui] at http://www.applefritter.com/ui/
apple2 => [hw] a great hacker's architecture at ftp://ftp.apple.asimov.net/pub/apple_II/
applescript => [pl+apple] at http://www.apple.com/applescript/
araneida => [cl+web] a small extensible free CMUCL-based web server at http://araneida.telent.net
arc => [pl+lisp] a new dialect of Lisp at http://www.paulgraham.com/arc.html http://www.archub.org
arc suggestions => [arc] at http://www.archub.org/arcsug.txt
arch => [acro] ARCHitecture
archaic apples => [apple+hist] at http://archaic-apples.shauny.de
argonaute => [argos+ide] programming environment based upon Argos at http://www-verimag.imag.fr/SYNCHRONE/argonaute-english.html
argos => [pl] an imperative synchronous PL at http://www-verimag.imag.fr/SYNCHRONE/argonaute-english.html
argus => [pl] a system and language for distributed programming at http://www.pmg.lcs.mit.edu/Argus.html
aritha => [pl] at http://groups.yahoo.com/group/public_links/links/People_001000832982/jack_waugh_001000833474/Informatics_001000833541/My_Language_001007030019/ http://membres.lycos.fr/jackwaugh/prog_lang/
arity => [term] the number of arguments a operator, function, method takes
asb => [aop] Aspect Sand Box at http://www.cs.ubc.ca/labs/spl/projects/asb.html
asdl => [syntax] Abstract Syntax Description Language at http://sourceforge.net/projects/asdl/
asm:1 => [pl] assembly, see http://www.linuxassembly.org http://dmoz.org/Computers/Programming/Languages/Assembly/
asm:2 => [theory] Abstract State Machines at http://www.eecs.umich.edu/gasm/
asml => [pl] Abstract State Machine Language at http://research.microsoft.com/fse/
asn.1 => [acro] Abstract Standard Notation 1
aspect => [aop] a projection of an object according to a domain
aspect oriented => [cs] a variation of the last fundamental way of programming, aka lisp-oriented
aspectc => [aop+c] C AOP extension at http://www.cs.ubc.ca/labs/spl/projects/aspectc.html
aspectc# => [c#+aop] at http://aosd.dsg.cs.tcd.ie/AspectCSharp/AspectCSharpHomepage.htm
aspic => [pliant] Annual Symposium on Pliant Implementation and Concepts, see aspic2000
aspic2000 => [pliant] at http://www.ehess.fr/centres/cams/person/pom/aspic.html http://www.tunes.org/~fare/tmp/Pliant/aspic2000report.html
ast:1 => [parsing] Abstract Syntax Tree
ast:2 => [ppl] Andrew S. Tenebaum at http://www.cs.vu.nl/~ast/
astlog => [pl] "a language for examining abstract syntax trees" at http://citeseer.nj.nec.com/crew97astlog.html
atlantis => [pl] at http://redhog.org/Projects/Programming/Past/Atlantis/
atm => [acro] At The Moment
atsc => [cs] Advanced Type Systems in Computing at http://www.cs.nps.navy.mil/research/languages/
automath => [math+pl] at http://www.cs.kun.nl/~freek/aut/
autop => [cs] automatic programming, the synthesis of a program from a specification, based on reuse of generic algorithms through views, at http://www.cs.utexas.edu/users/novak/autop.html
avail => [pl] at http://www.ericsworld.com/Mark/
axel 2000 => [pl+lisp+fp] a new functional PL, runs on CL, produces type checked portable CL code, at http://www.spherum.com
axiomatic => [pl+lp] a minimal pure-specification logic PL with meta-language capability at http://www.axiomaticlanguage.org
ayor => [acro] At Your Own Risk
b5 => [pl] a macro processor / pure functional language with lazy shared evaluation at http://www.sange.fi/~atehwa/b5/
babel => [acro+list] a glossary of computer related abbreviations and acronyms at http://www.geocities.com/ikind_babel/
bandera => [java] Java model checker at http://www.cis.ksu.edu/~santos/bandera/
basile => [ppl] Basile Starynkevitch, experimenting CCG with QISH, at http://www.starynkevitch.net/Basile/
bazar => [pl] at http://homepages.ulb.ac.be/~arigo/bazar/infobase/index.html
bbiaf => [acro] Be Back In A Few
bbl => [acro] Be Back Later
bcpl => [pl] at http://www.cl.cam.ac.uk/users/mr/BCPL.html
beatnik => [pl] at http://www.cliff.biffle.org/esoterica/beatnik.html
beautifier => [syntax] flexible syntax highlighting, supports C#, Eiffel, Euphoria, JScript, Java, Lisp, Mumps, PHP, Pascal, Perl, Python, Scheme, VBScript, x86 Assembler, etc at http://www.beautifier.org
beep => [protocol] a protocol designed as a common basis for other common protocols over IP at http://www.beepcore.org
beer => [pls+examples] see 99 bottles of beer
befunge => [pl+funge] see http://dmoz.org/Computers/Programming/Languages/Befunge/
behavior discussion list => [cs+mlist] behavioral aspects of CS and math, hidden algebra, coalgebra, behavioral equational and observational logics and OBJ systems at http://www-cse.ucsd.edu/groups/tatami/behavior/
betty => [amiga+ui] a Amiga GUI system, based on boopsi, at http://www.cs.utah.edu/~stack/betty/
bfdebug => [bf] at http://freshmeat.net/projects/bfdebug/
bfe => [bochs+air] a graphical frontend for bochs by Air, at http://www.qzx.com/bfe/
bfi => [bf+wince] BrainFuck interpreter for WinCE at http://magnus.freeshell.org/programming.html
bgb1-pl => [pl] based on Scheme and SmallTalk at http://bgb1.hypermart.net
bibop => [mm] BIg Bag of Pages at http://www.memorymanagement.org/glossary/b.html#bibop
bineng => [ppl] mailto:bineng@bespin.cx
bios => [acro] Basic Input Output System
biota => [pl] at http://c2.com/cgi/wiki?BiotaLanguage
bloat => [java] Bytecode-Level Optimization and Analysis Tool at http://www.cs.purdue.edu/s3/projects/bloat/
blog => [web] see weblob
bloop => [pl+geb] bloop floop gloop from GEB, dopl entry at http://cgibin.erols.com/ziring/cgi-bin/cep/cep.pl?_key=BLooP - implementation at http://catb.org/~esr/retro/bloop.shar.gz
bluelightning => [pl] at http://blue.light0.tripod.com
bmo => [refl] Behavioral Meta-Object
boa => [pl+refl] a sw lib for PL construction and augmentation, reflective universal scripting lang, ideas borrowed from Python BETA Self Plan9, at http://web.media.mit.edu/~tpminka/boa/
bochs => [emu] a portable x86 emulator at http://bochs.sourceforge.net
bolt => [pl+oo] a new bytecode-compiled OO language with roots heavily from Smalltalk at http://bolt.sourceforge.net
bonobo => [gnome+reuse] the GNOME architecture for creating reusable software components and compound documents at http://developer.gnome.org/arch/component/bonobo.html
boopsi => [amiga+oo] Basic Object Oriented Programming System for AmigaOS at http://www.cs.utah.edu/~stack/boopsi.html
bop:1 => [term] Buzzword-Oriented Programming, "In order to do BOP, you need a strongly hyped language." -- Bjarne Stroustrop
bop:2 => [prolog+rewriting] conditional term rewriting for Prolog at http://www.cs.ucla.edu/~stott/bop/
borg => [pico] a mobile multi agent platform using Pico at http://borg.rave.org
borneo => [MIA+pl] a "programming system", family of languages and paradigms at http://www.isg.sfu.ca/~hak/Borneo.html
bos => [oo] Basic Object System at http://www.ndim.edrc.cmu.edu/papers/bos.pdf
boxer => [research] at http://www.soe.berkeley.edu/~boxer/
bpmk => [MIA+os] Bits and Pieces MicroKernel at http://www.hut.fi/~will/bpmk/index.html http://www.geocities.com/SiliconValley/5365/bpmk.html
brad cox => [ppl+objc] inventor of Objective C, at http://virtualschool.edu/cox/
brainfork => [bf+js+eso+pl] at http://www.morleysoft.freeserve.co.uk/computing/brainfork.html
brainfuck => [pl+eso] an eight-instruction turing-complete PL at http://www.catseye.mb.ca/esoteric/bf/ http://www.muppetlabs.com/~breadbox/bf/
brainfuck fluff => [bf] at http://www.hevanet.com/cristofd/brainfuck/
brainfuck interperater => [bf] Brainfuck Interpreter Source and Win32 Binary at http://jabberwocky.hn.org/~trans/cpsc/brainfuck.zip
brak => [pl+eso] at http://www.cis.rit.edu/~jerry/Software/brak/
brakes => [java] a portable thread serialization mechanism for Java at http://www.cs.kuleuven.ac.be/~tim/MOS/brakes.html
brb => [acro] Be Right Back
breve => [MIA+c+oo] C oop extension at http://www.angelfire.com/folk/sm0p/breve/ http://www.alpha-beta.org/tk/breve/ http://freshmeat.net/projects/breve/ http://sourceforge.net/projects/breve/
brew => [pl+java] a successor of Java with support for design patterns and protocols at http://www.cis.ohio-state.edu/~gb/cis788.07r/ http://www.cis.ohio-state.edu/~gb/cis888.07g/
brix => [fp+wm] a deterministic concurrent functional x windows system at http://www.cs.bris.ac.uk/~ian/Functional/brix.html
browsable grammars => [ada+cobol+grammar] at http://www.cs.vu.nl/grammars/browsable/
bryan ford => [ppl] the mach/thread migration/xpk guy, at http://www.sleepless.com/people/baford/
bsct => [compilers] Bernoulli Sparse Compiler Toolkit at http://www.cs.cornell.edu/stodghil/bernoulli/bsct/
bsdl => [pl] at http://www.iam.unibe.ch/~booga/documentation/bsdl/
bsod => [windows] Blue Screen Of Death
bst => [logic] Bounded Set Theory at http://pier.botik.ru/PSI/AIReC/logic/bst/bst.html
bugsworld => at http://www.cis.ohio-state.edu/~weide/sce/now/321/labs/project/project.html
butterfly => [pl] at http://sourceforge.net/projects/butter/
buzz => [xml+opml] a XML/OPML editor at http://buzz.sourceforge.net
bwk => [ppl] Brian Kernighan at http://cm.bell-labs.com/cm/cs/who/bwk/index.html
bx => [pl] at http://www.skrenta.com/bx/
byteml => [xml+java] Bytecode Markup Language, a XML-JavaBytecode interoperability framework, at http://sourceforge.net/projects/byteml/
c => [pl] a tool like another. you don't want to use a screwdriver for hammering something :) the standard way of doing things and it can be fast too, but we don't want C as our solution, do we? ;)
c grammar => [c+grammar] at http://bit.csc.lsu.edu/tutorial/ten-commandments/ANSI-C-grammar-y.html
c-flat => [pl] at http://www.cs.nmsu.edu/~dfoesch/Cb/index.html
c-smile => [pl] C++-like OO PL at http://sourceforge.net/projects/c-smile/
c-talk => [pl+c] a C-like scripting language, at http://www.ispras.ru/~knizhnik/
cacao => [java] Java 64bit JIT compiler at http://www.complang.tuwien.ac.at/java/cacao/
cacl => [cs] Compilers And Concurrency Lab at http://www-acaps.cs.mcgill.ca
calculi for mobile processes => [cs] at http://lampwww.epfl.ch/mobility/
call/cc => call-with-current-continuation, as defined in R5RS, at http://www.eleves.ens.fr:8080/home/madore/computers/callcc.html - see continuation
calte => [research] CALT Encyclopedia at http://www.insead.fr/CALT/Encyclopedia/
cam8 => [automata] a parallel, uniform, scalable architecture for cellular automata experimentation at http://www.ai.mit.edu/projects/im/cam8/
canon cat => [hw+ui] at http://www.applefritter.com/ui/cat/ http://www.jagshouse.com/swyft.html
cao => Composing Active Objects at http://iamwww.unibe.ch/~scg/Archive/NFS/cao.html
carbayonia => [refl] a small MOP-based reflective machine at http://di002.edv.uniovi.es/reflection/lab/prototypes.html
casl => [pl] Common Algebraic Specification Language by CoFI, intended as a common language for formal spec of functional requirements and modular sw design, at http://www.brics.dk/Projects/CoFI/CASL.html
cat's eye technologies => [eso+pls] esoteric programming languages at http://www.catseye.mb.ca
categorical rewriting => [rewriting] at http://www.mcs.le.ac.uk/~nghani/catrew.html
cbpv => [term] Call-By-Push-Value at http://www.cs.bham.ac.uk/~pbl/papers/
ccam => [MIA] a Calculus of Composable Abstract Machines at http://www.isg.sfu.ca/~hak/Research/current/AbstractMachines.html
ccma => [hist] Classic Computer Magazine Archive at http://www.atarimagazines.com
ccofm => [math] a Century of Controversy Over the Foundations of Mathematics at http://www.cs.umaine.edu/~chaitin/cmu.html
ccp => [cs] Concurrent Constraint Programming, at http://matrix.research.att.com/vj/ccp.html
ccscript => [cpp] C++ state-event script engine at http://sourceforge.net/projects/ccscript/
ccured => [c] C type safety tool at http://www.cs.berkeley.edu/~necula/ccured/index.html
ccw => [acro] Counter-ClockWise
cdl3 => [pl] a PL based on affix grammars at http://www.cs.kun.nl/cdl3/
cdo => [oo] Communicating Distributed Objects at http://www.aleccawley.co.uk http://www.cawley.demon.co.uk/cdo.html
cds => Collective Documentation System at http://www.silverchat.com/~silver/cds/
cecilia => [music] a music and signal-processing environment based on csound at http://www.musique.umontreal.ca/electro/CEC/
centaur => a generic interactive environment generator at http://www-sop.inria.fr/croap/centaur/centaur.html
cepl => [eso+pls] Calamari's Esoteric PLs, with bubble, spaghetti and hanoi love at http://www.azstarnet.com/~jeffryj/languages.html
cetus => 18,000+ links on objects and components at http://www.cetus-links.org
cexl => [MIA+sml+dsl+pl+gfx] a SML-Based Graphics DSL at http://www.CeX3D.net/cexl/
cfci => [compilers] Catalog of Free Compilers and Interpreters at http://www.idiom.com/free-compilers/
cfe => [idl] Compiler Front End, a downloadable IDL front-end from OMG's FTP site at ftp://ftp.omg.org/pub/contrib/OMG_IDL_CFE_1.3/
cgal => [geom+cpp] Computational Geometry Algorithms Library at http://www.cgal.org
cgiirc => [web+irc] at http://sourceforge.net/projects/cgiirc/ http://freshmeat.net/projects/cgiirc/
cgs => [logic+graph] Conceptual Graphs, a system of logic based on the existential graphs of Charles Sanders Peirce and the semantic networks of AI, at http://www.jfsowa.com/cg/index.htm
ch => [c] a C interpreter at http://www.softintegration.com
chaims => Compiling High-level Access Interfaces for Multi-site Software at http://www-db.stanford.edu/CHAIMS/
chaitin => [ppl] Greg J Chaitin, a developer of algorithmic information theory at http://www.umcs.maine.edu/~chaitin/
channel logs => [irc] at http://www.tunes.org/~nef/logs/ http://www.tunes.org/~coreyr/ http://www.tunes.org/files/irc/old/ http://tunes.org/~lar1/logs/
chaos => [os] CHico's Academic OS at http://www.ecst.csuchico.edu/~chafey/kernel/
chgp => [hist] Computer History Graphing Project, tries graph every computer standard, every piece of hardware, every OS, and every computer language in one big family tree at http://comp-hist.sourceforge.net/
chimaera => [ai] an ontology environment at http://www.ksl.stanford.edu/software/chimaera/
china => [dataflow+clp] a dataflow analyzer for CLP languages at http://www.cs.unipr.it/China/
chine nual => [lispm] LISP Machine Manual, circa 1981 (from what appeared at the front cover)
chpp => [mpp] CHakotay PreProcessor at http://www.complang.tuwien.ac.at/~schani/chpp/ http://www.freshmeat.net/projects/chpp/
chrome => [pl] at http://www.argon.org.uk/chrome.html
chronic => [pl] A PL for programming with temporal data: computer music and scientific computing, at http://www-2.cs.cmu.edu/~music/chronic/
chu spaces => at http://chu.stanford.edu
cil => [c] C Intemediate Language, C analysis and transformation tool, at http://manju.cs.berkeley.edu/cil/
cilk => [pl] at http://supertech.lcs.mit.edu/cilk/
cim => [simula] a Simula compiler based on the C at http://www.ifi.uio.no/~cim/cim_toc.html
ciphersaber => [crypto] at http://ciphersaber.gurus.com
circus-dte => [pl] at http://xml.coverpages.org/ni2003-01-08-b.html
cl-cgi => [cl] CommonLisp CGI library at http://sourceforge.net/projects/cl-cgi/
cl-glade => [cl] at http://www.cs.uit.no/~frodef/sw/cl-glade/
clam => [chaims+pl] Composition Language for Autonomous Megamodules, for writing megaprograms in CHAIMS, at http://www-db.stanford.edu/CHAIMS/Doc/Details/index.html
clara => [pl] an actor language for high performance distributed computing at http://citeseer.nj.nec.com/339462.html
claret => Computer Language Reasoning Tool at http://www.dcs.gla.ac.uk/~boulton/claret/
clas => [lisp+aop+dnm] CommonLisp Aspect System at http://www.pobox.com/~dnm/clas.html
class warfare => at http://www.laputan.org/reflection/warfare.html
claude shannon => [ppl] the creator of modern information theory
clausal language => a declarative PL and Proof System at http://www.ii.fmph.uniba.sk/cl/view.php/
cleet => [pl] at http://somefancy.com/cleet/
clide => [ide+linux] Complete Linux IDE at http://sourceforge.net/projects/clide/
clij => [MIA] Computer Languages: an International Journal at http://ww1.elsevier.nl/inca/publications/store/3/5/0/
clisource => [ui] a resource for command-line users at http://polylithic.net/cli/
clisp => [cl] a CommonLisp implementation at http://clisp.cons.org http://clisp.sourceforge.net
clock => [pl] at http://www.cs.queensu.ca/~graham/clock.htm
clog => [irc] Channel LOGger, logs at http://www.tunes.org/~nef/logs/
cloudwriter => [pl] at http://www.cloudwriter.com
clover => [pl+oo+fp+vp] Controlled Lazy Object-flow Visual EnviRonment, integrating OO FP VP at http://citeseer.nj.nec.com/braine96introducing.html http://www.cs.ucl.ac.uk/staff/C.Clack/research/publications.html
clovers => [types] "Clovers: The Dynamic Behavior of Types and Instances" at http://citeseer.nj.nec.com/184422.html
clp => [comb] Combinatory Logic Playground at http://www.cwi.nl/~tromp/cl/cl.html
clpr => [lp] Constraint Logic Programming Research, see http://www.complang.tuwien.ac.at/projects/clp.html
clu => [pl+oo] an OO PL at http://www.pmg.lcs.mit.edu/CLU.html
clueless => at http://dazed.slacker.com/lists/clueless.html
clump => [cl+mlist] a mlist for discussion of software development in Common Lisp at http://www.caddr.com/clump/
clunk => [eso+pl] at http://esoteric.sange.fi/essie2/download/clunk/
cmc => [acro] Computer Mediated Communication
cmcc => [c] Carnegie Mellon C Compiler, a compact optimizing compiler for ANSI C at http://www.cs.cmu.edu/~cmcl/cmcc/cmcc.html
cmcw => [acro] Computer Mediated Communication and Work
cml => [pl+sml] Concurrent ML, a concurrent PL implemented as a library on top of SML/NJ at http://people.cs.uchicago.edu/~jhr/cml/
cmsoopl => [cs] "Composable Message Semantics in Object-Oriented Programming Languages" at http://www.ssw.uni-linz.ac.at/General/Staff/MH/Research/Thesis/index.html
cmucl => [cl] a high-performance free CommonLisp implementation at http://www.cons.org/cmucl/
cnoolb => [irc] Corey's Not Overly Ostentations Log Browser at http://tunes.org/~coreyr/
cobol grammar => [cobol+grammar] at http://www.cwi.nl/~ralf/grammars/cobol/ http://www.cwi.nl/~ralf/grammars/vs-cobol-ii/
cocct => [compilers] Catalog of Compiler Construction Tools at http://www.compilerconstruction.org
coco/r => [compilers] a compiler generator at http://www.ssw.uni-linz.ac.at/Research/Projects/Compiler.html ftp://ftp.ssw.uni-linz.ac.at/pub/Coco/
cocom => [compilers] tool set for the creation of compilers, cross-compilers, interpreters, and other language processors. at http://sourceforge.net/projects/cocom/
codedom => [grammar] CodeDom language grammar at http://www.mondrian-script.org
codescript => [pl] at http://www.basetechnology.com/cs.htm
cofi => [research] COmmon Framework Initiative for algebraic specification and development of software, theoretical European computer scientists designing and building CASL at http://www.brics.dk/Projects/CoFI/
cogsci => [theory] Cognitive Science at http://www.cogsci.soton.ac.uk/ http://cogprints.soton.ac.uk/
coinduction => [logic] a powerful technique for proving behavioral properties of (systems of concurrent interacting) objects at http://www.cs.ucsd.edu/groups/tatami/handdemos/doc/coind.htm
cokinetic => [net+ui] aka I3ML, Internet Interface and Integration Markup Language, at http://www.cokinetic.com
coldc => [pl] a run-time mutable OO database PL at http://web.cold.org
comal => [pl] COMon Algorithmic Language, see http://www.macharsoft.co.uk
combengine => [fp] combinator engine, for combinator-based implementations of functional PLs, at http://combengine.sourceforge.net
combinatorics => [math] the study of a subject in terms of finite elements and a finite set of operators, usually used for graph theory, topology, finite-state machines, and programming theory
combo => [compilers] compiler writer's toolbox at http://www.combo.org
comit => [pl] at http://www.everything2.com/index.pl?node=Comit
comma => COMMunicating Agents research group at http://comma.doc.ic.ac.uk
comonads => [monads] at http://www.cse.ogi.edu/~dick/dick.html
comp.compilers hp => [compilers] at http://www.iecc.com/compilers/
comp.lang.forth.repository => [forth] at http://sourceforge.net/projects/forth/
compiler back-end research => [compilers] at http://www.complang.tuwien.ac.at/projects/backends.html
compilers => [compilers] at http://compilers.net
compilers programming => [compilers] see http://www.cbel.com/Compilers_Programming/
composable software systems => at http://www.cs.cmu.edu/~Compose/
compose => design and development of adaptive programs and systems at http://compose.labri.fr/
composition language => a high-level "glue" language for plugging together software components, see http://scgwiki.iam.unibe.ch:8080/SCG/143 - see also piccola
computer science => [cs] a strange mix of (quasi-)philosophical thoughts and technical material, with a bit of hackery (sic) on the side
computer trivia => at http://www.cuillin.demon.co.uk/nazz/trivia/
concatenative => [pls+mlist] at http://www.egroups.com/group/concatenative/
concept fusion => [tunes] the in-ability to distinguish between two presented concepts even when the evidence lies in the presentation
conceptual graphs => see CGs
concon => [pl+lisp] at http://www.funet.fi/pub/languages/concon/
concurrent aggregates => [pl] at http://www-csag.ucsd.edu/projects/concert/ca.html
concurrent clean => [pl+fp] see clean
condit => [pl+esoteric] an esoteric programming language based on conditional execution at http://cl4.org/comp/condit.php
conlang => [nl] see http://dmoz.org/Science/Social_Sciences/Language_and_Linguistics/Constructed_Languages/
cons => [lisp] the basic unit of Lisp syntax. a data structure with two elements. each element can point to another cons, so you can build up syntax trees, loops, and other shapes
constraint languages => [constraints] at http://dmoz.org/Computers/Programming/Languages/Constraint/
consultation => at http://javalab.informatik.uni-bonn.de/research/darwin/delegation_eng.html
cool:1 => [pl] Concurrent OO Language at http://www-flash.stanford.edu/cool/cool.html
cool:2 => [edu+pl] Classroom OO Language at http://www.cs.berkeley.edu/~aiken/cool/ http://www.rescomp.berkeley.edu/~hossman/pubcode/mycoolc/
coolmud => [mud] at http://www.digitalkingdom.org/~rlpowell/coolmud/
cop => [cs] Component-Oriented Programming at http://www.math.tau.ac.il/~guy/COP/
cora => [MIA] a computer science research paper search engine at http://www.cora.whizbang.com
cord => [pl] a three-dimensional stack-based PL at http://www.binary-craft.com/Cord/Cord.pdf
corewars => [game] a game of warrior vs warrior, programmed by two opponents, and placed into a virtual ring to fight to the death at http://www.koth.org/
correlate => [pl+oo+refl] a concurrent OO PL with a MLA at http://www.cs.kuleuven.ac.be/~distrinet/projects/CORRELATE/
cosb => Collection of Software Bugs at http://wwwzenger.informatik.tu-muenchen.de/persons/huckle/bugse.html
coyote => [mp] see iguana
cpan => [perl] Comprehensive Perl Archive Network at http://www.cpan.org
cpia => [mpp] XML macro processing in C at http://sourceforge.net/projects/cpia/
cria => [irc+air] fka airc, a console IRC client by Air, at http://cria.sf.net
critlisp => [lisp+hbaker] "Critique of DIN Kernel LISP" by Henry Baker at ftp://ftp.netcom.com/pub/hb/hbaker/CritLisp.html
crma => [mp] Computational Reflection and Meta-level Architectures at http://web.yl.is.s.u-tokyo.ac.jp/pl/meta.html
croap => at http://www-sop.inria.fr/croap/CROAP-eng.html
crow => [pl+icon] an extended Icon at http://physics.clarku.edu/~trutkin/Crow/
crpl => [pl+rpl] a general-purpose scripting language similar to UserRPL, at http://sourceforge.net/projects/crpl/
crr => [cs] Computing Research Repository at http://xxx.lanl.gov/archive/cs/
crush => [pl+brix+air] a safe FORTH with Lisp-like syntax, by Air, at http://brix-os.sourceforge.net/?p0=info&p1=crush
crystal => [pl] at http://users.teledisnet.be/web/epe05467/MAIN/CRYSTAL/index.htm
cs:1 => [acro] Computer Science
cs:2 => [acro] ChangeSet
cs bibs => [cs] at http://liinwww.ira.uka.de/bibliography/index.html
csis => Center for Secure Information Systems at http://www.isse.gmu.edu/~csis/
csl => [pl+c] C scripting language at http://sourceforge.net/projects/csl/
cslang => [pl+c] a C interpreter at http://www.cs.unh.edu/~tudor/cslang/
csli => [research] the Center for the Study of Language and Information at http://www-csli.stanford.edu/
csound => [music] a software sound synthesis system at http://www.csound.org
ctan => [tex] Comprehensive TeX Archive Network at http://www.ctan.org
cto => [abi] url gen for http://Cliki.Tunes.Org - 'abi: cto foo' returns http://cliki.tunes.org/foo
ctss => [os] Compatible Time-Sharing System, a crappy OS written at MIT in the 1960's. ITS mocks CTSS.
cubik => [vw] "Building Blocks for Better Online Worlds" at http://www.cubik.org
cue => [pl] at http://sourceforge.net/projects/q-scripting/
cunts => Clueless Users Network Test System at http://dazed.slacker.com/lists/clueless.html
curl => [pl] at http://www.curl.com
currying => curry f x y = f (x,y)
cvm => Coherent Virtual Machine, a DSM system at http://www.cs.umd.edu/projects/cvm/
cvp => [compilers] Compiler Validation Project: developing tools for proving the correctness of compilation, at http://www.cs.nyu.edu/validation/
cvs => [versioning] version control system at http://www.loria.fr/~molli/cvs-index.html http://www.cyclic.com
cw => [acro] ClockWise
cxref => [c] a C cross referencing & documenting tool at http://www.gedanken.demon.co.uk/cxref/
cyberlingua => [pls] PL overviews at http://cyberlingua.sourceforge.net
cybil => [pl+music+cecilia] cecilia's score specification language at http://www.musique.umontreal.ca/electro/CEC/man/cybil.html
cyc => [ai] a knowledge-base system, "formalized common knowledge" at http://www.opencyc.org http://www.cyc.com
cycl => [pl+cyc] the formal language in which Cyc assertions are written at http://www.cyc.com/cycl.html
d'caml => [caml] a native distributed ML compiler for heterogeneous environment at http://citeseer.nj.nec.com/wakita99dcaml.html
dactl => [pl] an experimental graph rewriting PL at http://citeseer.nj.nec.com/glaubert91dactl.html
daisy => a statically-scoped, demand-driven, applicative language at http://www.cs.indiana.edu/hyplan/sjohnson/dsi/daisy.html
dalang => [java+refl] a reflective extension for Java at http://citeseer.nj.nec.com/welch99dalang.html
dan moniz => [ppl] see dnm
darkos => [os] at http://members.fortunecity.com/darkqb/darkos.htm
darwin => at http://javalab.cs.uni-bonn.de/research/darwin/darwin_eng.html
data-flow graph => just a system of directed links between function applications
dataflow => at http://cuc.ucc.ie/dataflow/
date => [abi] $date PST
datetime => [abi] $date $time PST
dauc => [comb] Designing And Using Combinators at http://www.cs.chalmers.se/~rjmh/Combinators/
davinci => [graph] a graph visualization system at http://www.informatik.uni-bremen.de/daVinci/
daypop => [web] a weblog/news search engine at http://www.daypop.com
db => [acro] DataBase
dclangs => dynamic collaborative languages at http://steak.place.org/dougo/mud/
dd/sh => [MIA+pl] "The One True Programming Language" at http://www.assurdo.com/dd.sh/
ddc => [acro] Demand-Driven Concurrency
debugging => Gosper's way of saying that you should write better code in the first place
dee => [pl+oo] a statically typed, dynamically bound OO PL at http://www.cs.concordia.ca/~faculty/grogono/dee.html
deepspace => a distributed computing project that is investigating structuring mobile services at http://www.cs.utah.edu/~mcdirmid/deepspace/
default topic => [tunes] TUNES: Free Reflective Computing System http://www.tunes.org
dejay => [java] distributed Java at http://www.dejay.org
delegation => [mp] at http://javalab.informatik.uni-bonn.de/research/darwin/delegation_eng.html
delta => [pl] at http://delta.grendelkom.com
dem => Data/Event Modeling, a terse language for writing modular programs at http://anny.kinjo-u.ac.jp/~houser/dem/dem.htm
demeterj => [pl+aop+java] an adaptive PL based on Java at http://www.ccs.neu.edu/research/demeter/DemeterJava/
denarixs => [os] at http://www.denarixs.org.ar
depl => [eso+pls] Dm's Esoteric PLs, with chef haifu ook! piet whenever, at http://www.dangermouse.net/esoteric/
des => see http://www.itl.nist.gov/fipspubs/fip46-2.htm
dexprs => [dylan] Lisp macros for Dylan at http://www.ai.mit.edu/~jrb/Projects/dexprs.htm
dgc => [gc] Distributed GC, see http://pauillac.inria.fr/~lefessan/dgc/ http://citeseer.nj.nec.com/critchlow92distributed.html http://www-sor.inria.fr/publi/SDGC_iwmm95.html http://www.dcs.gla.ac.uk/~ian/project/report.html
dialect => [pl] at http://sourceforge.net/projects/dialect/
diktuon => [hypertext+tunes] the Tunes node-and-space-based hypertext document system at http://diktuon.tunes.org
dino => [pl] a high level scripting dynamic-typed language at http://cocom.sourceforge.net/dinoload.html
distel => [elisp+erlang] DISTributed Emacs Lisp, a Erlang programming model subset in Elisp, at http://www.bluetail.com/~luke/distel/
dj => [aop+java] dynamic adaptive programming (dynamic structure-shy traversals and visitors) for Java at http://www.ccs.neu.edu/research/demeter/DJ/
dl:1 => [pl] Data Language at http://freshmeat.net/projects/datalang/
dl:2 => [pl+xml] at http://cs-people.bu.edu/santiago/dl.html
dlg => [cs] Dynamic Languages Group at http://www.ai.mit.edu/projects/dynlangs/
dm-esopls => [eso+pls] DM's esoteric programming languages at http://www.dangermouse.net/esoteric/
dmeroon => [meroon] Distributed Meroon at http://youpou.lip6.fr/queinnec/WWW/DMeroon.html
dmof => [mp] Distributed Meta Object Frameworks at http://www.geocities.com/SiliconValley/Lakes/3767/
dmp => [cs] Declarative Meta Programming at http://prog.vub.ac.be/research/DMP/
dmr => [ppl] Dennis M. Ritchie at http://plan9.bell-labs.com/cm/cs/who/dmr/index.html
dnm => [ppl] Dan Moniz at http://www.pobox.com/~dnm/
docbook => [ml] an SGML DTD at http://www.oasis-open.org/docbook/
don knuth => [ppl+tex+taocp+lp] at http://www-cs-faculty.stanford.edu/~knuth/index.html
dook => [pl+java] embedded scripting language for Java at http://www.gnu.org/non-gnu/dook/
dopl => [pls+examples] Dictionary of Programming Languages at http://cgibin.erols.com/ziring/cgi-bin/cep/cep.pl
dormoy => [ppl] Jean-Luc Dormoy at http://www.dormoy.org
dot => [pl] at http://www.serv.net/~jmarsh/dot/index.html
dp2 => Dropped Pomegranate Project, a meta-project to do the Right Thing, in terms of OO component-based network-extensible software at http://www.dp2.org
dprog => a DSL for specifying dynamic programming algorithms, at http://www.daimi.au.dk/~mailund/dprog/
dr-os => [os] at http://www.mindspring.com/~dpsicilia/
draak => [pl] at http://sourceforge.net/projects/draak/
dsd => [xml] Document Structure Description, a XML schema language, at http://www.brics.dk/DSD/
dsm => [acro] Distributed Shared Memory
dsmhp => Distributed Shared Memory Home Pages at http://www.cs.umd.edu/~keleher/dsm.html
dtone => [MIA+oo+pl] a OO PL at http://www.dtone.org
duck => [pl] the command language for the Kumo proof assistant at http://www.cs.ucsd.edu/groups/tatami/duck.html
duck logic => [logic] at http://www.cs.uwaterloo.ca/~nday/Research/DuckLogic/
dulce => Danish Uniform Language Composition Engine at http://www.imm.dtu.dk/~jsm/dulce/
dumb => [pl+lisp+java] Diabolically Uncrashable Mud Builder, a Lisp-like language interpreter in Kava at http://jlmud.sourceforge.net
dustyscript => [pl] programming for children, applescript/NL-like syntax, at http://sourceforge.net/projects/dustyscript/
dve => [vw] Distributed Virtual Environments at http://vega.icu.ac.kr/~wyyoon/DVE.htm
dx => IBM Visualization Data eXplorer, general-purpose software package for data visualization and analysis at http://www.ibm.com/dx/
dyctalk => [oo] an OO framework for building expert-programmable software at http://www-poleia.lip6.fr/~razavi/Dyctalk/
dynamicjava => [java] at http://koala.ilog.fr/djava/
dynamo:1 => [compilers] dynamic optimization via staged compilation at http://www.cs.indiana.edu/proglang/dynamo/
dynamo:2 => [jit] at http://www.hpl.hp.com/cambridge/projects/Dynamo/
e:doc => [sgml] gives the users of SGML-based text systems the possibility to design their documents in a nearly WYSIWYG environment, at http://members.nextra.at/hfbuch/edoc/
earth => [arch] (Efficient Architecture for Running Threads) formerly MTA (Multi-Threaded Architecture) at http://www-acaps.cs.mcgill.ca/info/EARTH/
earth c => [c+earth] C with multithreading instructions at http://www-acaps.cs.mcgill.ca/~shereen/research/earthc/earthc.html http://www-acaps.cs.mcgill.ca/info/EARTH/threaded_c/
easel:1 => [pl] End-User Application System Encoding Language at http://www.research.att.com/sw/tools/reuse/packages/easel.html
easel:2 => [pl] a general-purpose modeling/simulation language at http://www.cert.org/easel/
ecl => [cl] Embeddable CommonLisp at http://ecls.sf.net
eclipse:1 => [ide] an open extensible IDE, a universal tool platform, at http://www.eclipse.org
eclipse:2 => [cl+wm] a X11 WM in CL at http://www.cliki.net/eclipse
eclipse:3 => [os] at http://www.bell-labs.com/project/eclipse/
edivc => [pl] a DIV language multiplatform compiler at http://sourceforge.net/projects/edivc/
edoc => gives the users of SGML-based text systems the possibility to design their documents in a nearly WYSIWYG environment at http://members.nextra.at/hfbuch/edoc/
edoma => Evolving Distributed Object Modeling Architecture at http://sourceforge.net/projects/edoma/
effigy => [pl+vp] at http://www.cs.dal.ca/~smedley/veu/materials/pazel/
efi => [hw] Intel's Extensible Firmware Interface at http://developer.intel.com/technology/efi/
efuns => [ocaml+emacs] an Ocaml-based development system, an Emacs clone, at http://pauillac.inria.fr/para/cdrom/prog/unix/efuns/
egg => [pl] at http://www.acooke.org/jara/egg/index.html http://freshmeat.net/projects/egg/
eihrul => [ppl+slate+pidgin+pmd+pos+squeampiler+cube] at http://tunes.org/~eihrul/
elan => [rewriting] system/environment for specifying and prototyping deduction systems in a language based on rewrite rules controlled by strategies at http://www.loria.fr/ELAN/
elastic => [pl] a portable high-level oo interpreted language with a C-like syntax at http://www.elasticworld.org/
elate => [os] see http://c2.com/cgi/wiki?TaoElate
elaya => [pl] at http://www.elaya.org http://freshmeat.net/projects/elaya/
electricalfire => [java] a JIT Java compiler at http://www.mozilla.org/projects/ef/
elegant => [pl] at http://www.research.philips.com/generalinfo/special/elegant/
eleganthack => [hci] Information architecture, usability and interaction design issues at http://www.eleganthack.com
elephant => [pl] elephant 2000, a PL based on speech acts at http://www-formal.stanford.edu/jmc/elephant/elephant.html
elex => a multi-language scanner generator at http://www.ozemail.com.au/~mpp/elex/elex.html and elex for prolog is at http://odur.let.rug.nl/~vannoord/Elex/
eli => [compilers] compiler construction system at http://www.cs.colorado.edu/~eliuser/
elide => [java] Extension Language for Iterative Design Encoding, explicit programming for Java, at http://www.cs.ubc.ca/labs/spl/projects/elide/
elisp => [emacs+lisp] Emacs Lisp
elks => [linux] Embeddable Linux Kernel System at http://elks.sourceforge.net
elp => [pe+curry+lp+fp+research] at http://www.dsic.upv.es/users/elp/
else => [emacs] Emacs Language Sensitive Extensions at http://www.zipworld.com.au/~peterm/
elysium => [os] at http://elysium.sourceforge.net
emacs => [text] a victim of it's initial success. sounds like a great idea in theory, but the implementation sucks. an OS optimised for text editing
emacs lisp => [emacs+lisp] a retarded Lisp, and lambda is much more than lambda in elisp
emath => [math+klone] a formula editor, uses Klone, at http://www-sop.inria.fr/cafe/Olivier.Arsac/emath/emath.html
embedded pascal => [pl+embedded] at http://www.geocities.com/SiliconValley/Vista/1170/index.htm
emdip => Efficient Method Dispatch in PCL at http://www2.parc.com/csl/groups/sda/publications/papers/Kiczales-Andreas-PCL/
emerald => [pl] a distributed OOPL at http://www.cs.ubc.ca/nest/dsg/emerald.html ftp://ftp.diku.dk/pub/diku/dists/emerald/
emu:1 => [acro] EMUlator / EMUlation
emu:2 => [pl] EMbeddable Utility language at http://sourceforge.net/projects/emulang/
enc-sl => [eso+pl] Encyclopedia of Stupid Languages at http://www.kraml.at/stupid/
endokernel => the idea of a kernel in each process, processes depend on each other, similar to the NoKernel concept
enlightenment => [wm] at http://www.enlightenment.org
entity => [xml] at http://www.entity.cx http://freshmeat.net/projects/entity/ http://www.advogato.org/proj/Entity/
eon => [pl] at http://www.minddrome.com/produtos/eon/
eoops => [emacs+oo] Emacs-lisp Object-Oriented Programming System at http://anny.kinjo-u.ac.jp/~houser/eoops/Welcome.html
eosl => [eso+pls] Encyclopedia of Stupid Languages at http://www.kraml.at/stupid/
epistemics => [ai] the study of knowledge without facts
epl => [pl] Epic (Extended Programmable Interface Card) PL at http://www.simpits.org/programming/epl.html
epp => [java] Extensible Pre-Processor at http://www.etl.go.jp/~epp/
eps => environment-passing style (aka State-Passing Style), a monadic way of expressing side-effects in pure languages
eqlog => [pl+obj] an equational logic PL at http://www.cs.ucsd.edu/users/goguen/sys/eqlog.html
erc => [irc+emacs] Emacs IRC client at http://sourceforge.net/projects/erc/
ermacs => [erlang+emacs] an Emacs clone in Erlang at http://www.bluetail.com/~luke/ermacs/
es => [fp+shell] a functional-programming shell language at http://www.webcom.com/~haahr/es/es-usenix-winter93.html
eselc => [pl] Easy Stack Environment Language interpreter at http://sourceforge.net/projects/eselc/
esi => [ml] Edge Side Includes at http://www.esi.org
esn => [pl] Extended Style Notation, a language to support structural reuse at http://wwwsel.iit.nrc.ca/~erdogmus/ESN/ESN.html
eso:1 => [os] ESOteric OS at http://www.catseye.mb.ca/esoteric/eso/
eso:2 => [acro] esoteric
eso pl stuff => [eso+pls+bf+thue] BFM, Macros for Brainfuck (with an interpreter in Python), Brainfuck interpreter in Thue, Thue interpreter in Python, Pandora at http://fvdp.homestead.com/files/eso_index.html
eso pls => [eso+pls] esoteric programming languages, see http://esoteric.sange.fi http://dmoz.org/Computers/Programming/Languages/Obfuscated/ http://fvdp.homestead.com/files/eso_index.html
eso-os => [eso+os] at http://lilly.csoft.net/~jeffryj/eso/eso.html
esofunk => [pl] at http://www.azstarnet.com/~jeffryj/esofunk.html
esolang => see REPL
esopl => esoteric PLs at http://212.16.6.108/~mtve/code/eso/
esoring => see REPL
esoteric topics => Esoteric Topics in Computer Programming at http://www.catseye.mb.ca/esoteric/index.html
esoterica => at http://www.cliff.biffle.org/esoterica/
esterel => [pl] a synchronous reactive PL at http://www-sop.inria.fr/meije/esterel/esterel-eng.html
eta:1 => [acro] Estimated Time of Arrival
eta:2 => [pl] at http://www.miketaylor.org.uk/tech/eta/
etaj => [eta+java] an ETA interpreter in Java at http://www.dtek.chalmers.se/~d00bring/projects.html
etyma => a system for using recursive namespaces for inheritance and composition at http://citeseer.nj.nec.com/banavar96application.html
evolvability => [alife] at http://www.isd.atr.co.jp/~ray/pubs/evolvability/index.html
evopia => at http://www.abo.fi/~mjohnson/evopia/
excelsior => [game] a computer game similar to Ultima VI, at http://www.11d.com
expat => [xml] an XML parser toolkit at http://www.jclark.com/xml/expat.html
explicit programming => [cs] at http://www.cs.ubc.ca/labs/spl/projects/explicit.html
express => at http://www.ai.mit.edu/projects/express/
f => [pl] at http://www.fortran.com/imagine1/ ftp://ftp.swcp.com/pub/walt/F/
f# => [caml+dotnet] at http://research.microsoft.com/projects/ilx/fsharp.htm
f-cpu => [hw] at http://www.f-cpu.org
f-script => [pl] PL based on SmallTalk, fully OO messaging system, array processing primitives inspired by APL/J, multi-message patterns, at http://www.fscript.org
fabrik => [vp] a visual programming environment at http://users.ipa.net/~dwighth/smalltalk/Fabrik/Fabrik.html
factoids => [abi] at http://www.tunes.org/~nef/abi/factoids.txt
factor => [pl] a concatenative PL, hosted on the javavm, Slava Pestov aka #forth's slava, at http://slava.kicks-ass.org/slava/Factor.jar
factoring code => removing redundancies in it, making it modular, etc, by decomposing it into parts that you can compose and recompose.
false => [pl+wvo] at http://wouter.fov120.com/false/
far => [pl+vp] end-user WYSIWYG VPL at http://www.cs.orst.edu/~burnett/FAR/
fast => [pl] Free And Straight Translator, at http://www-lehre.inf.uos.de/~fsuchane/fast.htm
fbp => Flow-Based Programming at http://www.jpaulmorrison.com/fbp/
fci4win => [compilers] Free Compilers and Interpreters for Windows at http://www.crosswinds.net/~jamesfox/fci-win.html
fdl => [pl] Functional Database Language at http://www.dcs.kcl.ac.uk/staff/alex/fdl.html
feat => [aop] a tool for locating, describing, and analyzing concerns in source code at http://www.cs.ubc.ca/~mrobilla/feat/
fennec => [pl] at http://sourceforge.net/projects/fennec/
ferite => [pl] at http://www.ferite.org
fetal => [pl] at http://tec.uno.edu/george/Papers/CSCI4501/Fetal_Interpreter.html
feudal c => [c] a restricted subset of C at http://www.cs.berkeley.edu/~bonachea/263/
fft => [acro] Fast Fourier Transformation
fftw => at http://www.fftw.org/ -- proves that monads are faster than ASM!
fgl => [graph] Functional Graph Library at http://www.cs.orst.edu/~erwig/fgl/
fibonacci => fibonacci numbers in many languages at http://www.inorg.chem.msu.ru/~cubbi/serious/fibonacci.html
ficl => [pl] Forth Inspired Command Language at http://www.taygeta.com/ficl.html
fido => [dsl] a DSL for regular sets of strings and trees, based on M2L (Monadic Second-order Logic), at http://www.daimi.aau.dk/~mis/papers.html
fieldmethods => [nlp] NLP portal at http://www.fieldmethods.net
fifth => [pl] at http://sourceforge.net/projects/fifth/
filos => [pl] at http://www.geocities.com/SiliconValley/Way/5085/
fiml => [pl+ml] Functional and Imperative ML, ML extension based on the transformation calculus, at http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/fiml/fiml.html
fips => a program for non-destructive splitting of harddisk partitions at http://www.igd.fhg.de/~aschaefe/fips/
firefly => [pl] at http://sourceforge.net/projects/fireflyengine
fish => [shell] Finally an Interactive SHell at http://www.eecs.tulane.edu/Terry/Fish.html
fishell => [shell+logic] a command/system shell, configurable with logic programming at http://fishell.sourceforge.net/
fka => [acro] Formerly Known As
fl => [fp] "The Design of a Functional Language" at http://citeseer.nj.nec.com/183013.html http://www.cs.berkeley.edu/~aiken/ftp/FL.ps
flare => [pl] at http://sourceforge.net/projects/flarelang/
flip => [pl] at http://www.daimi.au.dk/~eriksoe/Flip/
fll => [fp+lp] papers on Functional Logic Languages at http://danae.uni-muenster.de/lehre/kuchen/papersFL.html
flo => [pl+oo+mp] a model for explicit connectors in OO PLs at http://www.iam.unibe.ch/~ducasse/WebPages/RESEARCH/FLO/flo.html
floop => [pl+geb] see bloop
flor => [MIA+pl] Functional Language for Object Reflection at http://www.uniovi.es/~oviedo3/labra/FLOR.html
flp => [fp+lp] Functional Logic Programming at http://www.informatik.uni-kiel.de/~mh/FLP/ http://www.cs.pdx.edu/~antoy/research/flp/index.html - see FLL
fluke => [os] an evolution of mach made by the CS department of Utah University
flux => [enth] a "Color Forth OS" for Enth, at http://pringle.sphosting.com/
fm => [linux] FreshMeat at http://freshmeat.net
fme => Formal Methods Europe at http://www.csr.ncl.ac.uk/projects/FME/
fmpl => [MIA+pl+oo+fp] Frobozz Magic PL, a prototype-based OO PL with functional features at ftp://ftp.xcf.berkeley.edu/pub/src/local/fmpl/
fmplam => Formal Models of Programming Languages and Abstract Machines at http://research.microsoft.com/users/dsyme/formal-languages.html
folli => [logic] the European Association for Logic, Language and Information at http://www.folli.uva.nl
fom => Foundations Of Mathematics at http://www.math.psu.edu/simpson/fom/
foo => [pl] at http://www.memoire.com/guillaume-desnoix/foo/
fooos => [os] an OS? and an OS concepts blog at http://www.primenet.com/~jjens/FooOS/weblog1.html
forms/3 => [pl+vp] a general purpose declarative spreadsheet-based VPL at http://www.cs.orst.edu/~burnett/Forms3/forms3.html
formulation => how you define something, what subject matter/field's vocabulary you use to characterize a conceptual system
fp:1 => [acro] Functional Programming
fp:2 => [fp] a toy interpreter for John Backus' ultra-functional language FP at http://www.idt.mdh.se/kpt/source/fp.tar.gz
fp intro => [fp] at http://www.dcs.napier.ac.uk/course-notes/sml/introfp.htm
fp org => [fp] at http://www.functional-programming.org
fpic => [pl+sml] language for picture specification on top of Standard ML at http://www-sal.cs.uiuc.edu/~kamin/fpic/
fpl => [pl] Frexx PL at http://ich.bin.kein.hoschi.de/fpl/ http://www.contactor.se/~dast/fpl/
fple => [fp] Functional Programming Languages in Education at http://www.cs.kun.nl/fple/
fprem => [emu] Fast Portable Recyclable EMulator at http://fprem.sourceforge.net
fps => [fp] functional postscript at http://www.scsh.net/resources/fps.html
fpsood => A Functional Pattern System for Object-Oriented Design at http://www-agce.informatik.uni-kl.de/~kuehne/fps/
free books => <reply> ask me about fsb
free dns => at http://www.dhs.org http://www.eu.org http://soa.granitecanyon.com
free os ring => [os+list] at http://u.webring.com/hub?ring=freeos
free pascal => [pascal] a free pascal compiler, aka FPK Pascal, at http://www.freepascal.org
freemsg => at http://sourceforge.net/projects/freemsg/
freenet => [p2p] a large-scale p2p network, a censorproof distributed filesystem, at http://www.freenetproject.org
freeos => [os] a OS/2 clone at http://www.freeos.cjb.net
freeos.com => [os] a resource center for free OSes at http://www.freeos.com
freevga => Hardware Level VGA and SVGA Video Programming Information Page at http://web.inter.nl.net/hcc/S.Weijgers/FreeVGA/freevga.htm
freevms => [MIA+vms] at http://www.free-vms.org
frink => [pl] at http://freshmeat.net/projects/frinklang/ http://futureboy.homeip.net/frinkdocs/
frisco => [MIA] Formal Reasoning In Software COnstruction at http://www.info.ucl.ac.be/research/projects/FRISCO/
frobs => an object-oriented frame language for Common Lisp at http://www-2.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/kr/systems/frames/frobs/
fs:1 => [acro] Free Software
fs:2 => [acro] FileSystem
fs howto => [fs] filesystems howto at http://penguin.cz/~mhi/fs/
fsa => [acro] Finite State Automata
fsa utils => [fsa] FSA utilities at http://odur.let.rug.nl/~vannoord/Fsa/
fscript:1 => [pl] see f-script
fscript:2 => [pl+java] at http://sourceforge.net/projects/fscript/
fsstnd => at ftp://tsx-11.mit.edu/pub/linux/docs/linux-standards/fsstnd/
ftl => [pl] Faster Than Light, at http://sourceforge.net/projects/ftl/
ftpsearch => at http://www.alltheweb.com/?c=ftp
fun => [pl] at http://www.cstc.org/data/resources/64/fun/fun.html
funct => [math] devoted to the (numerical) study of real and complex functions f(x) of one real variable x. at http://www.math.jussieu.fr/~drezet/#other
functional logic languages => [fp+lp+pls] see http://danae.uni-muenster.de/lehre/kuchen/papersFL.html
functional metapost => at http://www.informatik.uni-bonn.de/~ralf/software.html http://afavant.elte.hu/~wferi/funcmp/ http://savannah.nongnu.org/projects/fmp/
functional nets => a uniform foundation for programming and program composition based on join-calculus at http://lampwww.epfl.ch/fn/
funge => [pl] see http://dmoz.org/Computers/Programming/Languages/Befunge/
funk => [pl] at http://spcuna.spc.edu/~davis_d/computing/funk/html/index.html
funnel => [pl] a PL based on functional nets, predecessor of Scala, at http://lampwww.epfl.ch/funnel/
futamura => [yf] at http://www.futamura.info.waseda.ac.jp
fwiw => [acro] For What It's Worth
ga lab => GA laboratory, genetic algorithm library at http://sourceforge.net/projects/galaboratory/
gail => [lisp] a computational model of visually-grounded lexical semantics at http://www.neci.nj.nec.com/homepages/qobi/software.html
game of life => [automata+game] John Conway's Game of Life, see http://dmoz.org/Computers/Artificial_Life/Cellular_Automata/Conway%27s_Game_of_Life/
gameplan => [pl+rebol] a REBOL-like scripting language written to be used in video games, at http://wsrebol.sourceforge.net
gamma => [pl+oo] an OO PL at http://www.cogent.ca/Software/Gamma.html http://freshmeat.net/projects/gamma/
gap => [pl+math] "Groups, Algorithms and Programming" computational discrete algebra system, at http://www.gap-system.org
gateway => a node which brokers traffic between 'internal' nodes and external nodes
gbeta => [beta] a free implementation of a generalized version of Beta at http://www.cs.auc.dk/~eernst/gbeta/
gcj => [java] Gnu Compiler for Java at http://gcc.gnu.org/java/
gcl => [cl] Gnu CommonLisp at http://www.gnu.org/software/gcl/ http://www.cliki.net/GCL
gclist => [gc+mlist] at http://lists.tunes.org/cgi-bin/wilma/gclist
gcom => Generic Component Object Model at http://sourceforge.net/projects/gcom/
gdl => [pl+geom] Geometric Description Language at http://sourceforge.net/projects/gdlang/
gds => [graph] graph drawing server at http://loki.cs.brown.edu:8081/graphserver/home.shtml
geb => [book] _Goedel, Escher, Bach: An Eternal Golden Braid_ by Douglas Hofstadter, see http://www.geocities.com/ResearchTriangle/6100/geb.html
geckos => [os+c64] at http://www.6502.org/users/andre/index.html
geek => Gnu Epistomological Evaluation Kernel at http://www.cih.com/~crash/geek.txt
geekos => [os] at http://geekos.sourceforge.net
gel:1 => [MIA+pl] Graph Evaluation Language, an open source initiative for multi-user internet 3D at http://www.mutationlabs.com/gel/index.html http://www.gel3d.org
gel:2 => [pl] at http://www.dosadi.com/gelproject.htm
gellmu => Generalized Extensible LaTeX-Like Markup at http://math.albany.edu:8000/math/pers/hammond/igl.html
gemini => [os] Gemini Nucleus at http://gemini.sourceforge.net
genetica => distributed genetic algorithms framework at http://genetica.sourceforge.net
genius => genius and gel at http://www.5z.com/jirka/genius.html
geom => [acro] GEOMetry
geps => Generico-Eponymic Paradoxes at http://www.cs.indiana.edu/hyplan/tanaka/GEB/GEPs.html
gf => Grammatical Framework, a type-theoretical grammar formalism, at http://www.cs.chalmers.se/~aarne/GF/index.html
ggi => General Graphics Interface at http://www.ggi-project.org
ghost machine => [java] a distributed vm architecture for mobile platforms at http://www.cs.utah.edu/~mcdirmid/ghost/
ghp => [guile] Guile Homepage Preprocessor, uses Guile for server-side scripting, at http://sourceforge.net/projects/ghp/
gigo => [acro] Garbage In Garbage Out
gipsy => [ip] General Intensional Programming SYstem at http://www.cs.concordia.ca/~faculty/paquet/research/ipe/gipsy/gipsy.html
gist => Generic Information Server Toolkit at http://gist.jrc.it
gj => [java] a generic Java language extension at http://www.cis.unisa.edu.au/~pizza/gj/ http://www.research.avayalabs.com/user/wadler/gj/
glad => [lisp+pdp] Generic Lisp-based Assembler-Disassembler at http://www.megabaud.fi/~karttu/pdp/GLADLSP.TXT
glass => [MIA+pl] at http://realm.progsoc.uts.edu.au/~subtle/projects/glass/
glimpse => at http://www.webglimpse.org
glish => [pl] at http://www.cv.nrao.edu/glish/
gloop:1 => [pl+geb] see bloop
gloop:2 => [pl] Graphics Language by Object Oriented Programming at http://www.cs.ucl.ac.uk/teaching/Gloop/Gloop.html
glorp => the Generic Lightweight Object-Relational Mapping project at http://glorp.sourceforge.net
glu => [pl] Granular LUcid, a coarse-grain dataflow parallel PL at http://www.ahista.com/GLU/ http://www.ahista.com/publications.html
glu# => [ip+cpp+pl] an intensional PL at http://www.softlab.ntua.gr/~nickie/Research/Intensional/
gno => a UNIX-like development environment for the Apple IIgs at http://www.gno.org
gnome => [ui] GNU's Network Object Model Environment at http://www.gnome.org/
gnuton => [hw] a re-implementation of the (defunct) Apple Newton platform at http://gnuton.sourceforge.net/
go! => [os] a component based OS at http://sourceforge.net/projects/goos/
goa => Generalized Observing Actors at http://smets.com/happygirl/research/goa/
godiva => [java] a very high level dialect of Java at http://www.cs.nmsu.edu/~jeffery/godiva/
godl => [pl] a procedural concurrent oo scripting language designed for use in real-time game engines at http://www.geocities.com/serge_tr/godl/
goe => Goe Object enviroment at http://sourceforge.net/projects/goe/
golog => [pl] at http://citeseer.nj.nec.com/162910.html http://citeseer.nj.nec.com/levesque94golog.html
gomscript => [pl] an OO C++-like interpreter at http://www.cs.cornell.edu/home/bba/code.html
goo => [pl] at http://www.lag.net/goo/
good:1 => [oo] Grammar-Oriented Object Design at http://www.mum.edu/cs_dept/aarsanjani/GOOD/
good:2 => [pl] at http://cehteh.homeunix.org/pipawiki/GOOD
goodm => Graph-Oriented Object Database Model at http://citeseer.nj.nec.com/gyssens90graphoriented.html http://citeseer.nj.nec.com/gemis93good.html
gorby => [pl] a small extensible stack based scripting language by Geoffrey Hamilton at http://www.knotwork.com/%28nobg%29/info/comp/freeware/linux/gorby/
goto++ => [eso+pl] at http://gpp.niacland.net
gp:1 => [acro] Genetic Programming
gp:2 => [acro] Generic Programming
gpc => [pe] Generalized Partial Computation, see "Program Transformation System Based on Generalized Partial Computation" at http://citeseer.nj.nec.com/futamura02program.html
gpcp => [pascal] Gardens Point Component Pascal, compiler, produces code for either the Microsoft .NET platform and for the javavm, at http://www2.fit.qut.edu.au/CompSci/PLAS//ComponentPascal/
gpl:1 => [license] the GNU/General Public License at http://www.gnu.org/copyleft/gpl.html
gpl:2 => [pl] General Programming Language at http://www.imonk.com/gpl/reference.html
gpo => [mp] at http://www.generative-programming.org
gpp => [mpp] Generic PreProcessor, with customizable syntax, at http://www.math.polytechnique.fr/cmat/auroux/prog/gpp.html
gpulp => general PUrpose Location Protocol at http://gnutellang.wego.com http://www.wired.com/news/technology/0,1282,38836,00.html
graffiti => [pl] at http://sourceforge.net/projects/graffitisl/
graffle => [pl] a PL of moderate pointlessness. structurally, a stack based imperative language, with touches of OO and a bit of graph theory thrown in. at http://www.cus.org.uk/~flagg/tacpprm/graffle/
gragra => [grammar] graph grammar bibliography at http://www.cs.umu.se/~drewes/gragra/
grail+ => [fsm] a symbolic computation environment for finite-state machines, regular expressions, finite languages, and other formal language theory objects. at http://www.csd.uwo.ca/research/grail/grail.html
grammex => defining grammars by example at http://agents.www.media.mit.edu/people/lieber/Lieberary/Grammex/Grammex-Intro.html
grasp => Graphical Representations of Algorithms, Structures and Processes at http://www.eng.auburn.edu/grasp/
grasper-cl => [graphs+cl+clim+ui] a system for manipulating and displaying graphs, and for building graph-based user interfaces, at http://www.ai.sri.com/~grasper/ http://citeseer.nj.nec.com/145256.html
gre => [pl] an extensible plotting PL, based on Gri at http://www.phys.ocean.dal.ca/~kelley/gre/
green => [pl] an OOPL at http://www.dc.ufscar.br/~jose/green/green.htm
green mint => [pl] at http://redhog.org/Projects/Programming/Past/Green%20Mint/
gregor => [xslt] a optimizing XSLT compiler at http://www.ambrosoft.com/gregor.html
gri => [pl] a PL for scientific illustration and graphics programming at http://gri.sourceforge.net
grogra => [grammar] Growth Grammar Interpreter at http://www.uni-forst.gwdg.de/~wkurth/grogra.html
grok => see foldoc for grok
groovy => [pl+java+python] at http://groovy.codehaus.org
grrr => [pl] a fully visual serial graph rewriting language at http://www.cs.ukc.ac.uk/people/staff/pjr6/index.html
grub => [os] GRand Unified Bootloader at http://www.gnu.org/software/grub/ http://www.uruk.org/grub/
gscript => [pl] GeneralScript at http://sourceforge.net/projects/gscript/
gtg => [acro] Got To Go
guarana => [refl] a reflective architecture, a language-independent MOP that aims to reuse of meta-level code through composition, at http://www.ic.unicamp.br/~oliva/guarana/ http://sourceforge.net/projects/guarana/
gui gallery:1 => [ui] at http://toastytech.com/guis/
gui gallery:2 => [ui] at http://www.pla-netx.com/linebackn/guis/
gurgle => [pl] GnU Report Generator LanguagE at http://www.gnu.org/directory/GURGLE.html http://www.dai.ed.ac.uk/homes/timc/gurgle/
gut => [acro] Grand Unified Theory
gxl => [graph+xml] Graph eXchange Language at http://www.gupro.de/GXL/
gzz => [zigzag+java] FKA gzigzag, a ZigZag implementation at http://sourceforge.net/projects/gzigzag/ http://freshmeat.net/projects/gzz/
habitat => [vw] at http://www.communities.com/people/crock/habitat.html
hackers => [book] _Hackers: Heroes of the Computer Revolution_ by Steven Levy at http://sch57.msk.ru:8100/~khim/hackers/cover.html
haclisp => [lisp] a Lisp interpreter for hackers at http://sourceforge.net/projects/haclisp/
hactar => [os] at http://members.designheaven.com/~44/hactar.html
hadrian => [c+cpp+ide] at http://sourceforge.net/projects/hadrian/
hal => [pl+fp+lp] a strongly typed, weakly moded, constraint logic/functional PL, for solving complex combinatorial problems, at http://www.csse.monash.edu.au/~mbanda/hal/
halpern => at http://simon.cs.cornell.edu/Info/People/halpern/
halting => the halting problem, see http://www.cs.washington.edu/homes/csk/halt.html http://www.cs.auckland.ac.nz/CDMTCS/chaitin/unknowable/ch4.html http://www.netfunny.com/rhf/jokes/89q4/halting.760.html
hancock => [pl+c] a C-based domain-specific PL designed to facilitate extracting useful information from massive data streams at http://www.research.att.com/~kfisher/hancock/
hank => [pl] a cognitive modelling language/environment at http://kmi.open.ac.uk/projects/hank/
harissa => [java] at http://www.irisa.fr/compose/harissa/harissa.html
harmonia => [mp] an open extensible framework for constructing interactive language-aware programming tools at http://www.cs.berkeley.edu/Research/Projects/harmonia/
hbaker => [ppl] see henry baker
hc/x => [pl] HyperCard/eXtensible at http://sourceforge.net/projects/hcx/
hci links => [hci] see http://dmoz.org/Computers/Human-Computer_Interaction/ http://www.ida.liu.se/labs/aslab/groups/um/hci/
hcilib => [hci+cmc] at http://sourceforge.net/projects/hcilib/
heidegger => see http://dmoz.org/Society/Philosophy/Philosophers/Heidegger,_Martin/
hello world => [pls+examples] at http://www.latech.edu/~acm/HelloWorld.shtml http://www.roesler-ac.de/wolfram/hello.htm http://www.cuillin.demon.co.uk/nazz/trivia/hw/hello_world.html
helloyou => [pls+examples] at http://kevin.alteu.com/code/helloyou/index.html
heron => [pl] at http://www.heron-language.com
hipe => [pe] Hacker's Introduction to Partial Evaluation at http://www.accesscom.com/~darius/writings/peval/index.html
hippo => [pl] an orthogonally persistent language with a distributed store for web programming at http://www.hippo.cs.strath.ac.uk
hird => HURD of Interfaces Representing Depth
historic cs docs => [comp+cs+pls] historic documents in computer science and engineering at http://www.fh-jena.de/~kleine/history/
historic cs docs isno, kipple => [eso+pl] at http://rune.krokodille.com/lang/kipple/
hla => [asm] High Level Assembly at http://webster.cs.ucr.edu/Page_hla/Page_hla.html
hll => [acro] High Level Library / Language
hob => [pl+fp+lp] Higher Order Babel at http://citeseer.nj.nec.com/kuchen96higher.html
hocompiler => [hol+compilers] higher order compilation, use of higher order abstract syntax and higher order logic programming for compiler implementation at http://cs.hofstra.edu/~cscccl/hocompiler/
hof => [fp] Higher-Order Function
hogl => [lisp+doc] Pascal Costanza's Highly Opinionated Guide to Lisp at http://www.pascalcostanza.de/lisp/guide.html
hojo => [MIA+pl+java] Higer-Order functions and Java Objects at http://www.student.dtu.dk/~c971541/hojo/index.htm
hol => [logic] a system for proving theorems in Higher Order Logic at http://sourceforge.net/projects/hol/
hombre => Hierarchical Object Model Build and Refactoring Environment at http://sourceforge.net/projects/hombre/
homespring => [eso+pl] at http://home.fuse.net/obvious/hs.html http://www.cpan.org/authors/id/I/IA/IAMCAL/Language-Homespring-0.02.tar.gz
hoopla => [pl] an imperative PL with first class functions and an enhanced polymorphic type system at http://ncstrl.informatik.uni-stuttgart.de/ifi/ps/hoopla/index.html
hop => [pl+fp] a functional language with "name-based" interaction between software components at http://cui.unige.ch/OSG/research/Hop/hop.html
hope => [pl+fp] a small functional PL, with polymorphic typing, algebraic types, pattern matching, higher-order functions and a fully lazy interpreter, at http://www.soi.city.ac.uk/~ross/Hope/
hot => [fp] Higher Order, Typed; the true concept behind the name "FP", see PHOT
howtos => [linux+doc] at http://www.tldp.org/HOWTO/HOWTO-INDEX/howtos.html
hpdf => High Performance Debugging Forum at http://www.ptools.org/hpdf/
hpf => [fortran] High Performance Fortran at http://www.uni-karlsruhe.de/~HPF/index.en.html
hpos => Hierarchical Persistent Object Stores at http://www.cs.adelaide.edu.au/users/fred/projects/hpos/
hq9+ => [pl] at http://www.cliff.biffle.org/esoterica/hq9plus.html http://search.cpan.org/~cwest/HQ9PLUS-0.4/
htel => [pl+html] HyperText Expression Language at http://www.imm.dtu.dk/~jsm/pub/htel.html http://www.imm.dtu.dk/~jsm/htel/
htx => [ml] an extensible Web development system which is to HTML what LaTeX is to DVI at http://www.cs.oberlin.edu/htx/
hue => [pl] "Highly Underestimated Engineering" at http://www.binary-craft.com/HUE/index.htm http://www.binary-craft.com/docs/files/HUEDoc.htm
humbletalk => [pl] at http://ironbark.bendigo.latrobe.edu.au/subjects/bitsys/humbletalk20.html
hwb => [hw] the hardware book at http://sunsite.auc.dk/hwb/
hyper/j => [java] multi-dimensional separation of concerns for Java at http://www.research.ibm.com/hyperspace/HyperJ/HyperJ.htm
hyperj => [java+aop] supports multi-dimensional separation and integration of concerns for Java at http://www.alphaworks.ibm.com/tech/hyperj/
hypermedia => [hypertext] see http://aetos.it.teithe.gr/~cs1msa/docs/hyp0.html
hyperprogramming => [mp] where you make programs by connecting nodes in a persistent database to represent data or code, instead of using a text-based language
hyperref => links to Online Dictionaries, Glossaries and Encyclopedias at http://stommel.tamu.edu/~baum/hyperref.html
hyperspace => multi-dimensional separation of concerns at http://www.research.ibm.com/hyperspace/
hyperspec => [cl+spec] see CLHS
hypertext/hypermedia handbook => [book] edited by Emily Berk and Joseph Devlin (ISBN 0-07-016622-6)
i-lang => [pl+xml+java+eiffel] based on Java and Eiffel with XML syntax at http://sourceforge.net/projects/i-lang/
ia32 => [acro] Intel Architecture 32-bit
ian piumarta => [ppl] VVM project leader, at http://www-sor.inria.fr/~piumarta/
icac => [acro] In Case Anyone Cares
icct => Interaction, Computability, and Church's Thesis at http://www.cs.brown.edu/people/pw/papers/bcj1.pdf
ici:1 => [ui] Information-Centric Interface at http://www-2.cs.cmu.edu/~sage/visageic.html
ici:2 => [pl] a C-like HLL at http://www.zeta.org.au/~atrn/ici/
icuc => [acro] In Case yoU Care
ideal => [cl+clim] at http://yoda.cis.temple.edu:8080/ideal/
idefix => Integrated Development Environment Frameworks based on Internet and eXtensible technologies at http://sourceforge.net/projects/idefix/
idel => [vm] a virtual machine for safely and portably running untrusted code at http://www.accesscom.com/~darius/software/idel/index.html
idl:1 => [pl] Interface Description Language, see http://dmoz.org/Computers/Programming/Languages/IDL/
idl:2 => [pl] Interactive Data Language at http://www.rsinc.com/idl/
idol => [icon] OO Icon at http://www.cs.utsa.edu/documents/tr96-1.html
idsuln => [linearity] "Implementing Distributed Systems Using Linear Naming" at http://www.bawden.org/alan/
if logic => [logic] Independence-Friendly logic, allows for independence of relationships between any quantifiers that in ordinary logic Must be dependent
ifft => [acro] Inverse Fast Fourier Transform
ifs => Iterated Function System, a type of fractal
iguana => [pl] at http://web.tiscali.it/iguana.lang/
iguana lang => [pl] math-oriented scripting language at http://web.tiscali.it/iguana.lang/ http://sourceforge.net/projects/iguana-lang/ http://freshmeat.net/projects/iguana/
ihfs => Intelligent Hierarchical File Systems at http://www.cs.adelaide.edu.au/users/fred/projects/ihfs/
ihorie => [elan] Implementing Higher-Order Rewriting in Elan at http://www.daimi.aau.dk/~hago/elan/report.html
ilc => [lisp+conf] at http://www.international-lisp-conference.org
illyria => [pl+fp] constraint-based subtype inference system at http://www.cs.berkeley.edu/~aiken/Illyria-demo.html
im => [acro] Instant Message / Messaging / Messenger
impl => [acro] IMPLementation
imps => [math] Interactive Mathematical Proof System at http://imps.mcmaster.ca/
inertia => [pl] at http://sourceforge.net/projects/inertia/ http://www.mike-austin.com/home/projects/inertia
infobot => [irc] at http://www.infobot.org
infobot guide => [abi] at http://www.tunes.org/~nef/abi/infobot-guide.html
infogenomics => [MIA+ai] at http://www.starlab.org/genes/neural_nets/
infoprism => [text] a general document processing system that translates SGML source files to different output formats like HTML Texinfo LaTeX and plain text, at http://www.han.de/~racke/InfoPrism/infism.html
infovis => Information Visualization links at http://www.cwi.nl/InfoVisu/links.html
injectj => [java] a parse-time transformation library / language for Java at http://injectj.fzi.de
inom => [net] kaufmann's project for a high-level model for universal Internet objects
inria => [research] a big organisation that manages research centers all over france, at http://www.inria.fr
int list => [asm] at http://www.ctyme.com/rbrown.htm
intalk => at http://kiwi.emse.fr/JJG/INTALK/intalk.html
intellectual property => at http://intellectual.property.really.fuckingsucks.net/
intentsoft => [ip+aop] Intentional Software Corporation at http://www.intentsoft.com http://www.intentsoft.com/faq.html
intercal => [pl] at http://catb.org/~esr/intercal/
interlisp => [lisp] at http://server1.florida-software.com/algorithms/downlispf4.shtml
intermezzo => [fs] a distributed fs at http://www.inter-mezzo.org
interpreting lisp => [lisp+book] at http://www.civilized.com/LispBook/
interscript => [lp] at http://sourceforge.net/projects/interscript/
intertwingularity => "People keep pretending they can make things deeply hierarchical, categorizable and sequential when they can't. Everything is deeply intertwingled." -- Ted Nelson
interval => the interval library project, a repository of open-source verifiably correct implementations of interval arithmetic and interval constraints at http://sourceforge.net/projects/interval/
interval library project => a repository of open source, verifiably correct implementations of interval arithmetic and interval constraints, and applications thereof at http://interval.sourceforge.net/interval/index.html
ioa => verification of distributed systems using i/o automata at http://isabelle.in.tum.de/IOA/ http://theory.lcs.mit.edu/tds/ioa.html http://citeseer.nj.nec.com/garland97ioa.html
iol4 => [io+l4+os+pl] a small OS containing the Io programing language on top of the L4 microkernel at http://www.iol4.com
iota => [comb+pl] at http://ling.ucsd.edu/~barker/Iota/
iow => [acro] In Other Words
ip => [cs] Intensional Programming, see http://citeseer.nj.nec.com/163909.html http://www.softlab.ntua.gr/~nickie/Research/Intensional/ GIPSY GLU#
ipsil => [lisp] an embedable lisp interpreter at http://sourceforge.net/projects/ipsil/
irc log => [irc] at http://www.tunes.org/~nef/logs/ http://www.tunes.org/~coreyr/ http://www.tunes.org/files/irc/old/ http://tunes.org/~lar1/logs/
irc logs => [irc] at http://www.tunes.org/~nef/logs/ http://www.tunes.org/~coreyr/ http://www.tunes.org/files/irc/old/ http://tunes.org/~lar1/logs/
ircii => [irc] at http://www.eterna.com.au/ircii/
irclog => [irc] at http://www.tunes.org/~nef/logs/ http://www.tunes.org/~coreyr/ http://www.tunes.org/files/irc/old/ http://tunes.org/~lar1/logs/
irclogs => [irc] at http://www.tunes.org/~nef/logs/ http://www.tunes.org/~coreyr/ http://www.tunes.org/files/irc/old/ http://tunes.org/~lar1/logs/
irl => [acro] In Real Life
isaac => [os] an OO OS with dynamic inheritance at http://www.isaacos.com
isal => [alife] International Society for Artificial Life at http://www.alife.org
ishtar => [pl+flp] a FLP language with polymorphic order-sorted types at http://citeseer.nj.nec.com/320661.html
isis => [pl] a PL for responsive media at http://www.mle.ie/~stefan/isis/
isl => An Introduction to Substructural Logics at http://www.phil.mq.edu.au/isl/
itch => [pl+bf] a brainfuck superset at http://wiw.org/~ams/projects/itch.html
itop => [pl] ideal table-oriented programming language at http://www.geocities.com/SiliconValley/Lab/6888/newlang.htm
j/k => [acro] Just Kidding
j2me => [java+doc] Java 2 Micro Edition at http://java.sun.com/j2me/
jabberwocky => [lisp] preceeded by LISPDEBUG, a Lisp IDE with Lisp-aware editor, source level debugger, project explorer, interaction buffer, at http://www.cliki.net/Jabberwocky
jac => [java+aop] Java Aspect Components, a flexible framework for distributed and dynamic AOP in Java, at http://jac.aopsys.com
jacaranda => [gc+research] at http://www.cs.adelaide.edu.au/~jacaranda/
jaccie => [java] JAva-based Compiler-Compiler in an Interactive Environment at http://ist.unibw-muenchen.de/People/lothar/jaccie.html
jaco => [java] an extensible compiler for Java at http://lampwww.epfl.ch/jaco/
jact-r => [java+ai] at http://jactr.sourceforge.net
jag => [ppl+java] James A. Gosling, creator of Java, at http://java.sun.com/people/jag/
jalapeno => [java] a dynamically optimizing Java VM at http://www.research.ibm.com./jalapeno/
jamoos => [pl] an OO language for grammars at http://www.cs.technion.ac.il/Labs/ssdl/thesis/finished/2001/tyuri/
jaoir => [java] Java Analysis, Optimization and Implementation References at http://www.math.tau.ac.il/~guy/pa/java.html
java for lisp programmers => [MIA+java+lisp] at http://scruffy.cs.umd.edu:8080/seanl/Java/AAAI99/index.htm
java.lang.reflect => [java+refl] at http://java.sun.com/j2se/1.4/docs/api/java/lang/reflect/package-summary.html
javacc => [java] Java Compiler Compiler, at http://www.webgain.com/products/java_cc/
javacup => [java] Constructor of Useful Parsers, parser generator for Java, at http://www.cs.princeton.edu/~appel/modern/java/CUP/
javaparty => [java] a distributed companion to java at http://wwwipd.ira.uka.de/JavaParty/
javapvm => [java+pvm] a Java to PVM Interface at http://www.cis.ksu.edu/Systems/Info/JavaPVM/
jb => [java+bison] Java Bison parser runtime at http://www.cs.colorado.edu/~arcadia/Software/jb.html
jbs => [ppl] Jean-Bernard "marvelous" Stefani of FT/BD/FTR&D/DTL/ASR, interested in reflection as a way to build flexible distributed systems
jburg => [java] a bottom-up rewrite machine generator for Java at http://jburg.sourceforge.net
jcon => [icon+java] a Java-based Icon implementation at http://www.cs.arizona.edu/icon/jcon/
jcsp => [java] Communicating Sequential Processes for Java at http://www.cs.ukc.ac.uk/projects/ofa/jcsp/
jef => [ppl+mac+the] Jef Raskin, author of The Humane Interface, creator of Apple's Macintosh, etc at http://www.jefraskin.com
jellyj => [pl] at http://sourceforge.net/projects/jellyj/
jfc => [acro] Jesus Fucking Christ
jffs => [fs] Journaling Flash File System at http://www.developer.axis.com/software/jffs/
jfl => [pl] a language for transforming fuzzy logic programs into C and back, Jfs is a programming environment for it is at http://inet.uni2.dk/~jemor/jfs.htm
jfp => [fp] Journal of Functional Programming at http://www.dcs.gla.ac.uk/jfp/
jfs:1 => [jfl] a Jfl programming environment at http://inet.uni2.dk/~jemor/jfs.htm
jfs:2 => [fs] IBM's journaling filesystem, ported to Linux at http://oss.software.ibm.com/developerworks/opensource/jfs/
jgraph => [pl+vp+java] a Java compatible visual language, based on Prograph, at http://www.cs.dal.ca/~smedley/proj.html#jgraph
jiazzi => [java] large-scale component programming support for Java, at http://www.cs.utah.edu/plt/jiazzi/
jie => [java] J*va Interactive Environment at http://www.netrinsics.com/Jie.html
jigsaw => [pl] "jigsaw: mixins, modularity and multiple inheritance" at http://citeseer.nj.nec.com/bracha92programming.html
jikes => [java] at http://www.ibm.com/research/jikes/
jint => [pl] at http://freshmeat.net/projects/jint/
jj => [pl] at http://jj.cs.caltech.edu http://www.publicstaticvoidmain.com
jjtree => [javacc] see http://www.ifs.org.uk/~popx/jjtree.html
jk => [acro] Just Kidding
jkernel => [java] JavaVM extension for multiple protection domains at http://www.cs.cornell.edu/slk/JKernel/Default.html
jlex => [java] a lexical analyzer generator for Java, at http://www.cs.princeton.edu/~appel/modern/java/JLex/
jlisp => [cl+java] a CommonLisp interpreter in Java at http://sourceforge.net/projects/jlisp/
jmax => [dataflow+ide+music] at http://sourceforge.net/projects/jmax/ http://sourceforge.net/projects/jmax/
jmc => [ppl+lisp] John McCarthy, LISP inventor at http://www-formal.stanford.edu/jmc/
jml => [java] Java Modeling Language, a behavioral interface specification language at http://www.cs.iastate.edu/~leavens/JML.html
john tromp => [ppl] at http://www.cwi.nl/~tromp/ and is working on K-complexity (with Paul Vitanyi) and universal prefix machines
joie => [java] Java Object Instrumentation Environment at http://www.cs.duke.edu/ari/joie/
join-calculus => [pl] at http://join.inria.fr
jolli => [logic+journal] the Journal of Logic, Language and Information at http://www.folli.uva.nl/jolli.html/
jooda => [java+ide] a Java IDE the with look and feel of a Smalltalk IDE at http://jooda.sourceforge.net
jopl => [pls+journal] Journal of Programming Languages at http://compscinet.dcs.kcl.ac.uk/JP/
jot => [comb+pl] at http://ling.ucsd.edu/~barker/Iota/
joule => [pl] at http://www.agorics.com/joule.html
journaling file system => [fs] a filesystem that keeps a record of what is being changed so it can repair any damage done by a power outage
jovial => [pl] at http://www.jovial.hill.af.mil
jpb => [ppl] Jean-Pierre Briot aka Jeeps, at http://www-poleia.lip6.fr/~briot/index2.html
jpvm => [java] Java Parallel Virtual Machine, at http://www.cs.virginia.edu/~ajf2j/jpvm.html
jr => [pl+sml] based on SML, at http://www-sal.cs.uiuc.edu/~kamin/Jr/
jrockit => [java] a family of superior virtual machines for server-side Java at http://www.jrockit.com/index.html
js20 => [js+doc] JavaScript 2.0 spec at http://www.mozilla.org/js/language/js20/index.html
jscc => [java+aop] Java Specialisation Classes Compiler at http://www.irisa.fr/compose/jscc/
jscm => [scheme+js] Scheme in JS at http://www.bluetail.com/~luke/
jslisp => [lisp+js] a JavaScript Lisp interpreter at http://ganley.org/software/jslisp.html
jspec => [java+pe] a partial evaluator for Java at http://compose.labri.fr/prototypes/jspec/
jsr => [java+doc] the Java Spec Report at http://www.ergnosis.com/java-spec-report/
jsx => [java+xml] Java Serialization to XML at http://www.csse.monash.edu.au/~bren/JSX/
jtpl => [pl] Jakub Travnik's experimental PL, Ruby-ish and Lispy, at http://klokan.sh.cvut.cz/~jtra/
jts => [java+dsl] Jakarta Tool Suite, tools for implementing DSLs at http://www.cs.utexas.edu/users/schwartz/software.html
jucs => [cs+journal] Journal of Universal Computer Science at http://www.jucs.org
judoscript => [pl] at http://www.judoscript.com http://sourceforge.net/projects/judoscript/
judy => a dynamic array system with better performance and size characteristics than common trees at http://judy.sf.net/
jvlc => [vp] Journal of Visual Languages and Computing at http://www.academicpress.com/jvlc
jxta => [p2p] Sun's language and platform-independent protocol for peer-to-peer networking at http://www.jxta.org
k-c => [algorithm] Kolmogorov complexity, a measure for algorithmic complexity based on the shortest program that computes the algorithm, pointers at http://www.cwi.nl/~paulv/kolmogorov.html
karel driesen => [ppl] at http://www.cs.mcgill.ca/~karel/
kartoo => [web] a meta search engine which draws web maps, at http://www.kartoo.com
kcl => [cl] Kyoto CommonLisp, see http://www.lisp.org/table/systems.htm#kcl
ken => [ppl] Ken Thompson at http://cm.bell-labs.com/cm/cs/who/ken/index.html
kernel mode linux => [os+linux+no-kernel] see KML
kis => [acro] Keep It Simple
kiss:1 => [acro] Keep It Simple, Stupid
kiss:2 => [pl] at http://web.tiscali.it/kisspl/
kiss:3 => [pl] Kids In System Studies at http://www-cs.canisius.edu/~mcconnel/Courses/351/F00/CSC351b/language_index.html
kissme => [java] a GPL'd Java vm supporting orthogonal persistence at http://kissme.sourceforge.net/
kitty & bobcat => [pl+tiger] at http://puma.wellesley.edu/~cs301/
kl3 => [pl] at http://www.kees.cc/kl3/
klone => [pl+lisp+emath] an experimental prototype-based OO PL at http://koala.ilog.fr/ftp/pub/Klone/
kml+tal => [os+linux+no-kernel] "Safe execution of user programs in kernel mode using Typed Assembly Language" by Toshiyuki Maeda at http://www.yl.is.s.u-tokyo.ac.jp/~tosh/kml/tosh_master_kml_e.pdf .ps see KML TAL
kmp => [ppl+lisp] Kent M. Pitman, Lisp guru, at http://world.std.com/~pitman/
knit => [aop] a component specification and linking toolset at http://www.cs.utah.edu/flux/knit/ http://freshmeat.net/projects/knit/
knowledge representation => [ai+book] _Knowledge Representation: Logical, Philosophical, and Computational Foundations_ by John F. Sowa at http://www.jfsowa.com/krbook/index.htm
kobj => [MIA] the Kernel OBJect system at http://www.smethers.net/~jason/fkhh/kernel/subsystems/kobj.html
konk/os => [os] at http://www.konkers.net/~konkers/konkos/
kosh => [os+hw] Kommunity Operating System and Hardware at http://kosh.convergence.org
kuil => [xml+ui] Koala User Interface Language at http://koala.ilog.fr/kuil/
kumo => [obj+logic] a web-based proof assistant in first order hidden logic, using OBJ3 as a reduction engine at http://www.cs.ucsd.edu/groups/tatami/kumo/
kut => [tunes] a Kernel Usable for TUNES, by Basile Starynkevitch at ftp://ftp.tunes.org/pub/tunes/obsolete/work/low-level/kut_0_4.tgz
kvm => [java] Sun's Kilobyte VM for PDAs, see http://java.sun.com/products/cldc/faqs.html
kxhtml => [xhtml+klone] Koala XHTML processor at http://koala.ilog.fr/kxhtml/
kye => [pl] an evolvable multithreaded 2d PL at http://printf.net/~tom/projects/kye/ http://freshmeat.net/projects/kye/
kylix => [delphi+linux+ide] Delphi for Linux at http://www.borland.com/kylix/
l => [pl] http://www.geocities.com/tablizer/L.htm
l2||o2 => [pl+lp+oo] a concurrent OO logic language at http://polaris.lcc.uma.es/~ernesto/tesis/indice.html
l3 => [os] a microkernel OS, predecessor of l4, at http://os.inf.tu-dresden.de/L3/
l4ka => [os+l4] a microkernel-based system with re-implementation of the L4 kernel at http://www.l4ka.org
labview => [dataflow+pl] a dataflow language at http://www.ni.com/linux/
lacte => [MIA+pl+lisp] an actor PL upon CommonLisp (in french) at http://www.essi.fr/~pazzagli/recherche/lacref_ToC.html
lagoona => [pl] a component-oriented PL, see http://dmoz.org/Computers/Programming/Languages/Lagoona/
lal => [book+compilers] _Linkers and Loaders_ at http://linker.iecc.com
lambda:1 => a syntactical constructor for abstraction of variables. see http://tunes.org/Review/VMs.html#lambda
lambda:2 => [eso+pl+lc] mathematical lambda calculus combined with a simple Neumann architecture at http://www.veling.nl/anne/lang/lambda/
laml => [lisp+ml] Lisp Abstracted Markup Language at http://www.cs.auc.dk/~normark/laml/
lamreduce => [lc] lambda calculus reducer, a tool for visualizing various reduction strategies in the pure untyped lambda calculus, at http://www.dina.dk/~sestoft/lamreduce/index.html
lang => [acro] LANGuage
lang guide => [pls] at http://umdsun1.umd.umich.edu/CIS/course.des/cis400/index.html
lang/bgb => [pl] at http://bgb-sys.sourceforge.net
langband => [lisp+game] a lispier angband at http://langband.sourceforge.net
langlist => [pls] see langlist1, langlist2, langlist3
langlist1 => [pls] see langlist, at http://cui.unige.ch/langlist/ http://home.nvg.org/~sk/lang/lang.html http://www.hypernews.org/HyperNews/get/computing/lang-list.html http://users.utu.fi/sisasa/oasis/oasis-lang.html
langlist2 => [pls] see langlist, at http://opop.nols.com/babel.html http://www.linuxlinks.com/Software/Programming/Languages/
langlist3 => [pls] see langlist, at http://insdel.snu.ac.kr/~hsm/lang.html http://cbbrowne.com/info/languages.html http://people.ku.edu/~nkinners/LangList/Extras/langlist.htm
langsmiths => [mlist] Language Smiths, discussion group for people writing their own OO PLs at http://groups.yahoo.com/group/langsmiths/
lar1 => [ppl] no longer attending IRC, but can be reached at mailto:lar1@bigfoot.com AIM: coch1 ICQ: 4831418
larch => [spec] a formal specification language, see http://www.cs.iastate.edu/~leavens/larch-faq.html
larchant => [gc+persistence] garbage collection and persistence in a shared store at http://www-sor.inria.fr/projects/larchant/
latex => [tex] a kludge of a macro system on top of TeX, about as usable as C, see http://dmoz.org/Computers/Software/Typesetting/TeX/LaTeX/
latex graphs => [latex+graph] a LaTeX package for typesetting graphs at http://www.cs.umu.se/~drewes/graphs/
latte => [pl] a language for transforming text at http://www.latte.org http://freshmeat.net/projects/latte/
lava => [java] a proper extension of Java by dynamic delegation and consultation according to the Darwin model at http://javalab.cs.uni-bonn.de/research/darwin/darwin_eng.html
lazy k => [pl+fp] a GC'd referentially transparent functional PL with a simple stream-based I/O system, at http://www.cwi.nl/~tromp/cl/lazy-k.html
lazy-l => [lc+pl] an interpreter for pure untyped lambda calculus using combinator graph reduction techniques, at http://combengine.sourceforge.net http://freshmeat.net/projects/lazy-l/
lbi => [logic] Logic of Bunched Implications at http://www.cs.bath.ac.uk/~pym/BI.html
lbt => [ppl+linux] Linus Benedict Torvalds
lc => [acro] Lambda Calculus
lc-impact => [lc+cs+paper] "The Impact of the Lambda Calculus in Logic and Computer Science" at http://citeseer.ist.psu.edu/barendregt97impact.html
lcc => [c] a retargetable compiler for ANSI C at http://www.cs.princeton.edu/software/lcc/
lci => [lc] Lambda Calculus Interpreter, at http://drcjt.freeyellow.com/Lambda.html
lck => [nl] Language Construction Kit at http://www.zompist.com/kit.html
ldl => [MIA] Language Development Laboratory at http://www.informatik.uni-rostock.de/FB/Praktik/psuet/ldl/
ldp => [linux+doc] the Linux Documentation Project at http://www.tldp.org
leather => [pl] a reliable, flexible, industrial strength, general purpose language based on the idea of objects being made mathematically rigorous at http://www.geocities.com/SoHo/Cafe/5947/leather.html
lec => [linux] Linux Enterprise Computing at http://linas.org/linux/index.html
leeos => [os] at http://leeos.cjb.net
lem => [pl] at http://sourceforge.net/projects/lemsh/
lemme => at http://www-sop.inria.fr/lemme/lemme-eng.html
lemon => a modern LALR(1) parser generator at http://www.hwaci.com/sw/lemon/index.html
lesourd => [ppl] at http://www-poleia.lip6.fr/~lesourd/
lewis => [pl] at http://home.sprynet.com/~hthedick/homepage.htm
lfcsm => [logic+cs+math] the Logical Foundations of Computer Science and Mathematics at http://cs.wwc.edu/~aabyan/Logic/
lhs => [acro] Left Hand Side
liana => [pl] at http://www.basetechnology.com/liana.htm
libbfparse => [parsing+bf] BrainFuck parser and interpreter at http://freshmeat.net/projects/libbfparse/
liboop => a low-level event loop management library for POSIX-based OSes at http://liboop.org
libre => [ocaml+regexp] OCaml regexp library at http://sourceforge.net/projects/libre/
librep => [lisp] an embeddable Emacs-Lisp-like runtime library, LISP interpreter, byte-code compiler and virtual machine at http://www.dcs.warwick.ac.uk/~john/sw/librep.html http://librep.sourceforge.net
lifo => [acro] Last In First Out
lightning => a JIT code generation library at http://www.gnu.org/software/lightning/lightning.html http://freshmeat.net/projects/lightning/
lily => theory and practice of linear polymorphic intermediate languages at http://www.cl.cam.ac.uk/~gmb/Lily/
lilypond => [music] the GNU music typesetter at http://www.cs.uu.nl/people/hanwen/lilypond/
linear naming => [linearity] explained at http://home.pipeline.com/~hbaker1/Use1Var.html
lingol => [pl+nlp] LINGuistics Oriented Language at http://boole.stanford.edu/pub/lingol.html
link => [math] a software system for discrete mathematics at http://dimacs.rutgers.edu/~berryj/LINK.html
link grammar => [grammar] at http://www.link.cs.cmu.edu/link/
links => [web] a text WWW browser at http://artax.karlin.mff.cuni.cz/~mikulas/links/
linux bfs => [linux+fs+beos] BeOS filesystem for Linux at http://hp.vector.co.jp/authors/VA008030/bfs/
linuxthreads => [linux] at http://pauillac.inria.fr/~xleroy/linuxthreads/
lirl => [pl] List Implicit Recursive Language, at http://www.stud.uni-karlsruhe.de/~uu9r/lang/html/lirl.en.html
lisp 1 => [lisp] see lisp-1
lisp 2 => [lisp] see lisp-2
lisp as an alternative to java => [lisp+java] at http://www-aig.jpl.nasa.gov/public/home/gat/lisp-study.html
lisp books => [lisp+book] see Interpreting Lisp, On Lisp, Lisp In Small Pieces, Ansi Common Lisp, CL Cookbook, lisp2ndlang
lisp in small pieces => [lisp+book] at http://youpou.lip6.fr/queinnec/WWW/LiSP.html
lisp n => [lisp] see lisp-N
lisp primer => [lisp+doc] at http://grimpeur.tamu.edu/~colin/lp/lp.html
lisp qa => [lisp] Lisp Questions and Answers at http://www.not-compatible.org/LISP/QA/index.html
lisp tut => [lisp+doc] an interactice Lisp tutorial at http://www.psychologie.uni-trier.de:8000/projects/ELM/elmart.html
lisp tutorial => [lisp+doc] at http://www.nyu.edu/pages/linguistics/nlcp/lisp.html http://grimpeur.tamu.edu/~colin/lp/
lisp-1 => [lisp] a Lisp with all symbols resolving to values within a single namespace. one namespace for functions and variables. such as Scheme
lisp-2 => [lisp] a Lisp with 2 separate namespaces, functions and variables
lisp-n => [lisp] a Lisp with 'N' separate namespaces, where N > 1. such as Common Lisp
lisp2ndlang => [lisp+book] _Lisp as a second language, composing programs and music_, Lisp and CLOS programming for musicians at http://www.ircam.fr/equipes/repmus/LispSecondLanguage/index.html
lispdebug => [lisp] succeeded by Jabberwocky, a source-level CommonLisp debugger at http://www.marclisp.bewoner.antwerpen.be/intro.html http://www.cliki.net/LISPDEBUG
lispf4 => [lisp] see interlisp
lispm => [lisp+hw] LISP Machines at http://fare.tunes.org/LispM.html
lispmag => [lisp] the Lisp magazine at http://www.lisp-p.org
lispmud => [lisp+mud] at http://www.tunes.org/~ultima/LispMUD-v1.tar.gz
lisposes => [lisp+os] at http://cbbrowne.com/info/lisposes.html - see vapour
lispreader => [lisp] a small library for reading expressions in Lisp syntax at http://www.complang.tuwien.ac.at/~schani/lispreader/ http://www.freshmeat.net/projects/lispreader/
lispweb => [lisp+web+mlist] a Lisp-Based Web Development mlist at http://www.red-bean.com/pipermail/lispweb/
list-esopls => [eso+pls] at http://en.wikipedia.org/wiki/List_of_esoteric_programming_languages
lithp => [lisp+cpp] a very small LISP interpreter in C++ at http://www.idt.mdh.se/kpt/source/lithp.tar.gz
little => [pl+oo+lisp] pure object-oriented lisp-like PL at http://www.thalion-graphics.de/little
littlelisp => [lisp+newton] Lisp interpreter for the Newton PDA at http://members.ozemail.com.au/~djbenn/docs/projects.html#littlelisp
lizp => [pl] a compiling interpreter for win32 at http://www.lizp.com
lka => [acro] Latterly Known As
ll2 => [cs+conf] the Lightweight Languages worshop 2002 at http://ll2.ai.mit.edu - see also ll1
ll3 => [cs+conf] Lightweight Languages 2003 at http://ll3.ai.mit.edu
lll => [acro] Low Level Library / Language
lllm => [dsl] Little Languages: Little Maintenance? at http://www.cwi.nl/~arie/papers/domain.pdf
llpe => [lisp+lp] Literate Lisp Programming Environment at http://anny.kinjo-u.ac.jp/~houser/llpe/Welcome.html
lmag => [math] Linas' Mathematical Art Gallery at http://linas.org/art-gallery/index.html
lml => [lisp+ml] common Lisp Markup Language at http://lml.b9.com
lnc => [linearity] Linear Naming and Computation at http://www.linearity.org
loell => [pl+js] Lazy Object Evaluation Little Language at http://w3future.com/html/loell/
log => [irc] at http://www.tunes.org/~nef/logs/ http://www.tunes.org/~coreyr/ http://www.tunes.org/files/irc/old/ http://tunes.org/~lar1/logs/
logical approach => at http://www.ece.ubc.ca/~elec571f/index.html
logimoo => [moo+prolog] at http://www.cs.unt.edu/~tarau/ http://www.cs.unt.edu/~tarau/research/99/lm.html http://www.binnetcorp.com/Internet/LogiMooUserGuide.html
loglan'82 => [pl] at http://www.univ-pau.fr/~salwicki/loghome.html
logs => [irc] at http://www.tunes.org/~coreyr/ http://www.tunes.org/~nef/logs/ http://www.tunes.org/files/irc/old/ http://tunes.org/~lar1/logs/
loki => [beta+java] compiling Beta into Java at http://mercury.ccil.org/~cowan/loki/
lol => [acro] Laughing Out Loud
loop => [oo+logic] Logic of Object-Oriented Programming, formal methods for OO systems, at http://www.cs.kun.nl/~bart/LOOP/index.html
loor => [pl] a Language of Object Orientation by mr Robertson at ftp://ibiblio.org/pub/languages/loor/
lop => Language-Oriented Programming at http://www.accesscom.com/~darius/writings/notes.text
lopix => [xml+lp] LOgic Programming In Xml at http://www.informatik.uni-freiburg.de/~may/lopix/
loving lisp => [lisp+book] at http://www.markwatson.com/opencontent/opencontent.htm
lp:1 => [acro] Logic Programming at http://archive.comlab.ox.ac.uk/logic-prog.html
lp:2 => [acro] Literate Programming at http://dmoz.org/Computers/Programming/Methodologies/Literate_Programming/
lpasa => [spec] Language Prototyping: an Algebraic Specification Approach at http://www.cwi.nl/~gipe/language_prototyping/index.html
lpc => [pl+c+lp-mud] LP-mud C, C variant for LP-MUDs at http://dmoz.org/Games/Internet/MUDs/LP/LPC/ http://www.lysator.liu.se/mud/lpc.html
lpip => [lp] "Literate Programming - Issues and Problems" at http://www.cs.auc.dk/~normark/litpro/issues-and-problems.html
lprolog => [pl+lp] see Lambda Prolog
lpt => [lp] Logic Programming Techniques at http://www.cs.mu.oz.au/~lee/papers/lpt.html
lscript => [pl] at http://www.gkrueger.com/java/lscript/
lse => [linux] Linux Software Encyclopedia at http://stommel.tamu.edu/~baum/linuxlist/linuxlist/linuxlist.html
lsp => [lisp+web] Lisp Server Pages at http://sourceforge.net/projects/lsp/
lt pos => [nl] an english part-of-speech tagger at http://www.ltg.ed.ac.uk/software/pos/index.html
ltns => [acro] Long Time, No See
lts => [regexp] Leaning Toothpick Syndrome, the use of the / in regular expressions for Unix pathnames (thus urls), etc
lucane => [pl] OO interpreted PL with prototype-based object model at http://www.lucane.org http://freshmeat.net/projects/lucane/
lucid => [MIA+pl+dataflow] at http://www.csl.sri.com/Lucid.html http://lucy.uvic.ca/LucidPrimer/ http://magiceight.www.media.mit.edu/projects/magiceight/isa/node20.html
lucinda => [pl] combines Russell-like polymorphism with Linda-like concurrency
lush => [lisp+shell] Lisp Universal SHell, OO Lisp interpreter/compiler, at http://sourceforge.net/projects/lush/
lustre => [pl] a synchronous reactive PL at http://www-verimag.imag.fr/SYNCHRONE/lustre-english.html
luxor => [xml+ui] a Xml User interface Language (XUL) Toolkit at http://www.sourceforge.net/projects/luxor-xul/
lx => [pl] at http://mozart-dev.sourceforge.net/lx.html
lygon => [pl+logic] a logic PL based on linear logic at http://www.cs.rmit.edu.au/lygon/
lyskom => [cmc] at http://www.lysator.liu.se/lyskom/index-en.html
m# => [pl] at http://sourceforge.net/projects/msharp/
macgs => [mac+ghostscript] MacGhostScript, a Macintosh Port of Ghostscript (which sucks) at http://www.glyphic.com/free/macgs.html
macgv => [mac+ghostscript] MacGhostView, a Macintosh Port of Ghostscript (which doesnt suck) at http://www.kiffe.com/macghostview.html
macroprocessing => [mp] a lame way of metaprogramming that makes a few easy things simple, and all the rest horribly complex
madore => [ppl] David Madore at http://www.eleves.ens.fr:8080/home/madore/
magnet => a dynamic resource management architecture at http://www.soi.city.ac.uk/~patty/magnet.html
maisql => [cl+sql] at http://www.pmsf.de/pmai/MaiSQL.html
maki => [pl+winamp] Make A Killer Interface, WinAmp's C++-like scripting language at http://www.winamp.com/nsdn/winamp/skinning/modern/scripting/
mala => [pl] at http://cehteh.homeunix.org/pipawiki/MaLa
malbolge => [pl] at http://www.mines.edu/students/b/bolmstea/malbolge/index.html http://www.antwon.com/other/malbolge/ http://www.acooke.org/andrew/writing/malbolge.html http://212.16.6.108/~mtve/code/eso/malbolge/
marcottage => a navigational approach to object networks at http://agents.www.media.mit.edu/people/lieber/Lieberary/OOP/Marcottage/
marlais => [dylan] a Dylan interpreter at http://www.cis.ufl.edu/~jnw/Marlais/
mathasm => [asm] an assembler-like language interpreter at http://alas.matf.bg.ac.yu/~mr99164/masm.html
maths => [math] at http://www.csci.csusb.edu/dick/maths/index.html
mathsym => "the earliest uses of various mathematical symbols" at http://members.aol.com/jeff570/mathsym.html
matlab => for high-performance numeric computation and visualisation at http://www.mathworks.com/products/matlab/
mawl => [pl] Mother of All Web Languages at http://www.research.att.com/sw/tools/mawl/
maya => [java] Java multiple-dispatch syntax extension at http://www.cs.utah.edu/flux/papers/pldi02-maya-base.html
mazieres => [ppl] david mazieres at http://www.scs.cs.nyu.edu/~dm/
mcc => [gc] Mostly Copying garbage Collector at http://www.cs.cornell.edu/Info/People/fms/MCC/gc.html
mccat => [cs] Mcgill Compiler/Architecture Testbed at http://www-acaps.cs.mcgill.ca/info/McCAT/McCAT.html
mcharm => [java+refl] a Java extension supporting communication based reflection at http://www.disi.unige.it/person/CazzolaW/mChaRM_webpage.html
mcpl => [pl] at http://www.cl.cam.ac.uk/users/mr/MCPL.html
mdc => Message Driven Computation at http://www.csam.iit.edu/resources/mdc.html
mdk => [mix] Mix Development Kit at http://www.gnu.org/software/mdk/mdk.html
mdpn => Multi-Directional Pattern Notation at http://www.catseye.mb.ca/esoteric/mdpn/index.html
mdsoc => [aop] Multi-Dimensional Separation of Concerns at http://www.research.ibm.com/hyperspace/MDSOC.htm
mdtas => Multiple Dispatch Techniques: A Survey at http://www.cs.mcgill.ca/ACL/papers/multimethods.html
megawiki => [palm+wiki] at http://www.megawiki.com
meme => [pl] at http://www.spf-15.com/meme/meme.html
mendel => [ide] a language neutral IDE at http://sourceforge.net/projects/mendel/
merd => [pl] inspired by Caml, O'Haskell and Ruby, many features from Dylan, at http://www.merd.net
messengers => a new programming paradigm for distributed systems based on the principle of autonomous messages at http://www.ics.uci.edu/~bic/messengers/
meta machine => at http://homepages.paradise.net.nz/~tonybeve/mm/The%20Meta%20Machine.htm
meta-graph => [graph] the graph of the relation "arrow 'x' is a member of graph 'y'"
metabeta => [beta+mp] a MLA for allowing dynamic typing in Beta, at http://www.daimi.au.dk/~beta/Mli/mli.html
metacomp => [meta] meta-level compilation at http://metacomp.stanford.edu
metaenv => [mp] at http://www.cwi.nl/htbin/sen1/twiki/bin/view/SEN1/MetaEnvironment
metafront => [dsl] a DSL for extensible syntax processing at http://www.brics.dk/metafront/
metaj => [java+mp] generic protocol-based OO metaprogramming at http://www.emn.fr/sudholt/research/metaj/
metajava => [java+meta] see MetaXa
metakit => [db] implements a DBMS *physical level* with instant schema evolution. at http://www.equi4.com/metakit/ (nm the "It fills the gap between flat-file, tree-structured, R/OO/DBMS.." it's nonsense)
metamorphic programming => the extension of fold operations to arbitrary ADTs at http://www.cs.orst.edu/~erwig/meta/
metaocaml => [ocaml+mp] at http://cs-www.cs.yale.edu/homes/taha/MetaOCaml/
metaprl => [logic] at http://www.cs.cornell.edu/jyh/metaprl/
metaprogram => any program that manipulates other programs
metaprogram protocol => a way for metaprograms to share program models that's easier than using ordinary source code.
metaxa => [java+meta] (aka MetaJava) a meta architecture that adds run-time reflection to the JavaTM virtual machine at http://www4.informatik.uni-erlangen.de/Projects/PM/Java/
mhs => [acro] Middle Hand Side
mi => [acro] Multiple Inheritance
micado => Model of Interactions and Communications on an Architecture for Distributed Objects at http://micado.project.free.fr/
mice => model-integrated computing environment at http://www.isis.vanderbilt.edu/research/edcs/edcs.html
michael => [pl] at http://www.veteransinaction.org/michael/
mico => Mini Is COrba at http://www.mico.org
microscript => [pl] at http://tronweb.super-nova.co.jp/microscriptindex.html
millennium => [os] at http://millennium-os.hypermart.net/index.html
mim => [mozart+im] Mozart Instant Messenger at http://www.sics.se/mozart/mim/
minijoy => [joy+cl] a small Joy-in-CommonLisp at http://www.latrobe.edu.au/philosophy/phimvt/joy/j-mini-clisp.html
minilang => [eso+pl] at http://www.mdstud.chalmers.se/~md1gavan/minilang/
minitalk => at http://citeseer.nj.nec.com/84868.html
minse => Medium-Independent Notation for Structured Expressions at http://www.lfw.org/math/
mint => [pl+trac] Mint Is Not Trac, a variant of TRAC used as the extension language in the Freemacs editor, see http://www.simtel.net/pub/msdos/freemacs/
mitchell wand => [ppl+lisp] at http://www.ccs.neu.edu/home/wand/
mithril => [pl] at http://www.treedragon.com/ged/ag/ag.htm
mixal => [mix] an assembler and interpreter for the MIX machine in Knuth's The Art of Computer Programming at http://www.accesscom.com/~darius/hacks/mixal.tar.gz
mixjuice => [pl+oo] an OO PL with simple and powerful module mechanism at http://www.etl.go.jp/~epp/mj/index.html http://www.etl.go.jp/~ichisugi/
mizar => at http://www.cs.ualberta.ca/~piotr/Mizar/index.html
mj => [pl+java] MixJuice / Modular Java, an OO PL with simple and powerful module mechanism at http://staff.aist.go.jp/y-ichisugi/mj/
mk => [acro] MicroKernel
ml-sub => [ml+types] "Type-Checking Higher-Order Polymorphic Multimethods" at http://www.exentis.com/Francois.Bourdoncle/popl97.html see also nice
mla => [refl] Meta-Level Architecture
mlang => [pl+java] at http://sourceforge.net/projects/mlang/
mlist => [acro] Mailing LIST
mlj => [sml+java] a SML to Java bytecode compiler at http://www.dcs.ed.ac.uk/~mlj/ http://research.microsoft.com/~nick/mlj.htm
mlkit => [ml] the ML kit with regions at http://www.itu.dk/research/mlkit/
mlope => [sml+pe] a Standard mL Offline Partial Evaluator at http://www.informatik.uni-freiburg.de/proglang/research/software/mlope/
mlton => [sml] a SML optimizing compiler at http://www.sourcelight.com/MLton/ http://www.neci.nj.nec.com/homepages/jagannathan/PLS/MLton/index.html
mm:1 => [acro] Multi-Method
mm:2 => [acro] Memory Management
mmas => Modular Monadic Action Semantics at http://www.cl.cam.ac.uk/users/kw217/research/msc/thesis/
mmd => [acro] Multi-Method Dispatch
mmdumrd => [mp] "Multi-Method Dispatch Using Multiple Row Displacement" at http://citeseer.nj.nec.com/pang99multimethod.html
mmix => at http://www-cs-staff.stanford.edu/~knuth/mmix.html
mmm => [ocaml+web] a WWW browser implemented in OCAML at http://cristal.inria.fr/~rouaix/mmm/
mmref => [gc] memory management reference at http://www.memorymanagement.org
mmt => at http://www.cogsci.soton.ac.uk/~harnad/Papers/Harnad/harnad00.turing.html
mmxx => [cpp] Modules and Metaclasses at http://sourceforge.net/projects/mmxx/
mn8 => [pl] at http://spacemapper.sourceforge.net/mn8/ http://freshmeat.net/projects/spacemapper_mn/
mo => [acro] Meta-Object
mobile object systems => at http://www.cs.kuleuven.ac.be/~tim/MOS/
mobius => [os] at http://sourceforge.net/projects/mobius/
modal logic => [logic] at http://turing.wins.uva.nl/~mdr/Publications/modal-logic.html
modbf => [bf+apache] a brainfuck module for Apache, at http://modbf.sourceforge.net
model => in formal logic some kind of concrete substratum such that we can faithfully interpret logical propositions as observations on the model
modos => [os] at http://modos.sourceforge.net
module algebra => at http://www.science.uva.nl/research/prog/projects/module-algebra.html
mom => Mutual Object Machine, studying parallel and distributed processing at http://wwwmath.uni-muenster.de/u/lammers/MOM/
mona => [pl+lp+fsa] a logic PL, translates programs to finite-state automata, at http://www.brics.dk/mona/
monadic computation => just function nesting without explicitly nesting the functions =P syntax of a language =P =P
monads => [theory] a general foo-passing style to express various bar in a pure deterministic lang. at http://www.cse.ogi.edu/~walton/monads.html http://www.cs.indiana.edu/~jsobel/ see CPS SPS NPS EPS hbaker
mondo => a general architecture for encoding modeling and processing information, at http://www.chimu.com/projects/mondo/index.html
mondrian => [pl] at http://www.mondrian-script.org
monologo => [logo+dotnet] LOGO for .NET at http://sourceforge.net/projects/monologo/
monstr => [pl] a term graph rewriting system, papers at http://www.cs.ucy.ac.cy/~george/george5.html http://www.cs.man.ac.uk/~banach/Recent.publications.html
montages => [spec] a visual language specification formalism at http://www.tik.ee.ethz.ch/~montages/
moo => [acro] Mud Object Oriented
mood => [MIA] Mogwai's Object Oriented Design page at http://mogwai.simplenet.com/mood/index.htm
moonrock => [pl] at http://www.rowan.sensation.net.au/moonrock.html
moope => [mud] Multi-user OO Perl Environment at http://megazone.bigpanda.com/~wolf/moope/moope.html
mop links => [mp] at http://www.ispras.ru/~dkv/links/links.html
mops:1 => Meta-Object Protocols, see http://www2.parc.com/csl/groups/sda/projects/mops/
mops:2 => [pl+mac+forth+st] Michael's OO Programming System at http://www.panix.com/~goshawk/Mops/
morello clam => [pl] a visual scripting language for automating Windows, at http://www.morello.co.uk/clam.htm
mork => [xml] a compiler tool with XML support at http://mork.sourceforge.net
morphicl => [ui+cl+morphic] at http://www.cliki.net/MorphiCL
mosix => [linux] a software module for supporting cluster computing with Linux at http://www.mosix.cs.huji.ac.il/
mosml => [sml] Moscow ML, a light-weight implementation of SML at http://www.dina.kvl.dk/~sestoft/mosml.html
motefs => [fs] Maryland Objects-To-Ether File System at http://www.cs.umd.edu/projects/motefs/
moto => [pl] at http://www.projectmoto.org
mouse => [pl] at http://www.geocities.com/SiliconValley/Horizon/5350/mouse/
movie => Multitasking Object-oriented Visual Interactive Environment at http://www.npac.syr.edu/projects/hpsin/movie.html
moviescript => [pl] programming and communication language of the MOVIE System at http://www.npac.syr.edu/projects/hpsin/ms.html
mp => [acro] Meta-Programming
mpg => Mathematical Programming Glossary at http://www.cudenver.edu/~hgreenbe/glossary/glossary.html
mplg => [MIA] Multiparadigm Programming Language Grammar at http://cs.wwc.edu/~aabyan/221_2/PLBOOK/Unified/grammar.html
mpli => a monad-parameterized lisp interpreter at http://mumble.net/jar/monad.tgz
mpp => [acro] Macro PreProcessor
mt => [algorithm] Mersenne Twister, a pseudorandom number generator algorithm, at http://www.math.keio.ac.jp/~matumoto/emt.html http://www-personal.engin.umich.edu/~wagnerr/MersenneTwister.html
mtve-esolangs => [eso+pl] at http://www.frox25.no-ip.org/~mtve/code/eso/
mu => [pl] at http://sourceforge.net/projects/muc/
mud technology => at http://steak.place.org/dougo/mud/
mule => [fp+oo+lp] MUltiple Language Environment, a PL course teaching tool, simultaneously use of paradigms, at http://math.holycross.edu/~mule/
mulinux => [linux] at http://sunsite.auc.dk/mulinux/
mulisp => [lisp] at http://education.ti.com/product/software/derive/features/derivemulisp.html
multijava => [java] Java extension, adds open classes and symmetric multiple dispatch, at http://www.multijava.org
multilogo => [logo] "A Study of Children and Concurrent Programming" at http://llk.media.mit.edu/papers/1991/MultiLogo.html
multiprogramming => the ability to run multiple concurrent communicating programs at once.
munge:1 => [abi] selectively lists factoids, at http://www.tunes.org/~nef/abi/munge
munge:2 => [jargon] /muhnj/ to imperfectly transform information
muq => [vw] The Next Generation Server for Virtual World Builders at http://www.muq.org
muse => [acro] Multi-User Social Environment
mushroom => at http://www.wolczko.com/mushroom/
mylang => [pl] at http://kevin.atkinson.dhs.org/mylang/
myll => [pl] at http://www.lysator.liu.se/~jsk/CWI/Hacks/myll.html
mynos => [os+ocaml] My! Not another OS at http://sourceforge.net/projects/mynos/
mysql => [db] a multi-threaded multi-user and robust sql database server at http://www.mysql.com
n/m => [acro] NeverMind
nameless-pl-design => [pl] at http://www.geocities.com/mike_ekim/documents/new-language.html
nasl => [pl] Not Another Scripting Language, at http://www.plausible.org/nasl/ http://freshmeat.net/projects/nasl/
native patterns => [patterns] at http://adam.wins.uva.nl/~x/pat/pat.html
ncstrl => [research] like researchindex, Networked Computer Science Technical Reference Library at http://www.ncstrl.org/
nda => [acro] Non-Disclosure Agreement
negweb => [lp] a semi-literate programming tool at http://www.boswa.com/misc/negweb/
nemerle => [dotnet+pl] a hybrid (functional, object-oriented and imperative) PL for the .NET platform with C#-like syntax at http://www.nemerle.org
nemesis => [os] a small research multi-platform micro-kernel OS at http://nemesis.sourceforge.net/
netomat => [web] a nonlinear browser at http://www.netomat.net/
netscript => [pl] a language and environment for programmable networks at http://www.cs.columbia.edu/dcc/netscript/
new failing => at ftp://ftp.gte.com/pub/m3/notes/When-NEW-fails.txt
new glossary => [tunes] The (cleaned up) TUNES Glossary at http://tunes.org/new/papers/Glossary/
new is failing => at ftp://ftp.gte.com/pub/m3/notes/When-NEW-fails.txt
newcode => [pl] at http://www.smh.com.au/articles/2003/03/31/1048962694949.html
newlisp => [lisp] at http://www.newlisp.org
news => [ui] Network Extensible Window System at http://www.catalog.com/hopkins/lang/NeWS.html
newspeak => [pl] at http://sourceforge.net/projects/newspeak/
newton => [apple+hw] see http://dmoz.org/Computers/Systems/Handhelds/Newton/
newtonscript => [pl] at http://www.cc.gatech.edu/~schoedl/projects/NewtonScript/index.html http://www.unna.org/unna/development/languages/NewtonScript/ http://www.unna.org/unna/development/documentation/
nexwave => at http://www.nexwave-solutions.com
nice => [pl] OO PL with parametric polymorphic types, higher-order functions, multi-methods, etc. based on the ML-Sub type system. at http://nice.sourceforge.net
nickle => [pl] a PL for arithmetic calculation and numeric prototyping at http://www.nickle.org
nih => the Not Invented Here syndrome, whereby US people refuse to even hear about business that isn't US.
ninja => the ninja project, enabling internet-scale services from arbitrarily small devices at http://ninja.cs.berkeley.edu/
nisp => [lisp] a macro package that adds strong typing to CommonLisp at ftp://ftp.cs.yale.edu/pub/mcdermott/software/nisp.tar.gz
njs => [js] NJS JavaScript Interpreter at http://www.bbassett.net/njs/ http://sourceforge.net/projects/njs/
nl => [acro] Natural Language
nlg => [acro] Natural Language Generation
nlp => [acro] Natural Language Parsing / Processing
nlsr => [nl] Natural Language Software Registry at http://registry.dfki.de/
nlu => [acro] Natural Language Understanding
nm => [acro] NeverMind
nnit => [acro] No New Information There
nooface => [ui] Nooface: In Search of the Post-PC User Interface weblog at http://nooface.com
noos => [pl] a reflective OO representation language at http://www.iiia.csic.es/Projects/Noos.html
nosica => [pl] at http://www.nosica.net http://freshmeat.net/projects/nosica/
nouse => [eso+pl] at http://www.geocities.com/qpliu/nouse/nouse.html
nova => [pl] at http://www.navgen.com/nova/
npl => [pl] New Programming Language at http://people.deas.harvard.edu/users/researchers/Robert_Walton/npl/
nps => Non-determinism Passing Style, a monadic way of adding non-determinism to a deterministic language, by passing around a source of non-determinism
nqc => [pl+c+lego] Not Quite C, a simple PL with C-like syntax used to program Lego's RCX programmable brick (from the Mindstorms set) at http://www.baumfamily.org/nqc/
nql => [pl] Network Query Language at http://www.syntheticminds.com/nql.htm http://www.e-botz.com/nql.htm
nsi => part of the internet's problem set, at http://www.networksolutions.com
nsl => [pl] New Scripting Language, see tensile
ntl => [nlp] Neural Theory of Language at http://www.icsi.berkeley.edu/NTL/
ntrs => NASA Technical Report Server at http://techreports.larc.nasa.gov/cgi-bin/NTRS
numberix => [pl] an esoteric PL at http://calamari.8k.com/numberix/
numbers => [nl] numbers from 1 to 10 in Over 4500 Languages at http://www.zompist.com/numbers.shtml
nwf => non-well-founded sets at http://www.acsu.buffalo.edu/~lizhang/Thesis/
nyquist => [pl] a sound synthesis and composition language with Lisp syntax, at http://www-2.cs.cmu.edu/~music/nyquist/
o'small => [pl+oo] an OO PL for studying the semantics of inheritance and type inference, at http://www.ahense.de/osmall.htm
o:xml => [oo+pl+xml] at http://www.o-xml.org
oasis:1 => [agents] Objects and Agents for Simulation and Information Systems at http://www-poleia.lip6.fr/OASIS/eng_index.html
oasis:2 => [st] a ST framework for modularization and control of side-effects at http://griffin.canis.uiuc.edu:8080/Oasis/
oasys => [os+amiga] Open Amiga operating SYStem at http://amiga.emugaming.com/oasys.html
obfu langs => [pls] at http://directory.google.com/Top/Recreation/Humor/Computer/Programming/Obfuscated_Languages/
obfuna => [pl] at http://www.insecurities.org/darkling/index.php?tid=obfuna
obfunae => [obfuna] obfuna interpreter at http://insecurities.org/darkling/index.pl?tid=download
object model features matrix => [oo+pls+survey] at http://www.objs.com/x3h7/fmindex.htm
object-based pls => [oo+pls] at http://www-alt.pasteur.fr/~letondal/object-based.html
objective c => [pl+oo+c] a OO superset of C with a Smalltalk style (infix) message syntax at http://dmoz.org/Computers/Programming/Languages/Objective-C/ http://virtualschool.edu/lang/objectivec/index.html
objectscript => [pl] at http://sourceforge.net/projects/objectscript/
occam => [pl] see http://dmoz.org/Computers/Programming/Languages/Occam/
ocean => [pl] a simple C-like imperative PL at http://citeseer.nj.nec.com/96549.html http://www.crowl.org/Lawrence/paper/subjects/language_programming_Ocean/1994R-ORSTCS-94-60-08/
oct => object code translation at http://www.ifi.unizh.ch/richter/people/pilz/oct/
octal => [music] a GNU project to create a free music system based on unit generator synthesis, sampling, and audio-plugin technology. at http://www.gnu.org/software/octal
octave => [pl] a PL for numerical computations at http://www.octave.org
octopus => [refl] "Octopus: A Reflective Language Mechanism for Object Manipulation" at http://citeseer.nj.nec.com/140947.html
oddball => [pl] at http://www.baldwin.cx/~compiler/
odl => [pl] Our Design Language at http://gee.cs.oswego.edu/dl/odlTR/odlTR/odlTR.html
odool => [oo] "Open Design of Object-Oriented Languages: A Foundation for Specialisable Reflective Language Frameworks" by Patrick Steyaert at ftp://progftp.vub.ac.be/dissertation/1994/vub-prog-phd-94-01/
odp => [web] Open Directory Project at http://dmoz.org
oepl => [eso+pls] Oerjan's Esoteric PLs at http://home.nvg.org/~oerjan/esoteric/
ofc => [acro] OF Course
ofl => [pl+lc] Obfuscated Functional Language, at http://www.ioccc.org/years.html#1998_fanf
oi => [mp] Open Implementation at http://www2.parc.com/csl/groups/sda/projects/oi/default.html
oic => [acro] oh, i see
oil => [MIA+pl+aop] an interpreter with meta-programming facilities, by laurent martelli, at http://freshmeat.net/projects/oil/ http://perso.cybercable.fr/martelli/oip/ http://www.aopsys.com/oil.html
oip => [MIA+pl+aop] see oil
okit => [pls] object tree, VM and compiler for concatenative languages, in a shared library at http://varkhan.free.fr/Software/OKit/ http://sourceforge.net/projects/libokit/ http://freshmeat.net/projects/okit/
olabl => [ocaml] Objective Label, OCaml extension adds labeled and optional arguments, and polymorphic variants, at http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/ - olabl's features were added to OCaml 3
om => formal language for Software design and specification at http://www.cs.wright.edu/people/faculty/pmateti/om/om.html
omar => [pl+3d] (Object oriented Modeling, Animation and Rendering) at http://www.hypercosm.com
omega:1 => [pl] a prototype-based PL at http://www.stud.uni-karlsruhe.de/~ul63/
omega:2 => [mumps] an open source implementation of M-Technology at http://home.clara.net/finch/
omg => [corba] Object Management Group, Inc., the corba pushers at http://www.omg.org
omniorb => at http://www.uk.research.att.com/omniORB/
omophagia => [nl] the eating of raw flesh
on lisp => [lisp+book] at http://www.paulgraham.com/onlisp.html http://www.paulgraham.com/onlisptext.html
onemodel => one data model; a single useful repository to store all knowledge, at http://www.onemodel.org
ontological relativism => [ai] the idea that "what is" is relative
ontologies => [ai] sets of symbols used in a formal theory of something
ontology page => [ai] at http://www.kr.org/top/
onx => the Open Node syntaX, a simple markup language or at http://www.seairth.com/web/onx/onx.html
onyx => [pl] a stack-based multi-threaded interpreted general purpose PL, at http://www.canonware.com http://freshmeat.net/projects/onyx/
oo-browser => [oo] at http://sourceforge.net/projects/oo-browser/
oof => [MIA] OO Frameworks at http://psl.korea.ac.kr/~deasoo/fw.html http://www.jps.net/nikboyd/papers/framewks/index.htm
oofaq => [oo] at http://www.cyberdyne-object-sys.com/oofaq/
oofs => [oo+fp+spreadsheet] "Object-Oriented Functional Spreadsheets" at http://citeseer.nj.nec.com/clack97objectoriented.html
ook => [pl] at http://www.dangermouse.net/esoteric/ook.html
oom => [oo+math] Object-Oriented Mathematics at http://www.diku.dk/~grue/papers/oom/oom.html
oopbad => [oo] at http://www.geocities.com/SiliconValley/Lab/6888/oopbad.htm
oopg => [oo] Object Oriented Programming Glossary at http://www.microgold.com/version2/stage/tutorial/glossary.html
ootcl => [tcl] at http://starbase.neosoft.com/~claird/comp.lang.tcl/ootcl.html
open compilation => [cs] Open and Extensible Compiler Implementations at http://www.cs.cornell.edu/stodghil/bernoulli/notes/oc/
openamulet => [ui] at http://www.openip.org see its predecessor Amulet
opencomal => [comal] a free Comal implementation at http://www.josvisser.nl/opencomal/ http://freshmeat.net/projects/opencomal/
openjit => [java] a Java-native JIT compiler project at http://www.openjit.org/
openmcl => [mcl] an open source version of MCL at http://openmcl.clozure.com http://freshmeat.net/projects/openmcl/
openmusic => at http://www.ircam.fr/equipes/repmus/OpenMusic/
openspace => [game+air] a space game, by Air, at http://www.qzx.com/openspace/
opensrs => an open source and cheap domain name registration system at http://www.opensrs.org/
opera => [web] at http://www.opera.com/index.html
opn => [irc] the Open Projects Net, an IRC network for Open Projects, at http://www.openprojects.net
optimix => an optimizer generator based on graph rewriting at http://www.ida.liu.se/~uweas/optimix.html http://sourceforge.net/projects/optimix/
ordering the information graph => [hypertext] by H. Van Dyke Parunak, in _Hypertext/Hypermedia Handbook_
oroogu => [pl] an esoteric PL based on q-bal at http://www.kraml.at/oroogu/index.html http://www.purists.org/oroogu/index.html
os list => [os+list] see http://www.500mhz.net/ndx.html
os-ideas => [os+mlist] at http://lists.tunes.org/cgi-bin/wilma/os-ideas
os/omicron => [os] at http://www.os-omicron.org
oscat => [os+doc] a catalog of OSes at http://www.cs.wvu.edu/~jdm/classes/cs258/OScat/catalog.html
oscript => [pl] at http://sourceforge.net/projects/oscript/ http://c2.com/cgi/wiki?OhScript
osdesign tut => [os+doc] the common man's guide to OS design at http://cdsmith.twu.net/professional/osdesign.html
osdg => [os+dev] Open Source Developer's Guild at http://www.osdg.com
oshp => [os+dev] OS developers HomePage at http://os-devel.sourceforge.net/index.php3
osimplay => [asm+bash] Rich Hohensee's "compembler" for the x86, written in bash at http://freshmeat.net/projects/osimplay/ ftp://ftp.gwdg.de/pub/cLIeNUX/interim/
osis => [emu] Atari TOS, Mint, AES, and VDI emulation for Linux/m68k at http://osis.nocrew.org/
osq => [oss] Open Source Quality project, techniques and tools for assuring software quality, at http://osq.cs.berkeley.edu
osrc => [os] Operating Systems Resource Center at http://magic.hurrah.com/~sabre/os/
oss => [acro] Open Source Software
osweb => at http://www.osweb.net
oswg => [oss] Open Source Writers Group at http://www.oswg.org
otcl => [tcl] Object TCL at http://bmrc.berkeley.edu/research/cmt/cmtdoc/otcl/
otop => [tunes] On Top Of Posix -- Tunes subproject for implementing Tunes using some free unix kernel and XFree86 to drive hardware
otter => [pl] Organized Techniques for Theorem-proving and Effective Research, an automated deduction system, at http://www-unix.mcs.anl.gov/AR/otter/ - see otter links
otter links => [otter] see http://labe.felk.cvut.cz/~slechta/otter/ http://www.j.uklinux.net/CourseWork/Otter/index.html http://www.cs.jcu.edu.au/~marianne/otter/manual.html ftp://info.mcs.anl.gov/pub/Otter/
overclocking => [hw] the art of melting your expensive equipment, for the purpose of bragging about an extra frame per second in some obscure game no one likes
overflow => [dataflow+ide] at http://freshmeat.net/projects/overflow/ http://freespeech.sourceforge.net/overflow.html
oviedo3 => [oo] an integral object oriented system at http://di002.edv.uniovi.es/ioos/lab/
p-nand-q pls => [eso+pls] at http://p-nand-q.com/languages.htm
p/e => [acro] Partial Evaluation
p2p => [acro] Peer to Peer
pacsoft => [research] Pacsoft Research Projects, many possibly interesting projects at http://www.cse.ogi.edu/PacSoft/projects/projects.html
paip => [ai+cl+book] _Paradigms of Artificial Intelligence Programming, Case Studies in Common Lisp_ by Peter Norvig at http://www.norvig.com/paip.html
palm => [claire] Propagation and Learning with Move, an explanation-based constraint programming system at http://www.e-constraints.net/palm/palm.html
palmiga => at http://www.shredzone.de/palmiga/
pam => Persistent Abstract Machine, see http://www.dcs.st-and.ac.uk/rsch/publications/download/CBC+90b.pdf
pamal => PAttern MAtching Language, "An Object-Oriented Pattern Matching Language" @ http://citeseer.nj.nec.com/175152.html
pamela => [pl] PerformAnce ModEling LAnguage at http://pds.twi.tudelft.nl/pamela/ http://rama.pds.twi.tudelft.nl/~gemund/Pamela/index.html
paml => [site+mlist] directory of Publicly Accessible Mailing Lists at http://paml.taronga.com/default.html
partial => [lisp+pe] a partial evaluator for most of CommonLisp at http://www.neci.nj.nec.com/homepages/qobi/software.html
pastel => Persistent Application Systems, Technologies, Environments and Languages at http://www-ppg.dcs.st-and.ac.uk/Projects/Pastel/
patterns => [patterns] see native patterns, patterns and frameworks, patterns and pattern languages, software patterns, work on patterns, ppr
patterns and frameworks => [patterns] at http://www2.iro.umontreal.ca/~ratib/code/pattern.htm
patterns and pattern languages => [patterns] at http://hillside.net/patterns/
paul graham => [lisp+ppl] at http://www.paulgraham.com
pavlov => [pbd] a PBD system to allow non-programmers to build animated interfaces, at http://www.usfca.edu/~wolberd/Pavlov.htm
pax => [pl+fp] at http://dirk.rave.org/pax.txt
pbam => ProcessBase Abstract Machine at http://www.dcs.st-and.ac.uk/rsch/publications/download/MBG+99b.pdf
pbd => [acro] Programming By Demonstration
pbd-bib => [pbd] pbd bibliography at http://www.cecs.missouri.edu/~skubic/PbD-Bib.htm
pbe => [acro] Programming By Example
pbs => [fsm] Production Based Specification at http://bears.ece.ucsb.edu/research-info/PBS/
pcat => [pl] Pascal Clone with an ATtitude at http://www.cs.pdx.edu/~apt/cs301_1999/pcat99/
pcc => Proof Carrying Code at http://raw.cs.berkeley.edu/pcc.html http://www-2.cs.cmu.edu/~petel/papers/pcc/pcc.html http://www.cs.princeton.edu/sip/projects/pcc/
pccts => [compilers] Purdue Compiler Construction Tool Set, at http://dynamo.ecn.purdue.edu/~hankd/PCCTS/ see ANTLR
pcl:1 => [logic] Poly-Contextural Logic at http://www.techno.net/pcl/
pcl:2 => [mp] a CLOS MOP written by xerox
pclsr => see PCLSRing
pclsring => at http://www.vsf.cape.com/~emergent/pclsr.htm
pcp => [theory] see Principia Cybernetica
pcre => [regexp] Perl Compatible Regular Expressions at http://www.pcre.org http://freshmeat.net/projects/pcre/
pdf2 => [pdf] online pdf conversion to html/text at http://www.adobe.com/products/acrobat/access_onlinetools.html
pdkb => [ai] Public Domain Knowledge Bank at http://sourceforge.net/projects/pdkb/
pdos => [os] Public Domain OS at http://freespace.virgin.net/paul.edwards3/program/pdos085.zip
pdscript => [pl] at http://bgb-sys.sourceforge.net
pe => [acro] Partial Evaluation
pea => [pl] at http://sourceforge.net/projects/pea/
pebble => [os] a component-based kernel and toolkit for generating specialized OSes to fit particular application domains at http://www.bell-labs.com/project/pebble/
pebook => [book+pe] _Partial Evaluation and Automatic Program Generation_ at http://www.dina.kvl.dk/~sestoft/pebook/pebook.html
pepa => [MIA+pe] Partial Evaluation and Program Analysis at http://www.cwi.nl/~dinesh/pim/
pepito => PEer-to-Peer Implementat