Version 0.0.1 of marsupial/wombat has successfully run on one specific program ("print 42").
At this point I should say a lot more and there should be docs, etc. But all that will have to wait.
The code is at: https://github.com/rks987/marsupial
The next version, 0.0.2, will aim to run the factorial program backwards. Then I'll retire unless I find some collaborators.
The compiler is in python 3. All the bugs would have been found by type checking. [Update: 0.0.2 development have revealed a few "real" logic bugs, but I certainly plan for the actual compiler to use python type-checking.]