An ergonomic and losess beancount manipulation library

Interactively browse dependency graphs of Nix derivations.

A smarter cd command. Supports all major shells.

An operating system generator, based on NixOS, that, given a config, outputs a small (47 MB), read-only squashfs for a runit-based operating system, with support for iPXE and signed boot.

NixOS custom minimal installer for nixos-setup

Build OpenWRT images in Nix derivations

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

A cat(1) clone with wings.

Backup and Migrate IMAP Email Accounts

A comprehensive self-management System

The todo.txt application Todour

A better xdg-utils

NixOS configuration for the ODROID HC4 microcomputer

Simple focus animations for tiling window managers.

Hermes software environment manager

This is QT Calendar project, to work with events (View/Edit/Create), with connection to server

Run-Your-Own Firefox Sync Server

Qt based ebook reader

Fava - web interface for Beancount

A brief computer graphics / rendering course

Modular visual interface for GDB in Python

Nix Packages collection & NixOS

A CalDAV/CardDAV server backed by Git

Generate reflex client functions for querying a servant API

Arduino code for STM32 microcontrollers

A KiCad wizard to assist you in making footprints for chips having pins around the edges (SOICs, QFPs, etc.) and ball grid arrays (BGAs)

A scalable, open source battery management system

Synchronized RTL-SDR receivers and direction finding

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.