A secure embedded operating system for microcontrollers
OpenSK is an open-source implementation for security keys written in Rus...
Tock, the open source conversational AI toolkit.
Exploring what happens when you put computers on sign posts.
Userland apps for Tock written in C and C++
imix Low-Power IoT Research Platform