DamianVCechov ported picoLibSdk for picocalc:
for rp2350: PicoLibSDK_for_Linux/!Clockwork20 at Linux-mode · DamianVCechov/PicoLibSDK_for_Linux · GitHub
for rp2040: PicoLibSDK_for_Linux/!Clockwork10 at Linux-mode · DamianVCechov/PicoLibSDK_for_Linux · GitHub
For the time being, I found only the binaries, but maybe it can be compiled with certain options.
There are also a few games….
If you have already uf2loader, you have erase the flash when insert your sdcard with this content.
Quite impressive!