abooij / haskell-waylandView external linksLinks
DEPRECATED Haskell bindings for the Wayland library
☆32Dec 6, 2015Updated 10 years ago
Alternatives and similar repositories for haskell-wayland
Users that are interested in haskell-wayland are comparing it to the libraries listed below
Sorting:
- Wayland backend for Blender.☆15Jan 4, 2016Updated 10 years ago
- A simple example Wayland compositor using Clutter☆15Jul 18, 2013Updated 12 years ago
- A Wayland back-end library☆17Mar 25, 2014Updated 11 years ago
- Tiling window manager for wayland☆16Sep 1, 2016Updated 9 years ago
- Haskell implementation of the wayland protocol☆92Aug 27, 2017Updated 8 years ago
- Wayland☆29Mar 6, 2013Updated 12 years ago
- A drop-down terminal for Wayland☆17May 19, 2016Updated 9 years ago
- Use GHC's Memory Allocator from C☆12Feb 22, 2020Updated 5 years ago
- Symbolic logic expressions☆15Jul 1, 2020Updated 5 years ago
- libegl with Wayland extensions for OpenGL/ES library☆17Apr 22, 2016Updated 9 years ago
- Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar☆21May 4, 2015Updated 10 years ago
- Haskell terminal emulator☆21Sep 11, 2013Updated 12 years ago
- native wayland client using cairo library☆13May 9, 2014Updated 11 years ago
- Library for tracking system metrics☆42Jan 8, 2026Updated last month
- OpenCV with highgui Wayland support☆20Oct 13, 2020Updated 5 years ago
- Docker Wayland Container☆13Jan 11, 2017Updated 9 years ago
- Knowledge of classical mechanics, written in haskell.☆14Feb 11, 2013Updated 13 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Nov 4, 2015Updated 10 years ago
- A basic rate-limiting library for Haskell☆20Jan 3, 2023Updated 3 years ago
- Relational programming for PureScript☆17Jan 5, 2017Updated 9 years ago
- Gtk-based screen capturing utility for XMonad.☆25Apr 9, 2025Updated 10 months ago
- A simple window-decorations library built on top of wayland-client.☆21Apr 26, 2018Updated 7 years ago
- Classical Logic in Haskell☆24Nov 19, 2025Updated 2 months ago
- The algebra for formal power series in elements of the Weyl algebra☆18Jul 25, 2018Updated 7 years ago
- Socket activation and other systemd integration for the Warp web server (WAI)☆22Feb 3, 2026Updated last week
- Formalization of Opetopes and Opetopic Sets in Agda☆18Dec 15, 2016Updated 9 years ago
- Capture and debug/modify Wayland connections☆44Oct 31, 2023Updated 2 years ago
- Deep embedding of imperative programs with code generation☆23May 26, 2022Updated 3 years ago
- IHaskell notebooks showing how Haskell can be used in Astronomy.☆23Apr 23, 2015Updated 10 years ago
- ☆25Jan 5, 2026Updated last month
- ELF data structures for Haskell☆24May 9, 2023Updated 2 years ago
- Automatically make lenses from data structures implementing Generic☆26Feb 14, 2015Updated 11 years ago
- A formal moral framework coded in Haskell☆49Mar 2, 2015Updated 10 years ago
- UNMAINTANED, please go to https://github.com/lirios/wayland☆75Jan 23, 2017Updated 9 years ago
- A Wayland compositor based on Weston and Qt☆161Jun 11, 2018Updated 7 years ago
- X11/GLX wrapper for Wayland/EGL☆25Oct 8, 2013Updated 12 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Oct 16, 2018Updated 7 years ago
- Weston Wayland compositor☆61Mar 6, 2013Updated 12 years ago
- MPI bindings for Haskell☆46Apr 1, 2023Updated 2 years ago