Until now, a small number of libraries are available, and they have been developed for my own needs, and/or compiler testing, so they are not always versatile.
Excepted for rtl.slb, float.slb and lcd.slb (which are directly written in assembly language) each library x is written in C, and related to 3 files:
Sources libraries are installed in /usr/share/cpik/<version>/lib and headers
in /usr/share/cpik/<version>/include.
However, source libraries generated from C files are not distributed because they depends on compiler and run time code version. You need to recompile the source code yourself.
As the compilation is really very fast, I generally include the source code of the libraries I use in my pikdev projects, so they are compiled with the rest of the application.