GitHub repository: kiko0307/libtock-c
Description: Userland apps for Tock written in C and C++