[krapp]

It says they're using "CosmiC", which seems like it might be a fork of HolyC, but Google gives me nothing but the repo.