My (planned) graduate project on invertible computation. - View it on GitHub