Really interesting, thanks for sharing!
I know it almost sounds crass, but you should consider letting an LLM take a crack at transpiling the code. Source to source translations are one of the most widely agreed upon strengths of LLMs.
I know it almost sounds crass, but you should consider letting an LLM take a crack at transpiling the code. Source to source translations are one of the most widely agreed upon strengths of LLMs.
What you need is differential, property testing. I’m sure it would work for you (you can skip the first half as you already have the source):
https://reorchestrate.com/posts/bringing-a-warhammer-to-a-kn...