xmonad with the X11 abstracted and configured with Idris
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
FFI Bindings to interact with the unsafe world of JavaScript
Effectful bindings for SQLite (forked from IdrisWeb)
47,133 repositories indexed
1–3 of 3 · Most stars
xmonad with the X11 abstracted and configured with Idris
FFI Bindings to interact with the unsafe world of JavaScript
Effectful bindings for SQLite (forked from IdrisWeb)