Sources of my program, now on GitHub