Session attach/detach for the terminal

🚀✨ Minimalistic, powerful and extremely customizable Zsh prompt

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Skills for Real Engineers. Straight from my .claude directory.

The intuitive, config-driven terminal multiplexer designed for software & systems engineers

Notion/Ion3-style static tiling window manager for the River Wayland compositor

NixOS module + package for the River compositor (0.4.0+), with window managers that support it.

Opinionated hledger's journal files formatter

Verse Programming Language - Functional logic language developed by Epic Games - all informations, official resources and snippets

A curses terminal client for the Notmuch email system

Control all your tooling from a single console

LLM-powered typed-holes

List of great merge drivers for git and other version control tools

A 1-1 end-to-end encrypted internet pipe powered by Hyperswarm

The Haskell Optimization Handbook

Equational laws for free

A fast in-memory rule engine

📖 A collection of pure POSIX sh alternatives to external processes.

SoTA open-source TTS

Virtual whiteboard for sketching hand-drawn like diagrams

A Wayland Compositor

#StandWithUkraine banner and related documents

Seamless integration of https://pre-commit.com git hooks with Nix.

NixOS-based USB rescue image

Bootlin embedded Linux and kernel training materials

A keyboard input remapper for Linux/Wayland systems, written by @wez

Resilience4j is a fault tolerance library designed for Java8 and functional programming

Verified Assembly Language for Everest

Systems language with linear types and capability-based security.