Miscellaneous Programs

• As part of our Research, Jan Hoffman and I have implemented a tool for analysing resource consumption of ML-like programs (called "RAML" for "Resource-Aware ML") RAML-Homepage raml-0.6.tar.gz examples
• There is an implementation of an http to tcp tunnel which I use to get an ssh connection, if the only thing available is http. It even works, if POST requests are not allowed by some "transparent" store-and-forward(!) proxy in between. It also turns out to be useful, to get a stable connection if your IP is changing rapidly.
• To keep the mailboxes on my server/desktop/laptop in sync, I use a set of simple scripts that work on maildirs pretty much like diff/patch. As transport layer I use uucp (over ssh), but the program is completly agnostic towards transport (it just provides a hook to the shell); anything able to transport files will do (including carrying USB sticks around). The shell archive maildirdiff-0.4.shar contains a file structure ready to stow(8). (Old versions: 0.3, 0.2, 0.1)
• There is a collection of tools that I use to work locally with cvs (for example if I'm working on my laptop and are currently offline so that I cannot access the cvs repository directly). This includes several successive commits to the same file, even though the repository is on a different machine and temporarily not available.
• On a similar topic, I use the following script to keep under version control sparsely scattered files.
• Speaking of version control, rcsjoin.py is a small script, that takes two rcs(1) files with common initial commit and generates a new one thereof that contains all the branches of either.
• I have two small tools to help reading plain text: one to redo the line breaking, and a multi-column version of more(1). textreadutils-1.0.tar.gz (port)
• Occasionally I suggest to have the second hand on an analogue watch slowed down by a factor of 12 so that one can use it, to properly read of the minutes. If you want to get an impression what that would look like, here is the appropriately patched x11-clocks/tclock port (which calls itself tclock-min, so that you can install both clocks in parallel): tclock-min.shar.
• Finally, you might also be interested in (the public part of) the ports collection (shar) used on our Linux server. It is made for GNU make, uses stow as packaging tool, and can be used completely in user land, if needed, e.g., if you have to install stuff in your home directory on a machine where you disagree with the system administrator. (automatically updated daily)

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

SHA256 (raml-0.6.tar.gz) = cead58bc972e0dd545fc3a8f19f2faee6b84df28c28653e4707aa22e5a3de8dc

SHA256 (maildirdiff-0.4.shar) = 42678f10581e93f923c7dd288d4982fd0c024446f512b2dab141a2260e427494
SHA256 (maildirdiff-0.3.shar) = 977592f98caca525204aa0f9c2534be406c74f497044cd46d21a6766d9456aea
SHA256 (maildirdiff-0.2.shar) = 72297782b83cb60047dd6555afb8beca89576564e5d20713bca92ae90d2f082b
SHA256 (maildirdiff-0.1.shar) = fc03dc124b094aeb4b620825577a2a482c4064e4635ad80755b45f907cfc5d47

SHA256 (rcsjoin.py) = 79599b3f3e2a4ee31b400685840bf3be04f2b2a7003551f2c94e0805237ff674

SHA256 (textreadutils-1.0.tar.gz) = e3a2b21182630d7121426df31fe892c6133b86d7d5a1840c2e00170437fc8ffe
SHA256 (textreadutils.shar) = 479ffcdd1aa981bf26e79d5ccdf6b5d75b5568f4cde70c0ab44448cfea6147fb

SHA256 (tclock-min.shar) = 7ec367e70071f014840d4b3394a01598435c8217b5e5f323c39276b54682d147
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.18 (FreeBSD)

iD8DBQFO5P3tPxXIL8G5qRwRAgB1AJ0VzJEeroxnTGI/cVtQktAD5WOahgCgqKnD
EkcknJSMBVjjqJc9vKNDPW8=
=86I7
-----END PGP SIGNATURE-----

$Date: 2011/12/11 20:00:03 $