Added more projects

counter conversion, divisibility, both turing and various counter
machines