iridium
Window manager library
An operating system window manager written in Idris and abstracting the X11 API
xmonad with the X11 abstracted and configured with Idris
206 stars
18 watching
9 forks
Language: Idris
last commit: over 5 years ago
Linked from 1 awesome list
joaomilho/awesome-idrisRelated projects:
| Repository | Description | Stars |
|---|---|---|
 linuxmint/muffin | Develops and provides a window management library for a desktop environment. | 197 |
 jlervin/berry | A lightweight window manager implemented in C for managing windows on X11-based Linux systems. | 1,007 |
 ghjp/octopus-window-manager | A lightweight X11 window manager with features like tabbed windows and an on-screen command line interface. | 2 |
 mirceaulinic/salt-sproxy | A plugin for automating network device management and configuration at scale without running proxy minions. | 117 |
 bbidulock/icewm | A window manager designed for speed, usability, and consistency | 597 |
 kddnewton/humidifier | Tools for managing AWS CloudFormation stacks programmatically or through configuration files | 58 |
| bbidulock/blackboxwm | A window manager for X11 with enhanced EWMH/ICCCM compliance and minimalistic design. | 169 |
 instantos/instantwm | A window manager designed to provide stability, speed, and features with emphasis on mouse and touch screen support. | 339 |
 xmonad/xmonad-contrib | Provides additional functionality and customization options for an X11 window manager written in Haskell. | 590 |
 ziacko/tinywindow | A cross-platform window management library for OpenGL applications | 200 |
 empiree/deftsharp.windows.input | A .NET library that provides control and management of keyboard and mouse input in Windows applications | 73 |
| bbidulock/adwm | A flexible and customizable window manager with support for various tiling and stacking layouts. | 64 |
 burntsushi/wingo | A window manager written in Go with support for multiple workspaces and flexible configuration. | 1,004 |
 uralbash/pyramid_elfinder | An integration of an elfinder file manager with the Pyramid web framework | 2 |
 patrislav/marwind | A lightweight window manager that provides keyboard-driven tiling and dynamic reconfigurability through HTTP endpoints | 11 |