Interesting, the ink repo still states that codex is using it:

    Who's Using Ink?

    Codex - An agentic coding tool made by OpenAI.

I guess they had initial versions written in TS?

UPD. They switched 3 months ago.