Rellic[0] is a decompiler that uses a similar, more modern approach to turn LLVM IR into goto-free C code

[0]: https://github.com/lifting-bits/rellic