Speed up your package installation process, reduce your disk usage, and extend the lifespan of your precious SSD.

OpenZFS on Linux and FreeBSD

The Proxmox Hypervisor, on NixOS [maintainers=@camillemndn @julienmalka]

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

llmstep: [L]LM proofstep suggestions in Lean 4.

Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 2 million installs.

Node.js modules installation using Nix

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…

Parallel OS, with GUI, Terminal, OO Assembler, Class libraries, C-Script compiler, Lisp interpreter and more...

Data for the Chat With Your Data benchmark.

NixOS module for NVIDIA Jetson devices

the first library to let you embed a developer agent in your own app!

Source Code for 'The Common Lisp Condition System' by Michal "phoe" Herda

Modular server management based on NixOS modules and focused on best practices.

🏰 the first JSON-like Byzantine Fault Tolerant CRDT

self(auto)- documenting encoders and decoders

NixOps is a tool for deploying to NixOS machines in a network or cloud.

Prototype smart text editor

Making redux-saga testing simpler. Compatible with any testing framework👌

A DIY guide to build your own React

📱 (rebooting... please wait...)

A flake utility library to craft shell-, home-, and hosts- environments.

🛸 nixos, fish, neovim, leftwm

XMonad™️. Widgets go brr.

nix-shell recipes

A Lisp system for the browser