Deploy with Nix and manage resources declaratively

Pipewire Volume Control

Notes and exercises from Finite Dimensional Vector Spaces by Halmos

Selected Solutions to Paul R. Halmos's Finite-Dimensional Vector Spaces Second Edition

Manage system config using nix on any distro

Lynis - Security auditing tool for Linux, macOS, and UNIX-based systems. Assists with compliance testing (HIPAA/ISO27001/PCI DSS) and system hardening. Agentless, and installation optional.

rustic - fast, encrypted, and deduplicated backups powered by Rust

An alternative Discord client with voice support made with C++ and GTK 3

Conveniently and reasonably harden NixOS.

A `nix` and `nix-shell` wrapper for shells other than `bash`

Internet search engine for text-oriented websites. Indexing the small, old and weird web.

A community-supported supercharged document management system: scan, index and archive all your documents

web search done right

brozzler - distributed browser-based web crawler

A (more or less) one page introduction to Nix, the language.

eigenwallet is a battle-tested Monero-Bitcoin DEX based on Atomic Swaps.

Cloud-native search engine for observability. An open-source alternative to Datadog, Elasticsearch, Loki, and Tempo.

A monospaced pixel font with a lo-fi, techy vibe

An evolving how-to guide for securing a Linux server.

A plain text-based spaced repetition system.

Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.

A global, public domain map dataset available at three scales and featuring tightly integrated vector and raster data.

A Rust HTTP server for Python applications

Verified Rust for low-level systems code

Run native wine applications inside declarative systemd-nspawn containers with NixOS.

OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched

A tool for ad hoc profiling

Demangle Rust symbols

Coz: Causal Profiling

A list of memex-related tools and their repository URLs