haschu/waylean.git/tools/Scanner, branch main
[WIP] A River window manager implemented in Lean 4.
https://git.haschu.me/haschu/waylean.git/atom/tools/Scanner?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
implement registry wrapper
2026-04-10T15:36:15Z
Hannes Schulze
contact@haschu.me
2026-04-10T15:36:15Z
urn:sha1:dab858e92dfa5705d1aef7259e03b25747372d95
update lean
2026-04-10T10:34:02Z
Hannes Schulze
contact@haschu.me
2026-04-10T10:34:02Z
urn:sha1:bfe6c4cee8b5afcd4078af319ab6b96f6695408b
add river protocols
2026-04-06T07:26:02Z
Hannes Schulze
haschu0103@outlook.de
2026-04-06T07:26:02Z
urn:sha1:924241fd20f582fe0935db960ed3f06a65920f6d
(de-)marshal enums and bitfields
2026-04-06T06:02:39Z
Hannes Schulze
haschu0103@outlook.de
2026-04-06T06:02:39Z
urn:sha1:78907b4340b06c58ec7a31da68e96f398b65e940
fix generic new_ids
2026-04-06T05:20:06Z
Hannes Schulze
haschu0103@outlook.de
2026-04-06T05:19:48Z
urn:sha1:92da08078a5459ca1089743eb58385e752bdb5fa
basic argument (de-)marshalling
2026-04-05T15:05:04Z
Hannes Schulze
haschu0103@outlook.de
2026-04-05T15:05:04Z
urn:sha1:578b90344c4e9be44955d4c4779f452c0b8dc036
further cleanup
2026-04-05T14:20:10Z
Hannes Schulze
haschu0103@outlook.de
2026-04-05T14:20:10Z
urn:sha1:d47eacf3939411aff7ca0badbed1d1f2f5494969
some cleanup
2026-04-05T14:18:40Z
Hannes Schulze
haschu0103@outlook.de
2026-04-05T14:18:40Z
urn:sha1:1a59b19a615483ade6284e554c53f17afabb7287