Index of /~knuth/programs

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] 15puzzle-korf0.w        22-Aug-2005 21:13   10K  
[   ] 15puzzle-korf1.w        22-Aug-2005 21:13   40K  
[   ] DonKeys.icns            09-Apr-2005 15:03   31K  
[   ] DonKeys.keylayout       10-Apr-2005 01:38   41K  
[   ] DonKeysExtended.icns    10-Apr-2005 00:07   38K  
[   ] DonKeysExtended.keyl..> 09-Apr-2005 16:43   73K  
[   ] achain-all.w            30-Aug-2011 19:34   11K  
[   ] achain-decode.w         16-Sep-2005 11:44  427   
[   ] achain0.w               19-Mar-2007 18:57   10K  
[   ] achain1.w               19-Mar-2007 18:57   10K  
[   ] achain2.w               19-Mar-2007 18:59   13K  
[   ] achain3.w               19-Mar-2007 18:59   12K  
[   ] achain4.w               30-Aug-2011 19:33   16K  
[   ] advent.w.gz             26-Jan-2010 21:16   56K  
[   ] antislide-nocorner.c..> 08-Dec-1996 21:29  671   
[   ] antislide.w.gz          08-Dec-1996 21:29  4.9K  
[   ] antislide3.w.gz         08-Dec-1996 21:29  7.9K  
[   ] bdd11.w                 12-Mar-2008 22:41   90K  
[   ] bdd12.w                 05-Sep-2008 09:35   22K  
[   ] bdd14.w                 22-Sep-2011 19:52  112K  
[   ] bdd15-coudert-ops-tr..> 04-Oct-2008 21:56   13K  
[   ] bdd15-coudert-ops.ch    04-Oct-2008 21:56   13K  
[   ] bdd15.w                 06-Nov-2008 10:05  112K  
[   ] bddl-rgrowth.w          05-Sep-2008 09:35  1.3K  
[   ] boolchains.tgz          24-Mar-2006 12:10   24M  
[   ] celtic-paths.w          19-Aug-2010 19:47   16K  
[   ] celtic-picture.1        19-Aug-2010 19:47  4.6K  
[   ] celtica.mf              19-Aug-2010 19:47  8.9K  
[   ] celtica13.mf            19-Aug-2010 19:47  198   
[   ] celticb.mf              19-Aug-2010 19:47  8.9K  
[   ] celticb13.mf            19-Aug-2010 19:47  198   
[   ] color-mode.el           17-Aug-2000 13:34  8.5K  
[   ] dagenum.w               14-Dec-2000 18:14   19K  
[   ] dance-random.ch         07-Jun-2007 11:09  4.0K  
[   ] dance.w                 07-Jun-2007 11:09   12K  
[   ] decagon-color.ch.gz     08-Dec-1996 21:29  2.6K  
[   ] decagon-colorstar.ch.gz 08-Dec-1996 21:29  2.8K  
[   ] decagon-star.ch.gz      08-Dec-1996 21:29  465   
[   ] decagon.w.gz            08-Dec-1996 21:29  9.0K  
[   ] deco.5                  24-Dec-2001 10:29   11K  
[   ] dimacs-to-sat.w         13-May-2012 20:25  2.2K  
[   ] domination.w            14-Aug-2003 22:01  3.9K  
[   ] dot-diff-eps.ch         25-Sep-1998 14:55  1.1K  
[   ] dot-diff.w              10-Jun-1998 19:20   12K  
[   ] dragon-calc.w           24-Sep-2010 00:05   17K  
[   ] embed.w                 22-Jun-2005 07:37   15K  
[   ] erection.w              14-Mar-2003 21:06  6.5K  
[   ] euler-trail.w           15-Jun-2010 15:47  1.6K  
[   ] fchains4x-dontcares.ch  02-Feb-2006 23:04  1.1K  
[   ] fchains4x.w             06-Oct-2010 12:01  5.8K  
[   ] fog2mf.w                20-Feb-1997 15:04  5.2K  
[   ] francon.w               22-Feb-2005 04:47  6.1K  
[   ] frng.f                  15-Aug-2012 21:17  2.7K  
[   ] frng.f-old              03-Oct-2000 15:56  2.8K  
[   ] frngdb.f                15-Aug-2012 21:16  2.7K  
[   ] frngdb.f-old            05-Jan-2001 11:45  3.2K  
[   ] garsia-wachs.w          18-Sep-2004 20:29  3.1K  
[   ] gb_types.w              28-Aug-2003 13:07  155   
[   ] gdance-cutoff.ch        29-Nov-2000 12:51  2.0K  
[   ] gdance.w                06-Dec-2006 10:19   16K  
[   ] gpc-install-problems.gz 01-May-2000 20:00  6.2K  
[   ] gpcbug1.tar.gz          01-May-2000 18:07   17K  
[   ] gpcbug2.tar.gz          01-May-2000 00:24  7.2K  
[   ] grayspan.dvi            28-Aug-2003 13:07   37K  
[   ] grayspan.idx            28-Aug-2003 13:07  1.5K  
[   ] grayspan.log            28-Aug-2003 13:07  808   
[   ] grayspan.ps             28-Aug-2003 13:08  114K  
[   ] grayspan.scn            28-Aug-2003 13:07  688   
[   ] grayspan.toc            28-Aug-2003 13:07  181   
[   ] grayspan.w              28-Jun-2004 22:27   13K  
[   ] grayspspan.dvi          28-Aug-2003 13:07  117K  
[   ] grayspspan.idx          28-Aug-2003 13:07  4.6K  
[   ] grayspspan.log          28-Aug-2003 13:07  943   
[   ] grayspspan.ps           28-Aug-2003 13:08  232K  
[   ] grayspspan.scn          28-Aug-2003 13:07  2.0K  
[   ] grayspspan.toc          28-Aug-2003 13:07  383   
[   ] grayspspan.w            28-Jun-2004 22:27   39K  
[   ] halftone.w              07-Jun-1998 20:43   11K  
[   ] ham.w                   14-May-2001 09:26  4.6K  
[   ] hamdance-random.ch      26-Jan-2007 00:00  5.7K  
[   ] hamdance.w              23-Mar-2010 23:40   24K  
[   ] horn-count.w            23-Aug-2005 08:19   12K  
[   ] hull.w                  30-Jul-1999 10:20  5.8K  
[   ] hulld-ngon.ch           30-Jul-1999 10:20  2.2K  
[   ] hulld-square.ch         30-Jul-1999 10:20  1.2K  
[   ] hulld-unif.ch           30-Jul-1999 10:20  932   
[   ] hulls.w                 30-Jul-1999 10:20  4.4K  
[   ] hullt.w                 30-Jul-1999 10:20  9.1K  
[   ] hulltr.w                30-Jul-1999 10:20   11K  
[   ] hwb-fast.w              25-Oct-2008 18:47  9.8K  
[   ] hyperbolic.mp           20-Oct-2005 09:42   19K  
[   ] hyperbolic.w            20-Oct-2005 09:42   13K  
[TXT] jensen.txt              14-Mar-2001 23:04  9.0K  
[   ] jindex.w.gz             25-Apr-1996 14:17  4.8K  
[   ] kepler.mp               22-Feb-2005 04:51  1.4K  
[   ] koda-ruskey-old.w       29-May-2001 23:58   18K  
[   ] koda-ruskey.w           12-Jun-2001 21:19   15K  
[   ] krom-count.ch           17-Aug-2005 15:40  1.0K  
[   ] lagfib.w                29-Jul-1997 15:11  2.6K  
[   ] li-ruskey.1             16-Jun-2001 21:16  6.8K  
[   ] li-ruskey.mp            16-Jun-2001 21:16  699   
[   ] li-ruskey.w             21-Jun-2001 20:24   46K  
[   ] lib-64                  07-Jun-1998 08:54  5.5K  
[   ] lib-128                 07-Jun-1998 08:54   16K  
[   ] lib-rot                 07-Jun-1998 08:54   16K  
[   ] lin-64                  07-Jun-1998 08:54  5.5K  
[   ] lin-128                 07-Jun-1998 08:54   16K  
[   ] lin-rot                 07-Jun-1998 08:54   16K  
[   ] linked-trees.w          29-Mar-2005 23:26  2.2K  
[   ] lisa-64                 07-Jun-1998 08:53  5.5K  
[   ] lisa-128                07-Jun-1998 08:53   16K  
[   ] lisa-512                07-Jun-1998 08:53  222K  
[   ] lisa-rot                07-Jun-1998 08:53   16K  
[   ] litprog.tgz             05-Jun-2006 11:32   16K  
[   ] lp.w                    07-Aug-2005 13:03   23K  
[   ] macmahon-triangles-s..> 01-Jun-2006 12:43  2.1K  
[   ] maxcliques.w            20-Nov-2008 17:53  8.2K  
[   ] mcgregor-graph-reord..> 08-Dec-2012 09:24  814   
[   ] mcgregor-graph.w        08-Dec-2012 09:24  3.2K  
[   ] mdance-random.ch        26-Jan-2007 00:00  4.7K  
[   ] mmix-20020615.tar.gz    26-Nov-2002 20:40  298K  
[   ] mmix-20021126.tar.gz    26-Nov-2002 20:44  297K  
[   ] mmix-20030622.tar.gz    22-Jun-2003 22:18  298K  
[   ] mmix-20040227.tar.gz    27-Feb-2004 23:02  298K  
[   ] mmix-20040710.tar.gz    10-Jul-2004 19:59  298K  
[   ] mmix-20041014.tar.gz    14-Oct-2004 23:13  298K  
[   ] mmix-20050331.tar.gz    31-Mar-2005 18:15  298K  
[   ] mmix-20050922.tar.gz    22-Sep-2005 12:31  298K  
[   ] mmix-20060324.tar.gz    24-Mar-2006 22:36  298K  
[   ] mmix-20060918.tar.gz    18-Sep-2006 20:47  298K  
[   ] mmix-20081027.tar.gz    27-Oct-2008 20:44  298K  
[   ] mmix-20090205.tar.gz    05-Feb-2009 22:34  298K  
[   ] mmix-20090321.tar.gz    21-Mar-2009 22:46  298K  
[   ] mmix-20100106.tar.gz    06-Jan-2010 22:09  298K  
[   ] mmix-20100311.tar.gz    11-Mar-2010 22:07  298K  
[   ] mmix-20110305.tar.gz    05-Mar-2011 08:59  299K  
[   ] mmix-20110420.tar.gz    20-Apr-2011 15:40  299K  
[   ] mmix-20110605.tar.gz    05-Jun-2011 08:41  299K  
[   ] mmix-20110719.tar.gz    19-Jul-2011 21:33  300K  
[   ] mmix-20110831.tar.gz    31-Aug-2011 13:06  300K  
[   ] mmix-mem.w              19-Jul-2011 21:59  3.2K  
[   ] mmix99.tar.gz           07-Apr-2000 14:21  293K  
[   ] my6x13-ISO8859-1.bdf    20-Dec-2007 23:36   28K  
[   ] my6x13B-ISO8859-1.bdf   20-Dec-2007 23:36   28K  
[   ] nnncmbx.mf              29-Jun-2010 09:05  3.1K  
[   ] obdd.w.gz               06-May-1996 14:43  8.9K  
[   ] polyenum.w              14-Dec-2000 18:12   34K  
[   ] polyiamonds.w           30-Jul-1999 10:51  5.2K  
[   ] polynum-restart.ch      01-Jan-2001 00:09  2.4K  
[   ] polynum.w               04-Jan-2001 14:40   79K  
[   ] polyomino.mp            01-Jan-2001 00:09  1.6K  
[   ] polyominoes.w           30-Jul-1999 10:51  5.9K  
[   ] polyslave-restart.ch    01-Jan-2001 00:09  1.2K  
[   ] polyslave.w             01-Jan-2001 00:09   17K  
[   ] polysticks.w            30-Jul-1999 10:51  5.9K  
[   ] posets.w                03-Nov-2005 19:16  5.5K  
[   ] posets0.w               03-Nov-2005 19:16  1.1K  
[   ] prime-sieve-boot.ch     17-May-2006 11:12  1.7K  
[   ] prime-sieve-sparse.w    24-May-2006 09:08   24K  
[   ] prime-sieve.w           23-May-2006 10:12   12K  
[   ] queens.w                30-Jul-1999 10:51  1.3K  
[   ] ran-prim.w              29-Oct-1998 11:18  2.1K  
[   ] reflect.ch.gz           28-Jun-1996 14:37  861   
[   ] reflect.w.gz            28-Jun-1996 14:37  4.7K  
[   ] rng                     03-Sep-2002 08:11   13K  
[   ] rng-double              03-Sep-2002 08:09   14K  
[   ] rng-double.c            15-Aug-2012 19:50  4.1K  
[   ] rng-double.c-old        09-Apr-2001 15:55  3.9K  
[   ] rng.c                   15-Aug-2012 19:50  3.9K  
[   ] rng.c-old               09-Apr-2001 15:55  3.7K  
[   ] rost.w                  27-Oct-1998 14:16  2.6K  
[   ] sand.w                  13-Dec-2004 20:27  2.2K  
[   ] sand33.w                04-Jan-2005 05:05  3.6K  
[   ] sat-to-dimacs.w         13-May-2012 20:25   13K  
[   ] sat0.w                  16-Feb-2013 10:11   30K  
[   ] sat0w.w                 16-Feb-2013 10:11   24K  
[   ] sat3.w                  05-Nov-2011 21:54   38K  
[   ] sat8.w                  11-Feb-2013 22:39   29K  
[   ] sat9.dvi                17-May-2012 11:15  106K  
[   ] sat9.idx                17-May-2012 11:15  4.8K  
[   ] sat9.log                17-May-2012 11:15  956   
[   ] sat9.scn                17-May-2012 11:15  2.2K  
[   ] sat9.toc                17-May-2012 11:15  288   
[   ] sat9.w                  17-May-2012 11:15   38K  
[   ] sat10.w                 16-Feb-2013 10:11   34K  
[   ] sat11-check-eptr.ch     06-Nov-2012 10:07  918   
[   ] sat11-sort.ch           18-Oct-2012 22:06  1.7K  
[   ] sat11.w                 28-Apr-2013 00:18  126K  
[   ] sat11k.ch               28-Apr-2013 00:09   44K  
[   ] sat11x.w                16-Oct-2012 22:20  142K  
[   ] sat12-erp.w             03-Mar-2013 20:07   17K  
[   ] sat12.w                 21-Apr-2013 01:08   66K  
[   ] sat13-orig.w            16-Apr-2013 16:31   98K  
[   ] sat13.w                 04-May-2013 07:53  102K  
[   ] sdthresh-dual.ch        14-Sep-2007 12:11  1.3K  
[   ] sdthresh.w              14-Sep-2007 12:11  2.4K  
[   ] setset-all.w            30-Apr-2001 16:45   34K  
[   ] setset-random.w         24-Mar-2001 13:49  1.4K  
[   ] setset.w                26-Feb-2001 21:51   19K  
[   ] sgbfig.mp.gz            11-Feb-1999 13:09   12K  
[   ] sham.w                  16-May-1999 22:45  6.2K  
[   ] simpath-cycles.ch       22-Dec-2008 18:07  181   
[   ] simpath-directed-cyc..> 22-Dec-2008 18:07   11K  
[   ] simpath-ham-any.ch      22-Dec-2008 18:07  1.1K  
[   ] simpath-ham.ch          22-Dec-2008 18:07  283   
[   ] simpath-reduce.w        22-Dec-2008 18:07  4.0K  
[   ] simpath.w               22-Dec-2008 18:07   12K  
[   ] sliding.w               30-Jan-2009 22:17   40K  
[   ] spgraph.w               16-Dec-2003 18:26  2.7K  
[   ] spiders.w               24-Dec-2001 10:25   33K  
[   ] spspan.1                28-Aug-2003 13:08  3.6K  
[   ] spspan.2                28-Aug-2003 13:08  8.9K  
[   ] spspan.dvi              28-Aug-2003 13:08   55K  
[   ] spspan.idx              28-Aug-2003 13:08  2.0K  
[   ] spspan.log              28-Aug-2003 13:08  1.0K  
[   ] spspan.mp               28-Aug-2003 03:14  2.3K  
[   ] spspan.mpx              28-Aug-2003 13:08  5.7K  
[   ] spspan.ps               28-Aug-2003 13:08  162K  
[   ] spspan.scn              28-Aug-2003 13:08  870   
[   ] spspan.toc              28-Aug-2003 13:08  277   
[   ] spspan.w                28-Jun-2004 22:27   23K  
[   ] squaregraph-rand.w      27-Oct-2011 16:55  2.1K  
[   ] squaregraph.w           14-Aug-2011 23:05   19K  
[   ] straighten.w            14-Aug-2003 22:01   11K  
[   ] strongchain.w           12-Aug-2000 18:25   11K  
[   ] sudoku.w                27-Jan-2007 17:33  2.4K  
[   ] tcalc.w.gz              22-Apr-1999 12:58   12K  
[   ] tcb.tex                 06-Dec-2006 09:48  5.3K  
[   ] tex.web                 27-Jul-1982 02:09  888K  
[   ] texmf-sail.tgz          27-May-2005 14:39  439K  
[   ] tictactoe.tgz           08-Apr-2006 23:15   12K  
[   ] togpap.w                12-Jun-1998 17:37   13K  
[   ] topswops-fwd.w          26-Aug-2001 09:08  2.1K  
[   ] topswops.w              22-Aug-2001 12:14  874   
[   ] tpk.i                   05-Nov-2010 11:11   13K  
[   ] tpk.in                  13-Mar-2003 14:16  292   
[   ] tpk.out                 13-Mar-2003 14:16  300   
[   ] treeprobs.w             08-Dec-2011 10:28  9.2K  
[   ] ttt.tgz                 12-Dec-2008 11:39   66K  
[   ] ulam-longlong.ch        27-Sep-2006 19:51  1.6K  
[   ] ulam.w                  28-Sep-2006 12:59  4.2K  
[   ] unavoidable.w           06-Jul-2003 20:55  3.5K  
[   ] unavoidable2.w          19-Aug-2003 23:12  3.6K  
[   ] vacillate.w             06-May-2005 23:36  4.2K  
[   ] viennot.w               05-Dec-2006 17:01   12K  
[   ] xgdance.w               29-Nov-2000 12:51   16K  
[   ] yplay.w                 10-Apr-2008 11:27  1.5K  
[   ] zeilberger.w            05-Dec-2006 21:33   12K
Apache/2.0.47 (Unix) WebAuth/3.2.0 mod_ssl/2.0.47 OpenSSL/0.9.7a PHP/4.3.2 Server at www-cs-faculty.stanford.edu Port 80