Nix Packages collection & NixOS

Dynamic versioning based on VCS tags for uv/hatch project

Packer templates for building minimal Vagrant baseboxes for multiple platforms

NixOS profiles for servers [maintainer=@numtide]

A linter for prose.

A configuration manager for Arch Linux

PDF and Data Repository of switch force curves.

A device for measuring keyboard switch force curves, and various measurements of different switches.

Benchmarking FASTQ compression with 'mature' compression algorithms

Multi-tenant Nix Binary Cache

The missing handbook for NixOS beginners

Convert poetry projects to nix automagically [maintainer=]

A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]

A safe, easy systems language

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

dev tools, env vars, task runner

a Hassle-Free Python Experience

✨ Magical shell history

Translations of a simple C program to Rust.

Pomodoro widget for use with polybar (or standalone if you are so inclined)

A list of awesome resources for tmux

High performance block-sorting data compression library

FASTQ compression

Master programming by recreating your favorite technologies from scratch.

⚙️ Convert HTML to Markdown. Even works with entire websites and can be extended through rules.

The simplest, fastest repository for training/finetuning medium-sized GPTs.

a simple syntax for complex argumentation

PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement