PDF and Data Repository of switch force curves.

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=@adisbladis,@cpcloud]

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

🥱 An insipid theme for the Sphinx documentation generator.

Bioinformatics I/O libraries in Rust

Bam Error Stats Tool (best): analysis of error types in aligned reads.

Writing a sqlite clone from scratch in C

The fastest Neovim colorizer.

Smooth scrolling neovim plugin written in lua