Static contents of the Kinkies website.

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.

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

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

Nix, the purely functional package manager

Official upstream development repository for Cabal and cabal-install

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.

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

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

A collection of NixOS modules covering hardware quirks.

The Haskell Tool Stack

The missing tutorial module for the lens library

Plugin to use Pandoc markdown handler in Ikiwiki website generator

Nix Packages collection & NixOS