haschu/waylean.git/lib/Wayland/Native.lean, branch main
[WIP] A River window manager implemented in Lean 4.
https://git.haschu.me/haschu/waylean.git/atom/lib/Wayland/Native.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
start implementing wm
2026-04-11T17:43:29Z
Hannes Schulze
contact@haschu.me
2026-04-11T17:43:29Z
urn:sha1:3d722b15a21977931a0bfa99bd8c6a235682a6d9
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
fix demo
2026-04-01T18:37:48Z
Hannes Schulze
haschu0103@outlook.de
2026-04-01T18:37:48Z
urn:sha1:f2272d4210f80731a200a1a4d41fa1a29e1d2074
try to properly deal with constructors
2026-04-01T16:23:27Z
Hannes Schulze
haschu0103@outlook.de
2026-04-01T16:23:27Z
urn:sha1:6390f8d7e7dfe8c0311cffc2e928e93abb92714b
wip request/event (de-)marshalling
2026-03-16T13:20:55Z
Hannes Schulze
haschu0103@outlook.de
2026-03-16T13:20:55Z
urn:sha1:1cb22cd29de924345cca651d0442b1fc56cf86db