Chocoada is an Ada to lisp translator/compiler.
A recovery tool for lzip files.
A standards compliant RTOS with a small footprint.