Ja, die "Aseba" genannte Programmierumgebung läuft unter OSX. Es gibt sie auch für Linux Android und Windows. Der direkte Link zur Mac-Version lautet:
https://www.thymio.org/de:macinst...
Dort wird auch auf die Warnmeldung hingewiesen, die bei der Installation auftauchen kann, weil es von nicht durch Apple verifizierten Entwicklern stammt.