Software list (algorithms)
Automatic theorem proving using Gentzen sequents
Tool written in C++.
Polybius
Simple application that allows to encrypt/decrypt any data (within given encryption alphabet) using Polybius method. Source code is available in C (also C++ and PASCAL) and well documented.
