There's a devkit for all of Korg's stuff too.
There sure is, and folks are doing some crazy things with it ..
For example: the Bent[1] and Turbo[2] synths from Sinevibes[3] are incredible.
A perfect example of how the platform was embraced by user-developers and pushed into extremely creative and inspiring territory .. surely other manufacturers will start to take note, and maybe someone, some day, will start shipping their instruments with compilers-onboard, to .. you know .. make it easier for kids to keep the bending going on ..
[1] - https://www.sinevibes.com/korgbent/
I did some bits with gen-1 logue-sdk, the NTS-1 could have been a platform like the OP but the processor is severely underpowered for the price in today's standard and discontinued shortly after.