Nix Packages collection & NixOS

Nix and Haskell in production

SécurixOS is a NixOS-based secure operating system tailored for small to medium-sized teams. It provides a minimal, hardened environment with strong isolation, reproducibility, and policy-driven co…

A bare-bones Twitter clone implemented in a single file

Static website and blog generator written in nix

one hour, hands-on

nextcloud systemd portable service built on Nix

tt-rss systemd portable service built on Nix

Formalizes a matrix-free functional representation of linear algebra. Presentation for LambdaConf 2020