How to Make a Computer Operating System in C++

Learning operating system development using Linux kernel and Raspberry Pi

Gravity Programming Language

A generic dynamo implementation for different k-v storage engines

Checkpoint/Restore tool

NGINX-based MP4 Repackager

Arduino Audio Tools (a powerful Audio library not only for Arduino)

Open source firmware (Tasmota/Esphome replacement) for BK7231T, BK7231N, BL2028N, T34, XR809, W800/W801, W600/W601, BL602, LN882H, Realtek chips and more

A lightweight replication manager for PostgreSQL (Postgres)

EPDiy is a driver board for affordable e-Paper (or E-ink) displays.

For more information, please see http://smartos.org/ For any questions that aren't answered there, please join the SmartOS discussion list: https://smartos.topicbox.com/groups/smartos-discuss

Play mp3 files from SD via I2S

Embeddable Linux Kernel Subset - Linux for 8086

An open Apple Wireless Direct Link (AWDL) implementation written in C

Safe and secure software updates for embedded Linux

cachegrand - a modern data ingestion, processing and serving platform built for today's hardware

Virtual cables between any audio source and any speaker in your home

connmap is an X11 desktop widget that shows location of your current network peers on a world map in real-time

A lightweight game development environment where games can be written in Wren

RSA SecurID-compatible software token for Linux/UNIX systems

rtl_tcp and libusb-1.0 port for Android modified to support opening devices from Linux file descriptors

👀 💻 💤 🔋 Save battery by auto-suspending unfocused X11 applications.

ESP32Berry Project

ESP32 ULP Coprocessor Helper

Server and software to use an ESP32 as a connected display

Punchboot

ESPHome Based network monitor display

A slow TCP proxy

RK3188 kernel source (unofficial)