This is a clone of Poly/ML which contains the extra branch successful-decompile. See the original or main website: - View it on GitHub