* un SDK officiel pour le C/C++, c'est improbable. Ca fait cinq ans que TI montre une fermeture de plus en plus grande de leurs machines.
* un SDK pour la Nspire, ça fait plus d'un an qu'il y en a un: Ndless utilisant des toolchains ARM non patchées
* un SDK pour la Nspire CX, ça dépendra de ce qu'on peut trouver comme moyens de prendre l'accès à du code natif sur Nspire CX.