taktoa

taktoa

👤 Developer

4 repositories on SrcLog

View on GitHub
4 Repos
30 Stars
5 Forks
30 Watchers

Repositories (4)

eqsat taktoa/eqsat Haskell

A language-generic implementation of equality saturation in Haskell

17
hsdm taktoa/hsdm Haskell

An X11 display manager, written in Haskell. (WIP)

8
libxdo taktoa/libxdo Haskell

Haskell bindings to libxdo (xdotool library); WIP

4
xprintidle-ng taktoa/xprintidle-ng Shell

Utility for checking how long the X server has been idle

1