Nix Packages collection & NixOS

Nix, the purely functional package manager

The Haskell Tool Stack

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

A collection of NixOS modules covering hardware quirks.

A collection of resources for learning type theory and type theory adjacent fields.

Official upstream development repository for Cabal and cabal-install

Decentralized private messenger with chat-shared tools and games for Android

A mirror of the GNU Autoconf Archive, a collection of more than 500 macros for GNU Autoconf that have been contributed as free software by friendly supporters of the cause from all over the Internet.

A non-intrusive emacs customization for people who are OCD about whitespace

The missing tutorial module for the lens library

A graphical interface for partitioning, generation of configuration files, and installation of NixOS. Has a web interface; the server uses C++ and Qt, the client uses JS and qooxdoo.

Plugin to use Pandoc markdown handler in Ikiwiki website generator

Static contents of the Kinkies website.