Enter the ExtraCore library for Arduino, a software library that turns two or more Arduinos into a multi-core microcontroller with more pins than you’ll ever need. The ExtraCore library comes ...
Now there’s plenty of 32-bit support in the Arduino ... pins, even though this a 3.3 V part. You can find a lot more information on this wiki. The board is a clone–more or less–of a Maple Mini.