https://github.com/puffnfresh/iridium
Idris201
5 years ago
xmonad with the X11 abstracted and configured with Idris
MIT License
Quick example of Eta on Android
Java24
7 years ago