🏅 A domain-specific language for trustworthy JIT implementation - View it on GitHub