Linux Userspace x86 MPK Runtime for Omniglot

Safe Interactions with Foreign Languages through Omniglot

Shark Marmalade is a Jellyfin music client for AAOS

Emacs LSP performance booster

Alternative implementation of Emulab client-side agents

Tools to set up a quick macOS VM in QEMU, accelerated by KVM.

Nix Packages collection & NixOS

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

Chickadee OS for Harvard CS 161

SNS website

Ports of Tock OS to Titan chips.

Tool for programming Tock onto hardware boards.

Userland apps for Tock written in C and C++

Rust userland library for Tock

Port of Tock for the TI SensorTag (unfortunately no MPU)

Tock OS website

Implements the Tockloader protocol, as a #[no_std] crate.

An experimental port of the Tock OS to the Teensy 3.6

A secure embedded operating system for Cortex-M based microcontrollers

An IoT development module that supports the Tock operating system.

Tock port

A secure embedded operating system for microcontrollers

Exploring what happens when you put computers on sign posts.

Empowering everyone to build reliable and efficient software.

TockOS - An OS for Embedded Devices

Covert documents and stuff