I worked with them on that a few years back. I think they're still using haxe on some smart device projects but not all, sadly (easier to find devs with a typescript codebase..).

I don't think Nicolas worked with them, though. I'm one of Haxe contributors but I don't suppose you were thinking of me.