Configuration for my NixOS setup

Pure-Rust implementation of Fast Static Symbol Tables string compression

Rust implementation of the FastLanes compression library

The systemd System and Service Manager

Easily assign underlying errors into domain-specific errors while adding context

Beginner, advanced, expert level Rust training material

Secure Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]

Blazingly fast analytics database that will rapidly devour all of your data.

Fyn is a fork of uv for fast Python package management, dependency resolution, virtual environments, and pyproject.toml workflows.

SeaweedFS is a distributed storage system for object storage (S3), file systems, and Iceberg tables, designed to handle billions of files with O(1) disk access and effortless horizontal scaling.

Save 30-50%+ of CI time without any effort or cost. Use Magic Nix Cache, a totally free and zero-configuration binary cache for Nix on GitHub Actions.

Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht @Mic92 @phaer]

Improve your Baduk skills by training with KataGo!

Lightweight coding agent that runs in your terminal

Code assistant language server for Helix with support for OpenAI/Anthropic

Apache Arrow is the universal columnar format and multi-language toolbox for fast data interchange and in-memory analytics

FlatBuffers: Memory Efficient Serialization Library

Remove unused Rust dependencies with this one weird trick!

A video wallpaper program for wlroots based wayland compositors.

Fine-grained Haskell builds with Nix's dynamic derivations

Minimal, incremental clang compilation library for nix

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

a small build system with a focus on speed

Community plugins list, theme list, and releases of Obsidian.

Generate Nix build instructions from a Cabal file

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

Agda is a dependently typed programming language / interactive theorem prover.

Private, fast, and honest web browser

FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including har…