Lists (3)
Starred repositories
Terminal image viewer with native support for iTerm and Kitty
A unified NixOS tooling replacement for nixos-* utilities [maintainer=@water-sucks]
Manage system config using nix on any distro
Simple and documented config templates to help you get started with NixOS + home-manager + flakes. All the boilerplate you need!
Personal nixos and home-manager configurations.
A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.
The Proxmox Hypervisor, on NixOS [maintainers=@camillemndn @julienmalka]
Modern, advanced, portable, multiprotocol bootloader and boot manager. (Official mirror of https://codeberg.org/Limine/Limine)
Multi functional app to find duplicates, empty folders, similar images etc.
Language repository for Codigo, a collaborative programming language hub for discovering, comparing and sharing languages.
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]
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
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]
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant