Does anyone know if the author completed other projects in Ada (or another language)? I'd be interested in reading some code as well as the specs.