haschu/waylean.git/src/Waylean, branch main [WIP] A River window manager implemented in Lean 4. https://git.haschu.me/haschu/waylean.git/atom/src/Waylean?h=main 2026-04-10T15:36:15Z implement registry wrapper 2026-04-10T15:36:15Z Hannes Schulze contact@haschu.me 2026-04-10T15:36:15Z urn:sha1:dab858e92dfa5705d1aef7259e03b25747372d95