Parser for the .ali (Ada Library Information) files generated by GNAT
A Web browser with safety focus
Simulation of a two-channel Bell test, with closed-form proofs
Ada contributions : demos of GTKAda, binding to PCRE
Cryptfile encrypts small files (sub 2 MB) for secure transfer.