GitHub repository: sullyj3/sand
Primary language: Lean
Description: Command line countdown timers that don't take up a terminal.