Software
Here you can find a few programs and utilities. Except for rlwrap, they all may require some tinkering in their respective implementation languages (C, perl, elisp). rlwrap is GPL, the rest are in the public domain
-
MIDI input mode for emacs
This site in Serbo-Croatian
rlwrap
rlwrap is a wrapper that uses the GNU readline library
to allow the editing of keyboard input for any other command. Input history is kept between invocations, separately
for each command; history completion and search work as in bash and completion word lists can be specified on the command line.
rlwrap compiles and runs on most Unix(-like) systems, including cygwin.
-
rlwrap-0.37.tar.gz (248 k)
p5httpd
Tiny HTTP server written in perl, especially fast and efficient when serving perl
CGI scripts. The distribution contains a number of example .cgi
scripts and a slightly adapted copy of Ward Cunningham’s QuikiWiki -
but one single file (p5httpd) is all you really need.
p5httpd should work on any machine with TCP sockets and perl
-
p5httpd-0.07.zip (75 k)
-
the older and even lighter p5httpd-0.04.zip (16 k)
Emacs MIDI-input mode
An Emacs minor mode and a small C program for typing note names (in GNU LilyPond format) with a MIDI keyboard. One can bind text or Emacs functions to "shifted" notes (i.e. notes you play very loudly or together with the hold pedal). There are special functions for fast typing of repeated patterns (dotted rhythms or repeated articulations).
This mode should work with emacs 20.0 or newer, and on any machine with an ANSI C compiler and a unix-style MIDI device (/dev/midi)
-
midi-input-0.04a.tgz (17 k)
prover9 helpers
-
A (very minor) major emacs mode to edit prover9 (and
mace4) input files: prover9-mode.el -
A
perlscript to cross-reference prover9 output: prover9_output2html, example output
Comments, bug reports, suggestions
Send them to Hans Lub (hanslub42@gmail.com)