Escale is a Newton Connection Utility for Mac OS X. It features AddressBook synchronization, package installation, and the use of the Mac Keyboard to echo letters on the Newton. It can connect to a Newton via the serial line, AppleTalk, and TCP/IP with Rendezvous. Escale comes with the full source code of the Desktop Connection Library (DCL).
bingo-cards is a program to create number, word/letter, and picture bingo cards. These cards can be used for entertainment in the car, in a classroom (for example, to teach the element symbols for the Periodic Table), or just with your kids. You could also create bingo cards with little pictures of everyday objects, then call the names out in Spanish, French, Italian, or German (or whatever you fancy).
Maude is a high-performance reflective specification and programming language for a wide range of applications. Besides supporting order sorted equational algebra (in the style of OBJ3), it also supports a more general rewriting logic which need not be confluent or terminating. In this way, it is particularly suited for modeling concurrent object- oriented computation. It also includes various environments such as a model checker and an interactive theorem prover.