Programming Fonts with Ligatures added (& a script to add them to other fonts)

A WiFi security auditing software mainly based on aircrack-ng tools suite

Run NixOS containers with LXD.

Automatically audit your Linux or Windows machine for basic security hygiene.

Deploy with Nix and manage resources declaratively

ZilchOS Core, a decidedly tiny Nix-based distro to play with

Starting with a single ~400 KB TinyCC binary, compile a Clang 17 toolchain and Nix package manager

A new signature format for Nix - for verifiable provenance data and SBOMs.

Nix ❤️ Cardano

environment for creating and exploring L-Systems built with Elm

The Media Server NixOS Module

Nix tools powering polyglot repositories

Run macOS, Windows and more via a single Nix command, or simple nixosModules

Integrate agenix and systemd-creds together

Zero-metadata file storage

Bundesgesetze und -verordnungen

A Dependently Typed Functional Programming Language

Nix Packages collection & NixOS

Android Mesh Networking Chat with WiFI-Direct

code example for using Idris with a libuv-based async C runtime

Functional Utilities for Coffeescript and Javascript

CAD from a parallel universe

A strongly-typed language that compiles to JavaScript

A Purescript table renderer capable of displaying multidimensional, heterogeneous JSON data

Plumbing Opensearch bookmarks for your browser

VJCentrum Budapest website

helper scripts for deploying several django-based web apps with a lighttpd and fcgi setup

JSON-RPC over WebSockets