Ubuntu package for Gnome + XMonad session files
☆98Dec 25, 2022Updated 3 years ago
Alternatives and similar repositories for gnome-session-xmonad
Users that are interested in gnome-session-xmonad are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- ☆12Apr 3, 2020Updated 5 years ago
- My xmonad config for Ubuntu versions from 20.04 all the way back to 12.04! Including package list, config files, and instructions.☆416Aug 7, 2023Updated 2 years ago
- ☆12Jul 8, 2021Updated 4 years ago
- Conversion between different types☆19Jul 10, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- State machines with async I/O capabilities☆12Apr 13, 2023Updated 2 years ago
- A servant client written for GHCJS☆12Dec 6, 2016Updated 9 years ago
- Haskell Sendgrid v3 API Library☆15May 2, 2024Updated last year
- Koans to learn rhine☆13Updated this week
- Monad transformers for the persistent library☆14Mar 2, 2025Updated last year
- A simple web server for serving directories.☆16Dec 27, 2024Updated last year
- Script to download all of Hackage☆16Jul 14, 2019Updated 6 years ago
- Safe, checked exceptions☆13Sep 30, 2018Updated 7 years ago
- Codd is a simple-to-use CLI tool that applies plain postgres SQL migrations atomically with strong and automatic cross-environment schema…☆43Mar 6, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- because nobody really wants to eat boiled silkworms☆13Sep 4, 2017Updated 8 years ago
- Exercises and supporting materials for Haskell monad transformers workshop.☆15Jan 27, 2017Updated 9 years ago
- Plucky Runtime IO☆16Dec 20, 2024Updated last year
- A package re-exporting the verified subset of containers☆20Jun 18, 2018Updated 7 years ago
- Template Haskell for generating ToJSON and FromJSON instances for GADTs☆25Jan 18, 2025Updated last year
- Minimal xmonad configuration with panels for Ubuntu☆23Feb 11, 2026Updated last month
- retire your mouse.☆18Nov 20, 2021Updated 4 years ago
- Haskell library for safe (pattern match free) functions☆47Feb 4, 2024Updated 2 years ago
- General tools for Neil☆38Feb 2, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago
- Game of life using SDL2, OpenGL and Yampa☆24Mar 4, 2023Updated 3 years ago
- Making Slackbots is hard! But wait: now it's easy.☆14Jul 27, 2014Updated 11 years ago
- Easily install luarocks with lazy.nvim☆19May 28, 2024Updated last year
- An Android app to browse GitHub repositories☆15Nov 17, 2025Updated 4 months ago
- generate contextually sensible fuzz tests for servant apps☆26Oct 7, 2025Updated 5 months ago
- Modern compiler implementation in ML, in Haskell☆16Apr 4, 2018Updated 7 years ago
- A bit torrent client☆18Nov 29, 2018Updated 7 years ago
- A Haskell library for creating, printing and parsing UUIDs☆64Mar 30, 2025Updated 11 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Tutorial series introducing Agda to the people at BCAM☆27Nov 29, 2021Updated 4 years ago
- Explore haskell and functional programming concepts☆20Dec 18, 2018Updated 7 years ago
- - Documentation site☆40Dec 15, 2025Updated 3 months ago
- A collection of Edward Kmett's packages in a single repository☆17Mar 14, 2021Updated 5 years ago
- Haskell binding for PADS☆21Jun 10, 2019Updated 6 years ago
- Haskell library that provides a rich monadic API on top of leveldb-haskell. Includes a simple but flexible scan/map/reduce mechanism as w…☆25Mar 18, 2020Updated 6 years ago
- ☆15Jun 14, 2022Updated 3 years ago