I can provide a automated detection of privacy-leaks in Java classes using a custom static analysis tool.
Algorithms for pronunciation-aware searches in dictionaries and other databases.
I have an application for finding wave-induced cracks in video inspections of sub-sea structures available for interested customers.
A short screencast introducing the viewers to some of the benefits of how
case statements work in Ada, and how the static coverage checking in the compiler helps preventing errors. The presentation includes some Ada 2012 features and also gives a basic introduction of subtypes (subsets). (Alternative version.)
An Open Source tool for generating command-line interfaces to Ada packages.
The declarations of subprograms in the public part of an Ada package specification can be seen as a declaration of how you are supposed to call the features implemented in the package. This tool translates an Ada package specification into ready-to-compile command-line interface for the package.
An Open Source sound library for Ada providing recording and playback support.
An appendix to the book
Understanding Unix/Linux Programming making it Ada-based instead of C-based.
Are you tired of having all kinds of people tracking which links you click, and which pages you visit on the web? My HTTP redirector attempts to solve this problem by providing you with a local, non-logging replacement for some of the trackers out there. The tool is Open Source and written in Ada.
An Open Source Ada package wrapping a POSIX file descriptor (as declared in the POSIX.IO package from the POSIX Ada API) as an Ada stream. This allows you to stream Ada objects to/from any kind of file opened with the POSIX Ada API using just the standard stream attributes of Ada.
If you have questions or requests, please send them to