CrossXT - Yet Another Crosspoint Fork

uBlock Origin filter list to hide YouTube Shorts

Air is a free and easy-to-use secure messaging app.

Armbian + Meshtastic == mPWRD-OS

Cross-platform asynchronous I/O

Build West (Zephyr OS) projects with Nix

Self-hosted deployment platform

A userspace out-of-memory killer

A skill to stop your coding agent from burying the answer. ADHD-friendly output.

music streaming server / free-software subsonic server API implementation

CLI to manage emails

How to avoid complicated coordinated upgrades

PiKVM's kvmd running on NixOS

Nintento Entertainment Kernel: Nintendo emulator

A hive mind communication platform

🆙 Upscayl - #1 Free and Open Source AI Image Upscaler for Linux, MacOS and Windows.

Automated auditing, performance metrics, and best practices for the web.

DuckDB is an analytical in-process SQL database management system

A declarative interface for every secret provider.

Local-first code intelligence graph for MCP and CLI. Builds a persistent map of your codebase so AI coding tools read only what matters, with benchmarked context reductions on reviews and large-rep…

Lean 4 programming language and theorem prover

Wireless mod for ANENG AN870 and possibly other multimeters

Software-only version of the USBridge ecosystem for secure, low-latency remote desktop control and peer-to-peer networking.

A moody nvim theme with four palettes. Uses semantic coloring to make code more readable.

Post-training with Tinker

Open-source vacuum robot cleaner

Keep track of your inventory of 3D-printer filament spools.

This is the companion repository for the book How Query Engines Work.

An extensible, state-of-the-art framework for columnar compression, and the fastest FOSS columnar file format. Formerly at @spiraldb, now an Incubation Stage project at LFAI&Data, part of the Linux…