カールスルーエ工科大学ではc-xscと付随するライブラリを開発した。