bkase/iridium
xmonad with the X11 abstracted and configured with Idris
Rust torrent client (to play with rust)
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
xmonad with the X11 abstracted and configured with Idris
Data flow graph cycle-js generator experiment
Playing around with cycle.js; simple drag-drop-uploader
2048 in Idris