stb single-file public domain libraries for C/C++

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

Learning operating system development using Linux kernel and Raspberry Pi

A small C compiler

Xv6 for RISC-V

'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.

A Small C Compiler

RIOT - The friendly OS for IoT

The seL4 microkernel

Open source STM32 MCU programming toolset

OSv, a new operating system for the cloud.

Tutorial: Writing a "bare metal" operating system for Raspberry Pi 4

Open source ARM Cortex-M microcontroller library

STM32 core support for Arduino

Bare metal Raspberry Pi 3 tutorials

Adafruit GFX graphics core Arduino library, this is the 'core' class that all our other graphics libraries derive from

cc65 - a freeware C compiler for 6502 based systems

Keil projects and libraries for STM32F4xx devices

ruby bindings to libgit2

A C++ bare metal environment for Raspberry Pi with USB (32 and 64 bit)

Minimalistic MP3 decoder single header library

The Computer History Simulation Project

An open-source Unix operating system -- this is a read-only mirror of the official repository at https://code.illumos.org/plugins/gitiles/illumos-gate

Arduino core for ATtiny 1634, 828, x313, x4, x41, x5, x61, x7 and x8

simavr is a lean, mean and hackable AVR simulator for linux & OSX

Python interface to Bluetooth LE on Linux

lwIP mirror from http://git.savannah.gnu.org/cgit/lwip.git

RISC-V Open Source Supervisor Binary Interface