Natch is the natural companion of iNatch. It is a program solving proof games that I have also written. It is also distributed under the GNU GPL license.
A remarkable resource for retrograde analysis is The Retrograde Analysis Corner.
My home page (in french) lists my other Freeware and Shareware projects.