This is a Pencil CC compiler from the EU CARP project.
You can get it via CK:

* ck pull repo:reproduce-carp-project