non/idris-curses
Idris bindings to ncurses
Public repository discovered through GitHub real-time crawl.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Idris bindings to ncurses
methods for divination and predicting the future
Efficient immutable wrappers for unboxed data
Easily use tmux to collaborate with distant friends!