haschu/waylean.git/lib/CWayland/CWayland.c, branch main [WIP] A River window manager implemented in Lean 4. https://git.haschu.me/haschu/waylean.git/atom/lib/CWayland/CWayland.c?h=main 2026-03-03T15:43:56Z display connect/disconnect 2026-03-03T15:43:56Z Hannes Schulze haschu0103@outlook.de 2026-03-03T15:43:56Z urn:sha1:ac696809b0c62f7f062a0dc155a4bf4a995cc9cf build: link against libwayland 2026-03-02T17:31:39Z Hannes Schulze haschu0103@outlook.de 2026-03-02T17:31:39Z urn:sha1:651c32bad4f336eee9cf423eec5f7b1057a58adf initial commit 2026-02-10T16:05:11Z Hannes Schulze haschu0103@outlook.de 2026-02-10T16:05:11Z urn:sha1:44796b1b1493a67dcdfec8f9846dce14e7ecf4a4