Chinese fonts collection for Nix/NixOS user.

A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.

Open-source document intelligence platform with OCR, extraction, grounded Q&A, and task-specific AI configuration

BranchFS is a FUSE-based filesystem that provides lightweight, atomic speculative branching on top of any existing filesystem.

GitHub Action for checking out a repository. (Simplified actions/checkout alternative that does not depend on Node.js.)

Automatically generate Haskell bindings from C header files

NixOS-based Router

Deploy with Nix and manage resources declaratively

A collection of notes I made during OPLSS25.

Create stunning demos for free. Open-source, no subscriptions, no watermarks, and free for commercial use. An alternative to Screen Studio.

Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.

Hull is a tool to prepare programming contest problems.

Streamlined, elegant $HOME management with Nix

Prototype of a command line argument parser with several opposite design goals from clap.

🦀 How to minimize Rust binary size 📦 https://github.com/johnthagen/min-sized-rust

A modern formatting library

Tool to vet (check) Nixpkgs, including its pkgs/by-name directory

Beat your package expressions into a shape

scan nix packages for unused buildInputs

S3-backed Nix binary cache with garbage collection

CachyOS kernel for NixOS

Keeping track of companies that "care about your data 🥺"

A custom NixOS flake that provides a sandboxed offline WPS Office installation with additional fonts and useful configuration options.

SSH + Rclone Machine Learning Development Environment for Nix

An imitation of sudo, using run0 internally

Auto Nix GC Root Retention

Unified Containerized Benchmarking suite for Evaluating Server Workload

no-nixpkgs standard library for the nix expression language