haschu/waylean.git/lib/CWayland/CWayland.cc, branch main [WIP] A River window manager implemented in Lean 4. https://git.haschu.me/haschu/waylean.git/atom/lib/CWayland/CWayland.cc?h=main 2026-06-05T20:29:21Z first working version 2026-06-05T20:29:21Z Hannes Schulze contact@haschu.me 2026-06-05T19:05:23Z urn:sha1:648edcd81fc2045cab70ec2b82d81577158d8613 wip tinyrwm in lean 2026-06-05T15:04:51Z Hannes Schulze contact@haschu.me 2026-06-05T15:04:51Z urn:sha1:350d3ca21e6a2d215016c84afa07ccb75abd8a6e properly handle new objects in events 2026-04-11T20:16:58Z Hannes Schulze contact@haschu.me 2026-04-11T20:16:58Z urn:sha1:397edbdb31bb6d72b9e1e7aa65b5b9bd56ef5cc6 start implementing wm 2026-04-11T17:43:29Z Hannes Schulze contact@haschu.me 2026-04-11T17:43:29Z urn:sha1:3d722b15a21977931a0bfa99bd8c6a235682a6d9 update lean 2026-04-10T10:34:02Z Hannes Schulze contact@haschu.me 2026-04-10T10:34:02Z urn:sha1:bfe6c4cee8b5afcd4078af319ab6b96f6695408b fix build on linux 2026-04-09T21:07:23Z Hannes Schulze contact@haschu.me 2026-04-09T21:07:23Z urn:sha1:80317994ba8a8b7f72c0bf0d824e4ade59a4b6c8 basic argument (de-)marshalling 2026-04-05T15:05:04Z Hannes Schulze haschu0103@outlook.de 2026-04-05T15:05:04Z urn:sha1:578b90344c4e9be44955d4c4779f452c0b8dc036 initial codegen 2026-04-05T14:15:03Z Hannes Schulze haschu0103@outlook.de 2026-04-05T14:15:03Z urn:sha1:1f5491a5af7bd0f1ec4046994d6344886465cba5 referenced interfaces 2026-04-03T22:06:40Z Hannes Schulze haschu0103@outlook.de 2026-04-03T22:06:40Z urn:sha1:9d537c6a480bbb8835aaae5c8a5918004442c3c6 clean up demo 2026-04-01T18:51:11Z Hannes Schulze haschu0103@outlook.de 2026-04-01T18:51:11Z urn:sha1:54d62ad2f3eb72d57683780b55dad2a97b1e2dcb