GitHub repository: muditbhargava66/pico-rtos
Primary language: C
Description: A lightweight real-time operating system (RTOS) for Raspberry Pi Pico microcontrollers. Pico-RTOS provides multitasking, synchronization primitives, and inter-task communication with a clean API and minimal footprint.