Embedded Linux distribution optimized for product development (based on OE/Yocto)

i.MX8 HABv4 userspace CSF validator

[MIRROR, PRs ok! Issues: https://git.lix.systems/lix-project/lix/issues] A modern, delicious implementation of the Nix package manager, focused on correctness, usability, and growth — and committed…

Reverse engineering of the Quansheng UV-K5 V1.4 PCB in KiCad 7

Board Remote Control Utilities

The barebox bootloader - Mirror of ssh:https://[email protected]/barebox

V4L2 Hantro H264 encoder userspace

distribution devboard server

Generate Nix packages from URLs with hash prefetching, dependency inference, license detection, and more [maintainer=@figsoda]

Multi-tenant Nix Binary Cache

✨ Magical shell history

Embedded systems control library for development, testing and installation

A bootloader and experimentation playground for Apple Silicon

A library for controlling sway through its IPC interface

Trusted side of the TEE

Scots Army Knife for electronics

My personal NixOS config

Moved to https://git.hamburg.ccc.de/freifunk/mail2-nixos-config

Blazing 💥 fast terminal-ui for git written in rust 🦀

Alternative firmware for ESP8266 and ESP32 based devices with easy configuration using webUI, OTA updates, automation using timers or rules, expandability and entirely local control over MQTT, HTTP…

Write responsive web apps in full python

Forwards messages from the journal to other hosts over the network using syslog format RFC 5424 and RFC 3164

A set of tools to manage objects on PKCS#11 cryptographic tokens. Compatible with many PKCS#11 library, including major HSM brands, NSS and softoken.

Record terminal sessions as SVG animations

Thermal daemon for IA

Experimental libliftoff-based Wayland compositor

The Nix community RFCs

Open source implementation of OPC UA (OPC Unified Architecture) aka IEC 62541 licensed under Mozilla Public License v2.0