![[ICO]](/icons/blank.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| typewitnesses-singespace.pdf | 2011-01-19 03:53 | 522K | |
| thesistalk.pdf | 2008-10-14 21:25 | 6.4M | |
| thesis.pdf | 2009-04-06 20:22 | 516K | |
| speedrunning-intro.html | 2017-03-31 17:30 | 728 | |
| mm2tracker/ | 2019-02-16 19:47 | - | |
| metconst.zip | 2024-10-03 08:57 | 201M | |
| log-debug.zip | 2019-05-20 22:34 | 20M | |
| log-debug.7z | 2019-05-20 22:28 | 10M | |
| jsMath/ | 2010-09-02 06:03 | - | |
| jsMath-fonts-1.3.zip | 2010-09-02 06:00 | 7.5M | |
| jsMath-3.6e/ | 2010-09-02 06:03 | - | |
| jsMath-3.6e.zip | 2010-09-02 06:00 | 284K | |
| isabelle-induction7.png | 2015-07-10 04:37 | 108K | |
| ips/ | 2020-05-21 07:48 | - | |
| generated.tar.gz | 2010-12-29 02:24 | 8.2K | |
| clovers.jpg | 2019-10-17 05:04 | 17M | |
| cloveregg/ | 2023-10-05 02:57 | - | |
| cheat.pdf | 2021-03-02 06:08 | 75K | |
| book.tar.gz | 2010-12-29 02:27 | 9.4K | |
| PongInstaller.msi | 2016-06-25 03:25 | 2.8M | |
| HexGrid/ | 2016-09-20 06:25 | - | |
| Haskell.org-2011.pdf | 2012-03-19 18:20 | 25K | |
| HTML5Pong/ | 2016-08-23 03:11 | - | |
| BeeHex.zip | 2017-01-17 01:12 | 3.9M | |
| 6502.pdf | 2014-04-02 23:20 | 1.3M | |