Sverx rajoute des petits morceaux sur le DevKitSMS et c'est ± le seul kit réellement accessible à tous
Z88dk a pas mal évolué, perso j'ai juste utilisé les premieres versions et c'était pas folichon (optimisation à la ramasse, SDCC c'était pareil), mais c'était y'a pas mal d'années.
Perso j'utilise toujours ma propre lib mix SDCC + WLA-DX (non dispo publiquement)
Apres tout dépend de ce que tu attends de ces lib, si tu veux optimiser (vitesse et/ou place) ou faire des trucs borderline, le C restera toujours loin derriere l'ASM.
Les compilos n'étant pas vraiment magique et dépendent de la façon de coder en C.