• Читаем почту разными клиентами
• Русская раскладка для французской клавиатуры
• Патч для torsmo позволяющий проверять локальный почтовый ящик Maildir на новые/прочитанные письма

• Интервью Jean-Raymond Abrial для журнала 01net о формальных методах. Дж. Маккарти (1961 год): "Вместо того, чтобы испытывать программы до тех пор, пока они не окажутся отлаженными, нужно доказывать, что они имеют желаемые свойства".
• Неполный перевод (обновлено 31.12.2006) книги "Développement d'applications avec Objective CAML". "Небывает хороших языков программирования, бывают хорошие программирсты".

N.B. В сети существует альтернативный проект по переводу документации о языке Ocaml.