C library that assists in studying and exploring the various formalizations of computability and effectively calculable partial functions. - View it on GitHub