hyperpolymath
Bidirectional ABI bridge: Idris 2 ↔ Any Language. Stable calling conventions, memory layout, cross-platform binary interface via Zig.