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

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

Crucible is a library for symbolic simulation of imperative programs

A terminal client for Up Bank written in Haskell ⚡.