Auke Booij

Results 3 repositories owned by Auke Booij

sudbury

88
Stars
5
Forks
Watchers

Haskell implementation of the wayland protocol

verified publisher icon abooij

haskell-wayland

32
Stars
9
Forks
Watchers

DEPRECATED Haskell bindings for the Wayland library

verified publisher icon abooij

wiwikwlhott

51
Stars
2
Forks
Watchers

What I wish I knew when learning HoTT

verified publisher icon abooij