haschu/waylean.git/tools/Scanner/Generator.lean, branch main
[WIP] A River window manager implemented in Lean 4.
https://git.haschu.me/haschu/waylean.git/atom/tools/Scanner/Generator.lean?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
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
some cleanup
2026-04-05T14:18:40Z
Hannes Schulze
haschu0103@outlook.de
2026-04-05T14:18:40Z
urn:sha1:1a59b19a615483ade6284e554c53f17afabb7287
initial codegen
2026-04-05T14:15:03Z
Hannes Schulze
haschu0103@outlook.de
2026-04-05T14:15:03Z
urn:sha1:1f5491a5af7bd0f1ec4046994d6344886465cba5