The C source code in the GitHub looks... Interesting. At least the "fixpoint" directory.