A secure embedded operating system for microcontrollers

OpenSK is an open-source implementation for security keys written in Rust that supports both FIDO U2F and FIDO2 standards.

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++

Tool for programming Tock onto hardware boards.

imix Low-Power IoT Research Platform

Software bootloader for boards running Tock.

Ports of Tock for STM32 chips and discovery boards

Docker and Docker-Compose implementation for Tock.

React component to embed Tock chatbots into Web interfaces.

Tock bot example using Kotlin and Integrated mode, implementing stories over an open data API.

Tock client to build conversational stories using Nodejs.

An IoT development module that supports the Tock operating system.

Tock OS website

Optional part of the Tock toolkit based on Stanford CoreNLP library

An out-of-tree port of Tock to the PineTime smart watch

Kubernetes implementation and resources for Tock.

🕛 TickTock Wear adds a ticking sound to your Wear OS smart watch. Not maintained because it was never approved for Wear OS by Google Play team.

TockOS build