Thank you.
But that's just Arduino, i.e. high level compatibility. You have a setup() and a loop() and the same way to do I/O, but not the same underlying instruction set.
The chips on these guys are regular ARM cortex uCs.
They might be just barely fast enough to do real-time emulation of the AVR INSNs though ;)