Atomic secret provisioning for NixOS based on sops

Lightweight Kubernetes

EDK2 UEFI firmware for Rockchip RK3588 platforms

EDK2 firmware images for Raspberry Pi 5

🪨 A collection of contrast-based Vim/Neovim colorschemes

A color palette for Deep contemplation and work

Yet another Nix CLI helper. [Maintainers=@NotAShelf]

Comma runs software without installing it. [maintainers=@Artturin,@burke,@DavHau]

An open source, self-hosted implementation of the Tailscale control server

NixOS Router Configuration

💽 Build Bespoke OS Images

Tiled scrollable window manager for MacOS

A sleek and minimal desktop shell thoughtfully crafted for Wayland.

A terminal UI for tshark, inspired by Wireshark

Secure-Launch implementation for Qualcomm devices

Boot and upgrade via container images

Pop!_OS Shell

Patches to support Asus Zenbook A14 with Snapdragon X1 Elite / X1 Plus

Public repository for Abstact Algebra Theory and Applications

Package registry for Lean/Lake.

Forge - Tiling and Window Manager for Gnome-Shell

💧 Liquid Tensor Experiment

Source code for the Mathematics in Lean tutorial.

A prompt engineering functional programming language

Manage system config using nix on any distro

White-box automation for Lean 4

Managing multiple CS2 Servers with ease

📚 (WIP) Formal proofs of "An Infinitely Large Napkin"