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 Implementation and TheOry at http://www.sics.se/pepito/
pepp => [bf+eso+pls] Psyco's Esoteric Programming Page, with QNA LOBOL Nequam, at http://www.geocities.com/psyopsmstr/esoteric.html
pept => [pe+mlist] Partial Evaluation and Program Transformation mlist at http://www.yl.is.s.u-tokyo.ac.jp/~sumii/pept/
perforce => a software configuration management system at http://www.perforce.com
perligata => [perl] Lingua::Romana::Perligata, Perl for the XXI-imus Century, write Perl in Latin, largely non-positional syntax, at http://www.csse.monash.edu.au/~damian/papers/HTML/Perligata.html
perpheon => [forth] at http://www.xmission.com/~georgeps/Perpheon/
perpol => [MIA+pl] PErl-based Reverse POLish language at http://www.boswa.com/misc/
perseus => at http://www.perseus.tufts.edu/
perspectives => [aop] at http://www.cse.ogi.edu/PacSoft/projects/perspectives/
peter lee => [ppl+pcc] at http://foxnet.cs.cmu.edu/people/petel/
pfl => [pl] Persistent Functional Language at http://www.dcs.kcl.ac.uk/staff/alex/pfl.html
phenix => a joint project between labs of the CNET, the LIP6, and the INRIA, to build a flexible execution framework, iow lll
phfc => [cusp] Phaethon's Hack For Cusp, emulator of the fictitous CUSP (Carleton's Utterly Simple Processor) machine at http://www.linux.ucla.edu/~phaethon/phfc/
phoenixos => [os] at http://www.baldwin.cx/~phoenix/
phot => [fp] Pure HOT, or pure FP, as embodied by Haskell
pia => Platform for Information Applications at http://www.risource.org/PIA/
picool => [research] Publications in Concurrent Object-Oriented Languages at http://yangtze.cs.uiuc.edu/Papers/Language.html
picoverse => at http://www.picoverse.org http://minnow.cc.gatech.edu/squeak/574
pidgin => [MIA+slate+eihrul] a Slate implementation in C++ that eihrul is writing to use self-like meta-objects by default at http://slate.tunes.org/pidgin.tar.gz http://www.lvdi.net/~lee.salzman/pidgin.tar.gz
pig => [tunes] Pig Is Gnu, the GNU/Linux emulation subsystem for Tunes
pika lisp => [scheme] "I'm working on a new implementation of a new dialect of Scheme." at http://arch.quackerhead.com/~lord/
pillow => [lp] Programming In Logic Languages On the Web at http://clip.dia.fi.upm.es/miscdocs/pillow/
pim => [MIA+logic] an equational logic at http://www.cwi.nl/~dinesh/pim/
ping => <reply> pong!
pizzios => [os] at http://users.rcn.com/eaj.pizzi/pizzios/
pjama => [java] an experimental persistent programming system for Java at http://nenya.ms.mff.cuni.cz/~prochazk/pjama/
pl => [acro] Programming Language
pl examples => [pls+examples] 409 examples in 127 (or 154*) PLs at http://www.stud.uni-karlsruhe.de/~uu9r/lang/html/lang.en.html
pl genealogy => [pls] The Programming Languages Genealogy mailto:Project@Everything2.com at http://www.everything2.com/index.pl?node_id=858421&lastnode_id=45776
pl hist => [pls+list+hist] at http://www.heuse.com/coding.htm http://www.levenez.com/lang/
pl intro => [pls] "An Introduction to Programming Languages" at http://www.acooke.org/andrew/writing/lang.html
pl links => [pls] see http://dmoz.org/Computers/Programming/Languages/ http://www.linuxlinks.com/Software/Programming/Languages/ http://www.cs.uu.nl/people/franka/lang
pl study => [pls] programming languages study at http://merd.net/pixel/language-study/
pl weblog => [pls] Lambda the Ultimate: The Programming Languages Weblog at http://lambda.weblogs.com
pl xref => [pls] at http://www.geocities.com/SiliconValley/Way/9731/xref.html
pl-naming-patterns => [pls] at http://c2.com/cgi/wiki?ProgrammingLanguageNamingPatterns
plasm => [pl+fp+geom] a functional design PL for geometric modeling, an extension of a subset of Backus' FL, at http://www.plasm.net http://sourceforge.net/projects/plasm/
plboc => [constraints] _The Definition and Implementation of a Computer Programming Language Based on Constraints_ by Guy L. Steele at http://www.ai.mit.edu/publications/pubsDB/pubs.doit?search=AITR-595
plbook:1 => [MIA+pls+book] "Introduction to Programming Languages" at http://cs.wwc.edu/~aabyan/221_2/PLBOOK/
plbook:2 => [pl+book] "Programming Languages" at http://www.cs.jhu.edu/~scott/plbook/
plcomp => a PL comparison at http://www.jvoegele.com/software/langcomp.html
pldi => [pls] Programming Languages: Design and Implementation at http://www.cs.umd.edu/users/mvz/pzbook/
ple => [pls+list] Programming Language Exploration at http://www.stat.cmu.edu/~minka/PLE/
pleac => [pls] Programming Language Examples Alike Cookbook at http://pleac.sourceforge.net
plex86 => [emu] at http://savannah.nongnu.org/projects/plex86/
plint => [pl] Pluggable Language INTerpretor at http://sourceforge.net/projects/plint/
plisp => [lisp] Polycontextural LISP at http://www.techno.net/pcl/tm/plisp/
plob => [lisp] Persistent Lisp OBjects at http://sourceforge.net/projects/plob/ http://freshmeat.net/projects/plob/
plonk => [java+uts] a Java port of the bytecode engine of UTS at http://www.accesscom.com/~darius/hacks/plonk.tar.gz http://www.accesscom.com/~darius/hacks/plonk-scm.tar.gz
plpj => [java+book] _Programming Language Processors in Java_ at http://www.dcs.gla.ac.uk/~daw/books/PLPJ/
plr => [research] Programming Language Research at http://www.cs.cmu.edu/~mleone/language-research.html
pls => [acro] Programming Languages
plt => at http://www.cs.rice.edu/CS/PLT/
plurix => [os] a native high-speed OS for PC clusters at http://www-vs.informatik.uni-ulm.de/projekte/Plurix/
pm_sz_os => [os] at http://www.geocities.com/the_real_sz/ http://www.geocities.com/SiliconValley/Platform/1297/
pmd => [slate+eihrul] Prototype-based Multiple Dispatch at http://tunes.org/~eihrul/pmd.pdf
pmg => Programming Methodology Group at http://www.pmg.lcs.mit.edu/
poc => Portable Object Codes at http://www.cse.unsw.edu.au/~chak/project/poc/
poe => [pl] see mica
pointless posturing => [water] taking a stance on an argument without any technical point merely to point how bad or unsafe or FUD-worthy the other stance is.
polenta => [pl] at http://sourceforge.net/projects/polenta/ http://www.cs.rit.edu/~dre9227/software.shtml
poly => [fp] polytypic programming at http://www.cs.chalmers.se/~patrikj/poly/
polyj => [pl+java] Java with parameterized types at http://www.cs.cornell.edu/polyj/ http://www.pmg.lcs.mit.edu/polyj/
polymorphism => [oo+pls] polymorphism in OO PLs at http://home.t-online.de/home/Ulrich.Eisenecker/pm.htm
polyp => [pl] a polytypic PL at http://www.cs.chalmers.se/~patrikj/poly/polyp/
polyphonic c# => [c#] extends the C# with new asynchronous concurrency abstractions, based on the join calculus, at http://research.microsoft.com/~nick/polyphony/
polytoil => [pl] "PolyTOIL: A type-safe polymorphic object-oriented language" at http://citeseer.nj.nec.com/bruce95polytoil.html
poosd => [oo+book] _Principles of Object-Oriented Software Development_ at http://www.cs.vu.nl/~eliens/book/poosd.html
poosl => [pl] Parallel Object-Oriented Specification Language at http://www.ics.ele.tue.nl/~lvbokhov/poosl/
popl => at http://www.cs.wisc.edu/~reps/popl00/
portugol => [pl] Kaufmann's declarative language with Portuguese-specific syntax
pos => [MIA+os+eihrul] a small component-based OS by eihrul at http://www.lvdi.net/~lee.salzman/pos.tar.gz
postgresql => [db] an object-relational sql database server at http://www.postgresql.org
postmodern => The Postmodernism Generator at http://www.csse.monash.edu.au/community/postmodern.html
poweros => [os] at http://www.poweros.de/main.html
ppcr => Posix Portable Common Runtime, pre-emptive lightweight threads, GC'd storage, and dynamic programming loading, at http://ligwww.epfl.ch/software/ppcr/ ftp://parcftp.xerox.com/pub/ppcr/
ppl:1 => [acro] PeoPLe
ppl:2 => [pl+lc] a small functional polymorphic PCF-like call-by-name PL based on the LC, at http://quasar.mathstat.uottawa.ca/~selinger/ppl/
ppr => [patterns] Portland Pattern Repository at http://c2.com/ppr/
prcs => [versioning] Project Revision Control System at http://prcs.sourceforge.net
pre => [acro] Partial Redundancy Elimination
pride and prejudice => [lisp] "Pride and prejudice: Four decades of Lisp" at http://www.scms.rgu.ac.uk/staff/sw/presentations.htm
prima => an OO modelling language at http://www.ipsi.fhg.de/~tandler/Prima/
prism => [MIA+meta] a holistic panacea, a way to program with multiple specialized interoperable languages at http://www.teleport.com/~sphere/
proactive pdc => [java] a Java library for parallel, distributed, and concurrent computing and metacomputing at http://www-sop.inria.fr/sloop/javall/
prog wisdom => [cs] Programming Wisdom Center at http://www.geocities.com/SiliconValley/Lab/6888/
prograph => [pl+vp+dataflow] a visual dataflow language with oo extensions at http://www.pictorius.com/prograph.html
progres => [pl] PROgrammed Graph REwriting Systems at http://www-i3.informatik.rwth-aachen.de/research/progres/
project 7 => [dotnet] at http://research.microsoft.com/project7.net/project_7.htm
prolac => [pl] an object-oriented protocol language at http://www.lcdf.org/~eddietwo/prolac/
prose => [pl] at http://sourceforge.net/projects/prose/
proteus => [pl] at http://www.cs.unc.edu/Research/proteus/
prothon => [pl+python] a classless prototype-based programming language a la Self with the sensibilities of Python, at http://www.prothon.org
proto => [pl] superceded by Goo, at http://www.ai.mit.edu/~jrb/proto/index.htm
protocolcharts => a graphical notation for describing statefull interactions among objects at http://g.oswego.edu/dl/ProtocolCharts/PC.html
proxomitron => a perl-based web proxy thingy for ad filtering with powerful regex support
prp => [research] Pacsoft Research Projects at http://www.cse.ogi.edu/PacSoft/projects/projects.html
pscico => Parallel SCIentific COmputing at http://www-2.cs.cmu.edu/~pscico/
psl => Presentation Specification Language for structured documents at http://www.cs.uwm.edu/faculty/munson/pubs/ep96.html
psyc => [cmc] protocol for synchronous conferencing at http://psyc.pages.de
pthreads => at ftp://sipb.mit.edu/pub/pthreads
ptml => proof theory mailing list at http://www.ki.inf.tu-dresden.de/~guglielm/Research/list.html
pto => ProgramTransformationOrg at http://www.program-transformation.org
pttc => [acro] Preaching To The Choir
publicos => [os] at http://publicos.freehosting.net
pun => [java] Parallel UNiverse, a visual parallel programming tool using the CSP threads model at http://sourceforge.net/projects/pun/
puredata => [music+dataflow+ide] at http://www-crca.ucsd.edu/~msp/software.html http://freshmeat.net/projects/puredata/
putty => [telnet+ssh+windows] telnet and SSH for Win32 at http://www.chiark.greenend.org.uk/~sgtatham/putty/
pxp => [ocaml+xml] Polymorphic Xml Parser, a validating XML parser for OCAML at http://www.ocaml-programming.de/programming/pxp.html
q-bal => [pl] Queue-BAsed Lanugage at http://homepage.eircom.net/~kmgaughan/esolang/q-bal/
q-dag => Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference at http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume6/darwiche97a-html/jair-f.html
q-gol => [pl+qc] at http://www.ifost.org.au/~gregb/q-gol/
qbcc => [qb+c] QB to C converter at http://www.sourceforge.net/projects/qbcc/
qc => [acro] Quantum Computer / Computing / Computation
qc resources => [qc] at http://sra.itc.it/people/serafini/quantum-computing.html
qcl => [pl+qc] at http://tph.tuwien.ac.at/~oemer/qcl.html
qdl => [pl] at http://sourceforge.net/projects/qdl/
qish => [refl] a reflexive system framework at http://www.starynkevitch.net/Basile/qishintro.html
qjbrowser => [java] a code browser for Java which supports on-demand remodularization based on logic queries over source code, at http://www.cs.ubc.ca/labs/spl/projects/qjbrowser.html
qlambda => [lisp] LKA Qlisp, a parallel dialect of Lisp, at http://www.dreamsongs.com/Qlisp.html
qlang => [pl+qc] at http://sra.itc.it/people/serafini/qlang/
qlisp => [lisp] FKA Qlambda, a parallel dialect of Lisp, at http://www.dreamsongs.com/Qlisp.html
qlogo => [logo] at http://www.crans.ens-cachan.fr/~preda/qlogo.html
qpascal => [pl] at http://www.surakware.net http://sourceforge.net/projects/qpascal/
quark => [game+quake+wvo] a Quake editor by Aardappel at http://www.planetquake.com/quark/
r-java => [java+refl] a reflective Java extension at http://www.dc.ufscar.br/~jose/green/rjava/rjava.htm
ragel => [fsm] FSM compiler at http://www.essemage.com/ragel/ http://freshmeat.net/projects/ragel/
rainbow => Reflexive Architecture for Interaction Network Between Objects Working together at http://www.essi.fr/~rainbow/
ram => [mp] Reflection for Adaptable Mobility at http://www.emn.fr/cs/object/projects/ram.html
randlang => [pl+list] random programming languages list, a field guide to unusual programming methods. at http://www.mines.edu/students/b/bolmstea/randlang/index.html
rb => refactoring browser at http://st-www.cs.uiuc.edu/users/brant/Refactory/
rcl => [pl] Roadkill Command Language at http://www.rru.com/ARL/rcl-1.0-ann.html
rdf => [xml+metadata] Resource Description Framework at http://www.w3.org/RDF/
reactive programming => at http://www-sop.inria.fr/meije/rp/
refactoring => see http://dmoz.org/Computers/Programming/Methodologies/Refactoring/
refactoring browser => at http://st-www.cs.uiuc.edu/users/brant/Refactory/
refill => [java] a generative Java dialect at http://www-ia.tu-ilmenau.de/~czarn/ECOOP02GPW/osterbye.pdf
refinement calculus tutorial => at http://www.ecs.soton.ac.uk/~mjb/refcalc-tut/home.html
refl => [acro] REFLective, REFLection
reflective => being able to correctly model oneself; see Reflection
reflex => [java+refl] an open runtime MOP for Java, providing partial behavioral reflection, at http://www.dcc.uchile.cl/~etanter/Reflex/index.html
reflisp => [lisp] at http://www.ozemail.com.au/~birchb/reflisp.html
regexp links => at http://www.geocities.jp/kosako1/oniguruma/
reify => [term] to make an abstract concept concrete for the system or to make an object that represents a user's idea. see concrete
reiserfs => [fs] at http://www.namesys.com
relativeoo => [MIA] Relativistic Object-Orientation at http://www.isg.sfu.ca/~hak/Research/current/RelativeOO.html
relmics => [research] Relational Methods in Computer Science at http://ist.unibw-muenchen.de/relmics/
repl => [eso+pls] Ring of Esoteric Programming Languages at http://homepage.eircom.net/~kmgaughan/esolang/index.html
req => [rewriting] a calculator programmable with rewrite rules at http://www.accesscom.com/~darius/software/req.tar.gz
research it => [research] at http://www.itools.com/research-it/research-it.html
retrocomputing museum => at http://catb.org/~esr/retro/
rewn => [pl] a term rewriting machine for a small lazy language at http://www.cs.indiana.edu/hyplan/sabry/papers/index.html
rewr => [acro] REWRite, REWRiting
rewriting => [rewriting] at http://www.loria.fr/~vigneron/RewritingHP/ http://www.csl.sri.com/programs/rewriting/
rewriting for gc => [gc+rewriting] "Abstract Models of Memory Management" at http://www.cs.rice.edu/CS/PLT/Publications/fpca95-mfh.ps.gz - see cora
rewriting intro => [rewriting] at http://www-sal.cs.uiuc.edu/~nachum/papers/taste-fixed.ps.gz
rewritinghp => [rewriting] see rewriting
rexl => [pl] Rule-base EXpert Language at http://www.hitchhiker.org/josh/programming/rexl/
rfml => [ml] Relational-Functional Markup Language at http://www.relfun.org/rfml/
rfr => [acro] Request For Rephrasing
rgml => Rdf Graph Modeling Language at http://www.cs.rpi.edu/~puninj/RGML/
rhs => [acro] Right Hand Side
rigal => [pl+compilers] a compiler construction language at http://www.ida.liu.se/~vaden/rigal/
riods => the Reflection in Open Distributed Systems group at http://www.comp.lancs.ac.uk/computing/research/mpg/reflection/
risla => [dsl] at http://www.program-transformation.org/twiki/bin/view/Transform/RislaLanguage
river => [MIA] "streams on steroids" at http://www.roninsg.com/river.htm
rl => [acro] Real Life
rmake => [rebol] Rebol MAKE at http://wsrebol.sourceforge.net
rmch => recursive make considered harmful at http://www.canb.auug.org.au/~millerp/rmch/recu-make-cons-harm.html
rms => [ppl] Richard Stallman at http://www.stallman.org
rmtool => software suite for the computation and interpretation of Reflexion Models at http://www.cs.ubc.ca/~murphy/jRMTool/doc/index.html
rndlc => [fare+refl+lc] "Reflection, Non-Determinism, and the Lambda-Calculus" at http://fare.tunes.org/tmp/rndlc/
roles before objects => at http://gee.cs.oswego.edu/dl/rp/roles.html
roml => Runtime Optimization Mailing List at http://www.buytaert.net/roml/
root => a comprehensive object-oriented framework at http://root.cern.ch/
rop => [refl] Reflection-Oriented Programming at http://www.cs.indiana.edu/~jsobel/
rosette => [MIA+pl] a concurrent (Actor model) prototype-based OO PL with multiple inheritance, reflection, and SEXP syntax at http://www.mcc.com/projects/infosleuth/archives/carnot/rosette/ref_1.html
rot13 => [crypto] at http://www.rot13.org http://ucsub.colorado.edu/~kominek/rot13/
rotfl => [pl] Regular Old Text Formatting Language at http://netgeek.ws/web/rotfl/
roundabout => [pl] a pattern language for recursive programming at http://www.cs.uni.edu/~wallingf/patterns/recursion.html
rpn => [grammar] Reverse Polish Notation aka postfix notation, "1 2 +"
rps => [abi+game] Rock Paper Scissors, see 'abi: help rps'
rsalc => [lc+rewriting] rewrite systems and lambda-calculus at http://www.cs.bgu.ac.il/~zurab/rewriting/rewriting.html
rseir => [fs] "a Reflective System is as Extensible as its Internal Representations: an illustration" at http://citeseer.nj.nec.com/did/59073 ftp://ftp.cs.indiana.edu/pub/scheme-repository/doc/pubs/iucstr366.ps.gz
rss => [xml] v.91 Rich Site Summary, "lightweight syndication web format for distributing news headlines", v1.0 Rdf Site Summary, "lightweight multipurpose extensible metadata description and syndication format"
rtcg => certifying Run-Time Code Generation at http://www.cs.cornell.edu/Info/People/fms/rtcg.html
rtl => the register transfer language, the intermediate representation of a program, inspired by lisp, used by the back-end of the gcc, g++, g77 etc compilers
rtmk => [os] Real-Time Micro-Kernel at http://rtmk.sourceforge.net
rtoml => the Runtime-Optimization mailing list at http://www.buytaert.net/roml/
rtti => run time type information, a c++ hack to allow access to the vtable
rtts => [acro] Read The Topic Stupid
runabout => [java] Java multi-dispatch extension at http://www.ovmj.org/runabout/ http://freshmeat.net/projects/runabout/
rupiah => [java+types] "Rupiah: An extension to Java supporting match-bounded parametric polymorphism, ThisType, and exact typing" at http://citeseer.nj.nec.com/burstein98rupiah.html
rush => [pl] at http://www.bolt-action.com/dl_papers.html
russell => [pl] at ftp://parcftp.xerox.com/pub/russell/
rvm => [vvm] Recursive Virtual Machine, Ian Piumarta's experimentation for the VVM project at ftp://ftp.inria.fr/INRIA/Projects/SOR/misc/vvm/rvm.tar.gz
rx => [sw] an interpreter for Rational Tree Languages, a system that knows about regular tree grammars, finite tree automata, and rational tree expressions, at http://www.informatik.uni-leipzig.de/~joe/rx/
s-exp => [lisp] a _syntax_ for recursive lists, that are a general purpose data structure / symbolic expression
s-lang => [pl] at http://space.mit.edu/~davis/slang/ http://freshmeat.net/projects/slang/
sablecc => [java] an OO framework that generates compilers and interpreters in Java at http://www.sablecc.org
sacbase => at http://www.informatik.uni-kiel.de/~sacbase/index.html
safetynet => [pl] language for programming active networks at http://klee.cs.depaul.edu/an/ http://www.cogs.susx.ac.uk/projects/safetynet/
sage => [viz] at http://www-2.cs.cmu.edu/~sage/
sal => [linux] Scientific Applications on Linux at http://sal.kachinatech.com
sal pl list => [pls+list] at http://sal.kachinatech.com/F/1/index.shtml
sally => [pl+aop+java] a general-purpose aspect language based on Java, with aspect reflection at http://www.cs.uni-essen.de/dawis/research/aop/sally/
sam76 => [pl+trac] a variation on TRAC at http://www.resistors.org/sam76.html
sample => [pl] a Language and Programming Technology at http://sampletalk.8m.com http://www.webspawner.com/users/samplex/
san => [pl] at http://home.tiac.net/~cri/mathcomp.html
sane o/s => [os] FreeBSD based OS at http://www.cis.upenn.edu/~switchware/sane_os/
sansism => [bf+eso+pl] at http://www.morleysoft.freeserve.co.uk/computing/sansism/index.html
saop => [aop] Semantics of AOP at http://www.cwi.nl/~ralf/saop/
sarith => Safe/Saturating ARITHmetic, an open-source project to provide new handling for 8-, 16-, 32-bit (+?) integers, signed and unsigned at http://www.elj.com/open-source/sarith/
sawfish => [wm+lisp] an extensible window manager using a Lisp-based scripting language, formerly known as sawmill, at http://sawmill.sourceforge.net
sawmill:1 => [wm] see sawfish
sawmill:2 => [os] a highly-configurable OS, FKA Lava, at http://www.research.ibm.com/sawmill/index.html
sbar => the Stony Brook Algorithm Repository at http://www.cs.sunysb.edu/~algorith/
sbcl => [cl] Steel Bank CommonLisp at http://sbcl.sourceforge.net
sbgp => [gp] Stack-Based Genetic Programming at http://www.artifact.com/perkis/stack_gp_paper/
sbl => [pl] Stack-Based Language at http://ibiblio.org/pub/Linux/devel/lang/misc/
scarlet => [pl] at http://sourceforge.net/projects/scarlet/
scml => [ml] Source Code Markup Language at http://www.cs.utah.edu/flux/flick/current/doc/guts/gutsch8.html
scpj => [java] SuperComPiler for Java at http://www.keldysh.ru/pages/dpt_16/ScpJ/
scriptix => [pl] at http://www.awemud.net/scriptix/ http://freshmeat.net/projects/scriptix/
scriptol => [pl] object-oriented and xml-oriented PL at http://www.scriptol.com http://www.scriptol.net http://www.scriptol.org
scriptv => [pl] at http://www.transframe.com/product/script.htm
sdl:1 => [survey+pl] Survey of Distributed Languages at http://www.cgl.uwaterloo.ca/~anicolao/termpaper.html
sdl:2 => [sw] Simple DirectMedia Layer, a cross-platform multi-media development API at http://www.libsdl.org
sdlp => [syntax] Syntax Definition for Language Prototyping at http://www.cs.uu.nl/~visser/thesis/index.html
sds => software development foundation, a framework for developing software development tools, at http://sourceforge.net/projects/sds/
sec => safe and efficient execution of multi-language software components at http://www.cse.unsw.edu.au/~chak/project/sec/
selective lambda-calculus => [lc] at http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/research.html
sense => an All-software, portable DSM system with a variable unit of coherence at http://hjem.get2net.dk/dduck/sense.html
ses => [security] Security for Extensible Systems at http://www.cs.washington.edu/homes/rgrimm/research/security.html
setext => [ml] at http://www.valdemar.net/erik/setext/
setf => the mechanism used to assign new values to vars
sets calculus => at http://www.di.uminho.pt/~jno/html/setshp.html
sexp => [lisp] a _syntax_ for recursive lists, that are a general purpose data structure / symbolic expression, see http://theory.lcs.mit.edu/~rivest/sexp.html
sfs => [fs] Self-Certifying File System, a global decentralized and secure filesystem at http://www.fs.net - see 'sfs more'
sfs for dos/win => [fs] secure non-distributed fs for dos/win at http://www.cs.auckland.ac.nz/~pgut001/sfs/
sfs for linux => [fs] secure non-distributed fs for linux at http://atrey.karlin.mff.cuni.cz/~rebel/sfs/
sfs more => [fs] see 'symptomatic fs' 'sfs for dos/win', 'sfs for linux'
sfsls => [MIA] Self Fixing Software Literature Survey at http://www.dur.ac.uk/~dcs3jei/lit-survey.html
sgb => [graph] Stanford Graph Base at ftp://labrea.stanford.edu/pub/sgb
shannon => [ppl] see claude shannon
shape => [pl] at http://linus.socs.uts.edu.au/~shape/shape.html
shemacs => [emacs] concurrent multi-user shared editing within Emacs at http://csdl.ics.hawaii.edu/Tools/Shemacs/
shift => [pl] a PL for describing dynamic networks of hybrid automata at http://www.path.berkeley.edu/shift/
shootout => The Great Computer Language Shootout at http://www.bagley.org/~doug/shootout/
shorthand => [pl] at http://www.shorthand.org
sigma:1 => Sigma Calculus Interpreter at http://types.bu.edu/ool-mini-seminar/sigma.html
sigma:2 => [pl+fp+cpp] at http://www.standarddeviance.com/sigma.html
silc => [cmc] Secure Internet Live Conferencing at http://www.silcnet.org
siloon => [pl] Scripting Interface Languages for Object-Oriented Numerics at http://www.acl.lanl.gov/siloon/
simonyi => [ppl] see http://c2.com/cgi/wiki?CharlesSimonyi
simos => [sw] The Complete Machine Simulator at http://simos.stanford.edu
simpla => [pl] a basic concept language for use in teaching children and adults with no programming experience whatsoever at http://sourceforge.net/projects/simpla/
simplicissimus => at http://www.cs.rpi.edu/~schupp/entries/SOFTWARE/simpl/index.html
sirius => [pl] at http://sourceforge.net/projects/siriuspl/
sk => [pl] at http://bgb1.hypermart.net
skey => [security] S/Key, a one-time-password system, now standardized in RFC2289
sky => [os+lispm] Thomas Bushnell's Sky OS project at http://www.becket.net:8080/cgi-bin/skywiki.pl?SkyWiki
sl => [lisp+doc] see Successful Lisp
slam => [pl+mule] Simple LAMbda language, at http://math.holycross.edu/~mule/manual/chap4.htm
slate cvs => [slate] at http://slate.tunes.org/cgi-bin/cvsweb/ ; use CVS_ROOT=/var/lib/cvs/slate for anonymous checkouts
slc => [pl] Simple Little Compiler at http://www.rowan.sensation.net.au/slc.html
sleep => [pl] "Simple Language for Environment Extension Purposes" at http://sourceforge.net/projects/sleepjava/
slic => [pl+mule] Simple LogIC language, at http://math.holycross.edu/~mule/manual/chap3.htm
slim => [MIA+pl+setl] a SETL relative at http://birch.eecs.lehigh.edu/slim/
slisp => [lisp] simple Lisp interpreter at http://www.sigala.it/sandro/ http://freshmeat.net/projects/slisp/
slk => parser generator at http://home.earthlink.net/~parsersinc/slk/
slmm => [lispm] Symbolics Lisp Machine Museum at http://kogs-www.informatik.uni-hamburg.de/~moeller/symbolics-info/symbolics.html
slurp => [java] Sound Languages Underpin Reliable Programming at http://www-dse.doc.ic.ac.uk/Projects/slurp/index.html
small => [pl] a simple, typeless, 32-bit scripting/extension language with a C-like syntax at http://www.compuphase.com/small.htm
smdl => [oo] Situation-Driven ModeLing at http://www.sdml.com
sml => [MIA+pl+ml] Standard ML at http://www.standardml.org
sml/e => [sml] a type explanation facility for Standard ML at http://guinness.cs.stevens-tech.edu/~dduggan/Public/Smle/
sml/nj => [sml] Standard ML of New Jersey, SML compiler, at http://cm.bell-labs.com/cm/cs/what/smlnj/index.html
smlisp => [lisp] Small Lisp at http://www.cs.sfu.ca/~cameron/smlisp/
smm => [music] Shareware Music Machine at http://www.hitsquad.com/smm/
smth => [acro] SoMeTHing
snarf:1 => [net] a network utility to retrieve files from the Net, at http://www.xach.com/snarf/ http://freshmeat.net/projects/snarf/
snarf:2 => [cl] a CommonLisp prototype-style oop facility at http://cs.gmu.edu/~sean/research/
snark => [ai+cl] Sri's New Automated Reasoning Kit, automated theorem-proving program in Common Lisp, at http://www.ai.sri.com/~stickel/snark.html
sneps => [ai] the Semantic NEtwork Processing System at http://www.cse.buffalo.edu/sneps/
snit => [tcl+oo] Snit's Not Incr Tcl, a pure-Tcl object and megawidget framework, based on delegation, at http://www.wjduquette.com/snit/
snobol => [pl] see http://dmoz.org/Computers/Programming/Languages/Snobol/
snobol4 => [pl+snobol] see http://dmoz.org/Computers/Programming/Languages/Snobol/
socketscript => [pl] at http://freshmeat.net/projects/socketscript/
sockz => [pl] Stack Oriented Calculus Kernel in Z at http://www.multimania.com/abrobecker/sockz/sockz.htm
socratix => [os] formerly known as SmileOS, at http://socratix.berlios.de http://www.smileos.de.vu
software patterns => [patterns] at http://web.media.mit.edu/~tpminka/patterns/
sol:1 => [pl] State Object Language at http://www.sourceforge.net/projects/sol/
sol:2 => [os] a standalone FORTH-like OS for PDP-11s and 8086-based PCs at http://www.not-compatible.org/SOL/index.html
solo => [os] shagos' bootlooder, see http://www.csh.rit.edu/~shaggy/shagos.html
sonata => [mozart+moo] an OO multi-user multi-interface persistent programmable realtime collaborative distributed infrastructure for constructing shared extensible VWs at http://www.sics.se/mozart/projects/sonata/
soocp => [oo+survey] Survey of Object-Oriented Concurrent Programming (focus on actors) at http://object.dcs.fmph.uniba.sk/Object/uploads/Diploma_theses/1995_Kobetic_Neurath/www/soocp/Soocp.htm
soop => [pl+mule] Simple Object Oriented Programming language, at http://math.holycross.edu/~mule/manual/chap6.htm
soopl => [oo+pls] Survey of Object Oriented Programming Languages at http://www.rescomp.berkeley.edu/~hossman/cs263/paper.html
soot => [java] Java optimization framework at http://www.sable.mcgill.ca/soot/
sop => [mp] Subject-Oriented Programming at http://www.research.ibm.com/sop/
sos => [cs] Structured Operational Semantics at http://adam.wins.uva.nl/~x/sos.html
soundml => [ml+sound] FM sound synthesis description language at http://sourceforge.net/projects/soundml/
source code => like manure, if you spread it around things grow. If you hoard it, it just smells bad.
sp => [java+scheme] Scheme Package, Java Scheme library at http://www.inria.fr/koala/shillion/sp/index.html
spacetalk => an Object-Oriented Knowledge Representation System at http://object.dcs.fmph.uniba.sk/Object/uploads/Projects/TTT/Spacetalk/Spacetalk1990.html
spacewar => [game] the first video action game ever, resurrected at http://lcs.www.media.mit.edu/groups/el/projects/spacewar/
spar => [pl+math] a math-oriented scripting language at http://sourceforge.net/projects/spar/
spark => [pl] at http://spark.pagemac.com
spec => [acro] SPECification
specware => a proprietary formal system based on category theory at http://www.kestrel.edu/HTML/prototypes/specware.html
sphere => [MIA+meta] Jim Little's Sphere project at http://www.teleport.com/~sphere
sphereos => [os] at http://users.erols.com/alangrimes/UCE/sphere.txt
spice => [pl+css+js] blends CSS and JavaScript, at http://www.w3.org/People/Raggett/Spice/
spike => [logic] a theorem prover at ftp://ftp.loria.fr/pub/loria/protheo/softwares/Spike/
spim => [sw] a self-contained software simulator for running R2000/R3000 assembly language programs at http://www.cs.wisc.edu/~larus/spim.html
spine => [sw] Safe Programmable Integrated Network Environment at http://www.cs.washington.edu/homes/mef/research/spine/
spitbol => [pl+snobol] see http://dmoz.org/Computers/Programming/Languages/Snobol/
spl => [pl] Small Programming Language at http://crazylovetrain.hypermart.net
splint => [c] Secure Programming LINT, a tool for statically checking C programs for security vulnerabilities and coding mistakes, at http://www.splint.org
split-c => [pl+c] a parallel C at http://www.cs.berkeley.edu/projects/parallel/castle/split-c/
spoc => [pl+mule] Simple PrOCedural language, at http://math.holycross.edu/~mule/manual/chap5.htm
sps => [capabilities] security-passing style, a monadic style wherein reachable capabilities are passed from routine to routine
sputnik => [beatnik] a Beatnik interpreter at http://sourceforge.net/projects/sputnik/
squirrel => [pl] at http://freshmeat.net/projects/squirrel_lang/ http://squirrel.sourceforge.net
src => [acro] SouRCe code
srg => Scene Graph Rewriting, and grumble at http://www.cgl.uwaterloo.ca/~pkharwoo/sgr/
sri => at http://www.sri.com
srp => [acro] Single-Receiver Projection
ssa => [acro] Static Single Assignment
ssahlt => [nl] Survey of the State of the Art in Human Language Technology at http://cslu.cse.ogi.edu/HLTsurvey/HLTsurvey.html
ssi => Server Side Includes, see http://dmoz.org/Computers/Programming/Internet/SSI/
ssl:1 => [logic] substructural logics, logics without the usual structural-preserving rules of first-order logic
ssl:2 => [pl] Spreadsheet Scripting Language at http://www.cis.udel.edu/~shaman/html/ssl.html
ssri => Systems Software Research is Irrelevant at http://freshmeat.net/news/2000/08/05/965534399.html
st => [pl] SmallTalk
stack free recursion => at http://www.olympus.net/personal/7seas/recurse.html
staple => [pl] Statically Typed Applicative Persistent Language Environment, a lazy functional PL with a persistent store at http://www.dcs.st-and.ac.uk/~staple/publications.html
starlog => [pl+lp] a declarative temporal logic PL at http://www.cs.waikato.ac.nz/Research/starlog/index.html
state map compiler => [sw] at http://www.sourceforge.net/projects/smc/
static single assignment => intro at http://granite.sru.edu/~chen/SSA/SSA.html
stax => [fsm] FSM compiler and simulator at http://www.cs.virginia.edu/~jwh6q/stax-web/
stef => [text] Structured Text Editor Framework at http://sourceforge.net/projects/stef/
stfu => [acro] Shut The Fuck Up
sth => [acro] SomeTHing
sti => Search for Terrestrial Intelligence at http://totl.net/STI/
stipple => [pl+clu] Strongly-Typed Internationalizable Parameterized PL Extensible, CLU-like, at http://www.gramlich.net/projects/stipple/index.html
stockhausen => [alice] implementation of alice at http://www.ps.uni-sb.de/~rossberg/stockhausen/
stoical => [pl+stoic] a modern re-implementation of the classic stack language STOIC at http://sourceforge.net/projects/stoical/ http://freshmeat.net/projects/stoical/
subl => [pl+cyc] see http://www.cyc.com/cycdoc/ref/subl-reference.html
subversion => [versioning] a revision control system at http://subversion.tigris.org
sumatra => [pl] "A Language for Resource-aware Mobile Programs" at http://www.cs.umd.edu/~acha/publications.html
summer 2002 => [eso+pl] a non-deterministic object-oriented declarative interpreted PL at http://mirge.net/~lament/summer.txt
suneido => [pl] at http://www.suneido.com/language.htm
supercollider => [audio+pl] a real-time audio synthesis PL at http://www.audiosynth.com
svhp => [hist] Silicon Valley History Project at http://www.stanford.edu/group/mmdd/SiliconValley/
svlisp => [lisp] St. Vitus Lisp at http://www.megabaud.fi/~karttu/tekstit/svlisp1.htm
sw => [acro] SoftWare
sweet16 => [pl+apple] Sweet Sixteen by Steve Wozniak for the apple ][ at http://oldcomputers.net/byteappleII.html http://www.fadden.com/dl-apple2/sweet16.txt http://ground.ecn.uiowa.edu/apple2/MiscInfo/Programming/sweet16.interp
switchware => [research] the SwitchWare project, Active Network Research at http://www.cis.upenn.edu/~switchware/
symptomatic fs => [fs] a large scale distributed network file service at http://www.venge.net/graydon/SFS.html
sync+ => [MIA+pl] at http://filebox.vt.edu/users/etunar/SynC+_Manual.htm
synccharts => [cs] a graphical formalism dedicated to reactive system modeling at http://www-sop.inria.fr/meije/esterel/syncCharts/index.html
syntex => syntactic tree drawing program at http://www.theory.org/~adric/syntex/
system f => [lc] polymorphic lambda calculus
system i => [lc] a type system for lambda calculus with intersection types at http://www.cee.hw.ac.uk/ultra/compositional-analysis/
t3x => [pl] T3 eXtended, the minimum procedural language at http://www.t3x.org
table oriented programming => [pl] at http://www.geocities.com/SiliconValley/Lab/6888/top.htm
taf => [cs] "Tossing Algebraic Flowers Down The Great Divide", about the gap between theoretical computer science and the social aspects of information processing, at http://citeseer.nj.nec.com/did/7754
talp => [lp] Termination Analysis of Logic Programs at http://bibiserv.techfak.uni-bielefeld.de/talp/
tamerlane => [pl] a "constraint flow" language at http://www.catseye.mb.ca/esoteric/tamerlane/index.html
tanstaafl => There Ain't No Such Thing As A Free Lunch, a common Libertarian motto that they remind us apply to all those "free" things that government "gives" to us mortals
tao => the Theory of Abstract Objects at http://mally.stanford.edu/theory.html and has an online form of principia mathematica as well
taocp => [knuth+book] _The Art of Computer Programming_ at http://www-cs-faculty.stanford.edu/~knuth/taocp.html
tapp => Theory and Practice of Programming at http://www.dcs.warwick.ac.uk/tapp/
tata => Tree Automata Techniques and Applications at http://www.grappa.univ-lille3.fr/tata/
tatami => [obj] a system supporting distributed cooperative design, specification, and validation of software (and hardware) systems at http://www.cs.ucsd.edu/groups/tatami/
taz => [acro] Temporary Autonomous Zone
tcm => Toolkit for Conceptual Modeling at http://wwwhome.cs.utwente.nl/~tcm/
tcote => [text+book] _The Craft of Text-Editing -or- Emacs for the Modern World_ at http://www.finseth.com/~fin/craft/
tdl => Type Description Language at http://www.cs.rpi.edu/~schupp/entries/SOFTWARE/simpl/
tea => [pl] "Type Evaluating Algorithm" at http://freshmeat.net/projects/tea/ http://lue.dk/prj/tea
teco => [editor] the original one true editor, see http://www.cbbrowne.com/info/teco.html
tel:1 => [pl] PL for reactive systems at http://cs.wwc.edu/~aabyan/464/Project/Tel.html
tel:2 => [pl] "Types, Equations and Logic" at http://www.ps.uni-sb.de/tel/
tela => [pl] TEnsor LAnguage, a numerical computing language and environment, at http://www.geo.fmi.fi/prog/tela.html
telp => [eso+pls] The Esoteric Languages Project at http://sourceforge.net/projects/esoteric/
tempo:1 => [pl+lp] a declarative concurrent PL based on classical first-order logic at http://www.cs.bris.ac.uk/Tools/Reports/Abstracts/tempo-iclp95.html
tempo:2 => [pe+c] C PEor at http://www.irisa.fr/compose/tempo/
tensile => [pl] FKA nsl, a scripting language intended primarily for processing text documents in various input formats and in various languages. at http://www.freesoftware.fsf.org/nsl/
termination inference => see http://www.complang.tuwien.ac.at/cti/
terzo => [lprolog+sml/nj] an interpreter of Lambda Prolog implemented in Standard ML of NJ at http://www.cse.psu.edu/~dale/lProlog/terzo/index.html
tex => [typesetting] the macro assembly language of typesetting, see http://dmoz.org/Computers/Software/Typesetting/TeX/
teyjus => [lprolog] an efficient implementation of Lambda Prolog at http://teyjus.cs.umn.edu
thal => [oo] an actor system for efficient and scalable concurrent computing at http://citeseer.nj.nec.com/kim97thal.html
that's nice => [euph] i don't F*@!ing care
theoretical cs => [research] at http://robotics.stanford.edu/~suresh/theory/theory-home.html
theory model => [MIA] at http://www.qucis.queensu.ca/home/dalamb/courses/422/tmintro/tmintro.html
theta => [pl+oo] an OO PL that supports constrained parametric polymorphism, subtype polymorphism, and separate type and class hierarchies, at http://www.pmg.lcs.mit.edu/Theta.html
think => [arch] THink Is Not a Kernel, a distributed systems architecture, at http://sardes.inrialpes.fr/research/think.shtml
thinking things => developing an object model suitable for representing real world concepts and things at http://object.dcs.fmph.uniba.sk/Object/uploads/Projects/TTT/ttt.html
thinknet => [cmcw] kaufmann's (with-buzzword "a free-form learning experience") inexpensive groupware combined with a distributed multimedia database
thinlisp => [lisp+c] a Lisp to C compiler at http://www.thinlisp.org http://www.sourceforge.net/projects/thinlisp/
thor => [oo+db] a distributed OO DB system that uses an adaptive hybrid of page and object caching strategies, optimistic concurrency control and distributed GC at http://www.pmg.lcs.mit.edu/Thor.html
threaded code => see http://www.complang.tuwien.ac.at/forth/threaded-code.html
thrive => THReaded Interpreter Vector forth-like Engine at http://www.equi4.com/thrive/
thue => [eso+pl] a PL based on a/the semi-Thue grammar/process at http://lvogel.free.fr/thue.htm http://www.catseye.mb.ca/esoteric/thue/index.html
tidnoc => [condit] a condit interpreter at http://www.insecurities.org/darkling/index.pl?tid=tidnoc
tierra => [alife] at http://www.isd.atr.co.jp/~ray/tierra/
tigerc => [tiger] a Tiger compiler at http://www.s-z.org/~neil/progs/tigerc/index.php http://www.geocities.com/tzmnlaos/UndergradC/Compilers/tigerc.html
til => [logic] Transparent Intensional Logic at http://www.phil.muni.cz/fil/logika/til/
tilt:1 => [ml] ML compiler at http://www.cs.cornell.edu/Info/People/jgm/tilt.html
tilt:2 => [pl+gp] a PL focusing on the mutation and crossover aspects of GP at http://www.cc.gatech.edu/~jimmyd/research/tilt/
time => [abi] $time PST
tincl:1 => [pl] The Idiotically Named Cgi Language at http://www.mines.edu/students/b/bolmstea/tincl/
tincl:2 => [lisp] a CommonLisp subset at http://sourceforge.net/projects/tincl/
tinker => [lisp+pbd] a Lisp PbD system at http://agents.www.media.mit.edu/people/lieber/Lieberary/Tinker/
tinkertype => [spec] a framework for compact and modular description of formal systems at http://www.cis.upenn.edu/~milevin/tinkertype/index.html
tinos => [os] TINy OS at http://www.geocities.com/SiliconValley/Haven/2934/tinos.html
tint => [pl+trac] a string substition language, inspired by TRAC and MINT, at http://tintware.sourceforge.net
tinycc => [c] tiny C compiler, at http://www.tinycc.org
tinycobol => [cobol] at http://sourceforge.net/projects/tiny-cobol/
tinyscript => [pl] at http://www.equi4.com/jcw/wiki.cgi/27.html
tipi => [pl] Threaded Instruction Processing Interpreter at http://www.palmtoppaper.com/ptphtml/19/pt190029.htm
titanium => [pl+java] a dialect of Java for large-scale scientific computing at http://www.cs.berkeley.edu/projects/titanium/
tix => [os] at http://www.angelfire.com/ak/tix/
tla:1 => [acro] Three Letter Acronym
tla:2 => [logic] Lamport's Temporal Logic of Actions at http://www.research.digital.com/SRC/personal/Leslie_Lamport/tla/tla.html
tlar => [acro] That Looks About Right
tlc => [acro] Typed Lambda-Calculus
tlf => [pls+list] The Language Freak at http://www.zenspider.com/Languages/
tll => [tunes] The Tunes Learning Lounge at http://cliki.tunes.org/Learning%20Lounge
tlotl => [hypertext+ui] "The Look of the Link - Concepts for the User Interface of Extended Hyperlinks" at http://citeseer.nj.nec.com/weinreich01look.html
tls => [acro] Type-Logical Semantics
tm intro => [cs] turing machines introduction at http://www.unidex.com/turing/tm_intro.htm
tml => [pl] a string-rewrite system by tmf, see also TOOL
tmml => [cs+xml] Turing Machine Markup Language at http://www.unidex.com/turing/tmml.htm
toadskin => [pl+bf+forth] BrainF**k meets Forth, a fight ensues. at http://www.billglover.com/software/toadskin/ http://freshmeat.net/projects/toadskin/
tokio => [lp] interval temporal logic programming tool at http://rananim.ie.u-ryukyu.ac.jp/~kono/software-e.html
tol => [pl] Table-Oriented Language at http://www.geocities.com/SiliconValley/Lab/6888/newlang.htm
tomato => [vp+ide+java] at http://sourceforge.net/projects/tomatoide/
too => [oo+book] _A Theory Of Objects_ by Martin Abadi and Luca Cardelli at http://www.luca.demon.co.uk/TheoryOfObjects.html
tool => [pl] tmf's object system on top of TML
top => [acro] Table Oriented Programming
toreun's esolang => [eso+pl] at http://www.toreun.org/esolang.txt http://www.toreun.org/eso.zip
toy => [pl+amiga] an Amiga Draco-like PL at http://www.graysage.com/cg/Compilers/Toy/
toylets => [java] "First, they said Java was good for app-lets; then they recoiled, and said it was good for serv-lets; actually, what it's good for is toy-lets."
toyvm => [pl] toy, a concatentative language virtual machine at http://www.oberon.ethz.ch/software/Toy.html
tplp => [eso+pls] Tristan Parker's Language Page at http://www.geocities.com/lmtbl/
tps => [pl] Tiny/Transportable PostScript, an embedded transportable agent language at http://www.cs.colorado.edu/~arcadia/Software/tps.html ftp://ftp.cs.colorado.edu/pub/distribs/arcadia/obsolete/really-obsolete/
traat => [rewriting+book] _Term Rewriting and All That_ by Franz Baader and Tobias Nipkow at http://www.forsoft.de/~nipkow/TRaAT/ http://www4.informatik.tu-muenchen.de/~nipkow/TRaAT/index.html
transcript => [eso+pl] interactive fiction like syntax at http://www.corknut.org/code/transcript/
transform => [mp+wiki] the program transformation wiki at http://www.program-transformation.org
transformation calculus => [cs] at http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/research.html
treebag => [grammar] a tree-grammar-based generator for strings, trees, pictures, and other kinds of objects at http://www.informatik.uni-bremen.de/theorie/treebag/
triangle => [pl] at http://www.cs.helsinki.fi/u/vihavain/k02/okk/ http://www.dcs.gla.ac.uk/~daw/books/PLPJ/software.html http://csis.pace.edu/~badii/CS605/Mini%20Triangle/ http://www.cs.unc.edu/~prins/Classes/140/
trichotillomania => a compulsive irresistible urge to pull one's hair out
triveni => a component model for concurrent programming with threads and events
trivia => at http://www.cuillin.demon.co.uk/nazz/trivia/
tsia => [graph] Task System and Item Architecture, practical graph reduction at http://www-zeus.desy.de/~funnel/TSIA/index.htm
tsttcpw => [acro] The Simplest Thing That Could Possibly Work
ttfp => [fp] Type Theory and Functional Programming at http://www.cs.ukc.ac.uk/people/staff/sjt/TTFP/
tulsa => [acro] Thing yoU've Likely Seen Already
tunes mlist => [tunes+mlist] the TUNES mailing list archives at http://lists.tunes.org/archives/tunes
turbologo => [logo] at http://www.mime.univ-paris8.fr/~loscar/Logo/
turing => [pl] see http://dmoz.org/Computers/Programming/Languages/Turing/
turing tarpit => [pls] at dedicated to all the best weirdness that PL designers can come up with, http://www.geocities.com/connorbd/tarpit/ http://www.geocities.com/ResearchTriangle/Station/2266/tarpit/tarpit.html
turtle tracks => [logo] a modern Logo implementation at http://sourceforge.net/projects/turtletracks/
twelf => [lp] at http://www.cs.cmu.edu/~twelf/
twim => [acro] That's What I Meant
tx => [pl] at http://sourceforge.net/projects/tx-lang/
txl => [pl+fp] Tree Transformation Language, a pure functional rule-based language with unification, implied iteration and deep pattern match, at http://www.txl.ca
tyco => Typed Concurrent Objects, an asynchronous pi-calculus plus branching structures, at http://www.ncc.up.pt/~lblopes/tyco/
type theory => [theory] just predicate theory bravado, which flies in the face of godel's theorem on incompleteness
type-logical semantics => at http://www.colloquial.com/carp/books/tls/
types forum => [types] at http://www.cis.upenn.edu/~bcpierce/types/index.html
typity => [cs] Teach Yourself Programming in Ten Years at http://www.norvig.com/21-days.html
ual => [pl] Uniform Abstract Language at http://lists.w3.org/Archives/Public/www-talk/1999JanFeb/att-0011/01-ua-spec.html
ubiqx => at http://www.ubiqx.org
uc&c => [book] _Understanding Computers and Cognition_, by Terry Winograd and Fernando Flores, see http://hci.stanford.edu/~winograd/publications.html#books
ucilapg => [nl] "Using Computers in Linguistics: A Practical Guide" at http://www.routledge.com/linguistics/using-comp.html
ucita => [law] Uniform Computer Information Transactions Act
ucl => [pl+java+oo+aop] Universal Class Language at http://sourceforge.net/projects/ucl/
uhppld => [pls] Ulf's Home-Page of Programming Language Design at http://www.cs.mun.ca/~ulf/pld/
uid => [ui] User Interface Design at http://www.cs.ucsd.edu/users/goguen/projs/uid.html
uk => [acro] microkernel
ukernel => [acro] microkernel
ulc => [dsl] Uniform Languages of Composition and interpreters for component composition at http://www.imm.dtu.dk/~jsm/pub/dsl.html
ulpc => [pl+pike] microLPC, an OOPL, became Pike at http://god.knotwork.com/info/comp/docs/ulpc/
ultra => [pl] at http://www.box.net.au/~matty/ultra/index.html
uncommon lisp => [lisp] at http://www.go2net.com/internet/deep/1997/03/19/body.html
unicon => [icon] a unified extended dialect of Icon at http://unicon.sourceforge.net
unios => [os] a concept OS at http://unios.dhs.org
universal assembler => [asm] at http://cs.wwc.edu/Research/Compiler/doc/ua.html
uos => [os] at http://www.cs.virginia.edu/~jwh6q/uos-web/
upc => [c] Unified Parallel C at http://www.gwu.edu/~upc/
upg => [grammar] Unified Paradigm Grammar at http://cs.wwc.edu/KU/PR/unified.html
urinel => [os] at http://www.crosswinds.net/~psychof/os/
utsl => [acro] Use The Source, Luke!
uva => [pl] at http://www2.cds.ne.jp/~catty/garden/uva/english.html
uw constraints => [constraints] UW Constraint-Based Languages and Systems at http://www.cs.washington.edu/research/constraints/
v => [pl] a parallel PL at http://www.first.gmd.de/v/v.html
v6 => [web+ocaml] a programmable web proxy at http://pauillac.inria.fr/~rouaix/V6/
vanilla => [MIA] a PL toolkit, a component framework for building parsers, type-checkers, interpreters, etc. at http://www.vanilla.ie http://www.cs.tcd.ie/Simon.Dobson/research/programming/index.html
var'aq => [pl] a stack-based RPN PL for Klingons at http://www.geocities.com/connorbd/varaq/
varaq => [pl] see var'aq
vas => [MIA] Visual Algebraic Specifications at http://www.cwi.nl/~dinesh/vas/
vbs => [acro] Very Bad Shit
vds => [pl] Visual DialogScript, see http://dmoz.org/Computers/Programming/Languages/Visual_DialogScript/
vector pascal => [pl] at http://www.dcs.gla.ac.uk/~wpc/reports/vp-msp3.html
vectorc => [c] a C compiler at http://www.codeplay.com
venari => project to provide software support for storing, accessing, and retrieving objects based on their semantics at http://www.mit.edu:8001/afs/cs.cmu.edu/project/venari/www/home.html
vend => [pl] at http://www.worldmaker.net/tavi/index.php?page=WorldMaker.Lang.Vend
vera => Virtual Entity of Relevant Acronyms at http://www.delorie.com/gnu/docs/vera/vera_toc.html
verifix => [cs] provably correct compilers at http://www.info.uni-karlsruhe.de/~verifix/
versioning in hypertext systems => [hypertext+versioning] at http://www.ics.uci.edu/~ejw/papers/survey.pdf
vfiasco => [os+fiasco] Verified Fiasco, a verifiably correct microkernel, at http://os.inf.tu-dresden.de/vfiasco/
vfpe => [vp+fp+ide] Visual Functional Programming Environment at http://www.starlane.org/vfpe/
vhll => [acro] Very High Level Language
vicc => VICC's Intended for Compiler Courses at http://www.cs.hut.fi/Opinnot/Tik-76.149/Aiemmat/99/harjoitustyot/VICC.html
view => [ui+constraints] UI based on direct manipulation and "presentation invariants" (constraints) at http://www.cwi.nl/~steven/views/ (apparently no source available)
vilpert => [vp+java] VIsual Language exPERT, an OO framework in Java for implementing visual languages at http://www.cs.helsinki.fi/u/aptuovin/vilpert/
vios => [os] Visual Internet OS, see http://www.howstuffworks.com/vios.htm
vipsi => [pl] at http://sourceforge.net/projects/vipsi/
viri => Visual Information Retrieval Interfaces at http://www.darmstadt.gmd.de/~hemmje/Activities/Viri/ http://www.pitt.edu/~cmlewis/nsfviri.html
virtmach => at http://lists.tunes.org/mailman/listinfo/virtmach
virtual life => [alife] at http://www.isd.atr.co.jp/~ray/VirtualLife/
virtuality => [lua] virtuality renderer at http://sourceforge.net/projects/virtuality/
viskpprog => [pl+kde] an easy-to-learn PL for KDE at http://www.viskprog.org http://freshmeat.net/projects/vk/
vislua => [lua+ide] a Lua IDE at http://sourceforge.net/projects/visuallua/
visopsys => [os] at http://www.visopsys.org
vl2000 => [vp] IEEE Symposium on Visual Languages at http://www.cs.orst.edu/~burnett/vl2000/index.html
vlavp => [vp] Visual Languages and Visual Programming, at http://cui.unige.ch/Visual/VP.TechRep.html
vlee => [lisp] Virtual Lisp Engine Emulator at http://sourceforge.net/projects/vlee/
vllinks => [vp+pls] visual languages links at http://www.cs.uno.edu/~markus/03_Resources/visual.html
vmgen => [vm] at http://www.complang.tuwien.ac.at/anton/vmgen/
vml => [pl+fp] a PL with hypothetical views, see VMlambda
vmlambda => [vml] a formalization and implementation of VML at http://www.yl.is.s.u-tokyo.ac.jp/~sumii/pub/
vmlangs => [java] at http://grunge.cs.tu-berlin.de/~tolk/vmlanguages.html
vnet => [vrml] a multi-user VRML environment at http://www.csclub.uwaterloo.ca/~sfwhite/vnet/
vocal => Validation Of Constraint programming through an Application in Logistics at http://www.clip.dia.fi.upm.es/~vocal/
vortex => [cecil+compilers] an optimizing compiler infrastructure for OO and other HLLs at http://www.cs.washington.edu/research/projects/cecil/
vos => Virtual Object System at http://interreality.org http://freshmeat.net/projects/vos/
vp => [acro] Visual Programming
vpl => [vp] Visual Programming Language, see http://dmoz.org/Computers/Programming/Languages/Visual/
vplas => [vp+pls] "Visual Programming Languages: A Survey" at http://www.cs.berkeley.edu/~maratb/cs263/
vshnu => [shell] a visual shell at http://www.cs.indiana.edu/~kinzler/vshnu/
vslisp => [lisp] a Lisp interpreter library at http://vslisp.sourceforge.net
vspl => [pl] at http://www.cl.cam.ac.uk/users/mr/VSPL.html
vtm => [cs] Virtual Turing Machine at http://www.nmia.com/~soki/turing/ - vtm2 at http://www.nmt.edu/~prcm/turing/
vv => [acro] Vice Versa
vvm => [vm] Virtual Virtual Machines project at http://www-sor.inria.fr/projects/vvm/
vw => [ui] Virtual World
w => [pl] at http://www.vttoth.com/w.htm
w3pal => [web] a system for the analysis of web sites at http://www.cs.rpi.edu/projects/pb/WWWPal/
w7 => [lc] at http://tunes.org/Review/VMs.html#lambda
waba => [java] a small, efficient and reliable Java VM aimed at portable devices, at http://waba.sourceforge.net
wadler => [ppl] Philip Wadler, CS researcher at http://www.cs.bell-labs.com/who/wadler/index.html
waterlang => [xml+pl] at http://www.waterlang.org http://dmoz.org/Computers/Programming/Languages/Water/
wb => [acro] Welcome Back
weave.net => [aop+dotnet] at http://www.dsg.cs.tcd.ie/?category_id=-26
webdav => [web] "Web-based Distributed Authoring and Versioning", a set of extensions to the HTTP protocol which allows users to collaboratively edit and manage files on remote web servers at http://www.webdav.org
webl => [pl] Web Language, imperative interpreted language, featuring built-in HTTP/FTP/HTML/XML support, service combinators and markup algebra, at http://www.research.digital.com/SRC/WebL/
weblog => [web] aka blog, a regularly updated list of links and commentary to interesting material on the WWW, usually self-published, see http://www.robotwisdom.com/weblogs/
webos => [web+os] OS services for wide area applications: resource discovery, global namespace, remote process execution, resource management, authentication and security. at http://www.cs.duke.edu/ari/issg/webos/
webshell => [pl+tcl] at http://websh.com
weird irc => [clim+irc] a simple IRC Client using CL and CLIM, at http://www.cliki.net/WeirdIRC
weird pls => [pls+list] weird programming languages list at http://members.tripod.com/rkusnery/weird.html
wget => [net] a network utility to retrieve files from the Net, at http://wget.sunsite.dk http://freshmeat.net/projects/wget/
whynewos => [tunes+fare] Fare's "Why a New OS" paper at http://tunes.org/papers/WhyNewOS/
wibni => [acro] Wouldn't It Be Nice If
wikipedia-esolangs => [eso+pl] at http://en.wikipedia.org/wiki/List_of_esoteric_programming_languages
wincvs => [cvs] a win95/nt cvs client at http://www.wincvs.org
winterp => [ui+pl] OSF/Motif WIDGET INTERPreter at http://sourceforge.net/projects/winterp/
wisdom => at http://www.unlambda.com/~james/lambda/lambda.txt
wizcell => [pl] a spreadsheet/cellular PL at http://www.cs.uno.edu/~markus/06_Research/wizcell.html
wm => [ui] Window Manager
wmlscript => [pl] at http://www.w3schools.com/wmlscript/default.asp
wno => [tunes+fare] see WhyNewOS
wo => [pl] Wholly Object at http://www.openwo.org
womble => [java] a lightweight tool for extracting object models from Java bytecode at http://sdg.lcs.mit.edu/womble/
work on patterns => [patterns] at http://www.cs.uni.edu/~wallingf/patterns/
wrapl => [pl] at http://wrapl.sourceforge.net
wrt => [acro] With Respect To
wtf => [acro] What The Fuck
wui => [ui] Web User Interface
wwid => [pbd+book] _Watch What I Do_ at http://www.acypher.com/wwid/
x => [pl+euphoria] "The Ultimate Toy Language", procedural PL, x->euphoria written in Euphoria, at http://homepages.paradise.net.nz/~jbabor/eu/x/intro.html
x++ => [pl+xml] at http://sourceforge.net/projects/xplusplus/
xasm => [theory] eXtensible Abstract State Machines at http://sourceforge.net/projects/a-s-m/
xc4j => [java] eXtensible Compiler for Java at http://sourceforge.net/projects/xc4j/
xduce => [pl+xml] a typed xml processing language at http://www.cis.upenn.edu/~hahosoya/xduce/
xe => [pl+lp] at http://www.cs.hut.fi/~enu/exbed/xe.html
xexpr => [pl+xml] xml expression language at http://www.w3.org/TR/xexpr/
xfs => [fs] SGI's open source'd 64bit journaling filesystem at http://oss.sgi.com/projects/xfs/
xgmml => [graph+xml] eXtensible Graph Markup and Modeling Language at http://www.cs.rpi.edu/~puninj/XGMML/
xgoogle => [irc] irc search engine at http://www.xgoogle.org/index2
xidek => eXtensible Interpreter DEvelopment Kit at http://www.parsifalsoft.com/examples/xidek/index.html
xjr => [xml+java+refl] XML to Java via Reflection at http://sourceforge.net/projects/xjr/
xlang => [pl] at http://freshmeat.net/projects/xlang/
xlogo => [logo+xml] Logo in XML at http://www.geocities.com/SiliconValley/Lakes/3767/xlogo-index.html
xmlambda => [pl+fp+xml] a functional PL for constructing and manipulating XML documents at http://www.cse.ogi.edu/~mbs/pub/xmlambda/ http://citeseer.nj.nec.com/meijer00xmlambda.html
xmlos => [os+xml] eXtensible Markup Language Operating System, egroup mlist at http://www.egroups.com/group/xmlos/
xmlpg => [xml] XML Parser Generator at http://sourceforge.net/projects/xmlpg/
xmlscript => [pl+xml] at http://www.xmlscript.org
xmlterm => [shell+xml] a cross between xterm and mozilla at http://www.xmlterm.org
xns => [xml] eXtensible Name Service, "an open protocol and open-source platform for universal addressing"
xol => [ai+xml] Xml-based Ontology exchange Language at http://www.ai.sri.com/~pkarp/xol/
xosl => [os] eXtended Operating System Loader, a full-featured free boot manager with GUI at http://www.xosl.org
xpl:1 => [pl+xml] eXtensible Programming Language at http://www.vbxml.com/xpl/
xpl:2 => [pl/i] a PL/I derivative at http://www.cs.toronto.edu/XPL/
xps => [mp] eXtensible Programming System at http://sourceforge.net/projects/extprosys/
xslam => eXplicit Substitutions Linear Abstract Machine at http://www.cs.bham.ac.uk/research/xslam/xslam.html
xt-ce => [emu+wince] a 80186 PC Emulator for Windows CE at http://www.xt-ce.com
xtc => [pl+c] eXTensible C at http://www.cs.nyu.edu/rgrimm/xtc/
xtract => [xml] a query language for XML documents at http://www.cs.york.ac.uk/fp/Xtract/xtract.html
xul2dhtml => [xml+ui] at http://sourceforge.net/projects/xul2dhtml/
xwt => [xml+ui] Xml Windowing Toolkit at http://www.xwt.org
y comb => [comb] the applicative order Y combinator in several languages at http://www.synthcode.com/lambda/combinators/
ya => [acro] Yet Another
yabl => [acro] Yet Another Burden Layer
yacas => [math] Yet Another Computer Algebra System at http://www.xs4all.nl/~apinkus/yacas.html
yaccviso => [MIA+yacc] a tool for visualizing Yacc grammars at http://pluto.tuwien.ac.at/~jjl/
yacvpt => [acro] Yet Another Crappy Visual Pseudo-Theory
yafl => [pl] at http://www.phidani.be/yafl/index.html
yafla => [acro] Yet Another Five Letter Acronym
yagni => [acro] You Ain't Gonna Need It
yahoo => [pl+oo+lp] Yet Another Higher-order Object-Oriented, at http://www.disi.unige.it/person/DelzannoG/yahoo.html
yakyak => [bison+lp] a preprocessor for Bison at http://www.brics.dk/yakyak/
yanfi => [acro] Yet Another Name For It
yasl => [pl] Yet Another Scripting Language at http://home.tiac.net/~cri/2001/newlang01.html http://home.tiac.net/~cri/2001/newlang02.html
yax => [pl+wvo] a small procedural language in Amiga E at ftp://ftp.plig.net/pub/aminet/dev/e/yax12.lha http://wouter.fov120.com/proglang/
yde venema => [ppl+logic] at http://turing.wins.uva.nl/~yde/
yf => [ppl+pe] yoshihiko futamura at http://www.futamura.info.waseda.ac.jp/~futamura/
ymmv => [acro] Your Millage May Vary
yoix => [pl] at http://www.research.att.com/sw/tools/yoix/
yoolex => Yet-anther Object-Oriented Lex, at http://sourceforge.net/projects/yoolex/
yorick => [pl] a PL with scientific visualization functions at http://dmoz.org/Computers/Programming/Languages/Yorick/
youtoo => [eulisp] an Eulisp implementation at http://www.maths.bath.ac.uk/~jap/ak1/youtoo/
yoyo => [pl+java] Java for kids at http://lcs.www.media.mit.edu/groups/el/projects/bongo/index.html
yplayer => [yacc] graphical analysis of yacc grammars at http://freshmeat.net/projects/yplayer/
z => [spec] pronounced "zed", formal specification notation, useful for describing computer-based systems, is based on Zermelo-Fraenkel set theory and first order predicate logic at http://www.afm.sbu.ac.uk/z/
zealos => [os] at http://zealos.n3.net
zlang => [java+xml+vp] at http://sourceforge.net/projects/zlang/
zmacs => [emacs+lispm] an Emacs-like editor for the LISPMs
zsh => [shell] at http://www.zsh.org