XMonad/GUI dotfiles
☆22Sep 27, 2026Updated last week
Alternatives and similar repositories for dotfiles-thomasf-xmonad
Users that are interested in dotfiles-thomasf-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:
- emacs client for etherpad-lite☆22Apr 22, 2012Updated 14 years ago
- My xmonad config, the colour scheme is currently Zenburn, but a lime green and black scheme is in the testing-colour branch, "macstyle" i…☆22Nov 1, 2011Updated 14 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- xmonad configuration for starter☆18Apr 3, 2012Updated 14 years ago
- Applicative lexer☆13Nov 26, 2019Updated 6 years 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.
- Automatic (re)compilation of Purescript code☆11Oct 12, 2022Updated 3 years ago
- purescript wrapper for Uber's deck.gl library☆11Mar 8, 2023Updated 3 years ago
- ☆11Nov 5, 2015Updated 10 years ago
- Configuration files☆18Feb 12, 2026Updated 7 months ago
- Unicode-aware Base64 encoding and decoding☆15May 6, 2026Updated 5 months ago
- vim google translate☆17Jan 27, 2014Updated 12 years ago
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Jul 25, 2021Updated 5 years ago
- A mirror of oh-my-zsh/plugins/command-not-found in case you don't want all of oh-my-zsh☆28Sep 5, 2021Updated 5 years ago
- My self-built emacs configuration☆11Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A collection of scripts which output xmobar-readable information☆11Nov 13, 2021Updated 4 years ago
- A plugin for circuit notation☆13Sep 2, 2026Updated last month
- ☆11Jun 11, 2016Updated 10 years ago
- streamcurse is a curses stream launcher, inspired by gapatos livestreamer-curses☆13Mar 11, 2022Updated 4 years ago
- PureScript bindings for the yargs command-line parsing library☆18Jun 19, 2018Updated 8 years ago
- SLiM -- Simple Login Manager -- Re-up for building of our releases UNMAINTAINED☆19Apr 13, 2016Updated 10 years ago
- Handy error handling combinators for PureScript☆16Aug 25, 2023Updated 3 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆16Oct 21, 2022Updated 3 years ago
- Defer multiple 𝚜𝚕𝚒𝚌𝚎 calls on 𝙰𝚛𝚛𝚊𝚢.☆13Jul 10, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Purely functional Redux actions and reducers with PureScript.☆12Apr 19, 2016Updated 10 years ago
- ☆14Dec 11, 2022Updated 3 years ago
- An unofficial list of papers accepted to POPL 2013.☆19Jan 13, 2018Updated 8 years ago
- Web Workers support for PureScripts☆11Nov 28, 2016Updated 9 years ago
- Issue tracker for Hackage maintainance and trustee operations☆42Feb 26, 2026Updated 7 months ago
- My xmonad configuration.☆31Aug 17, 2015Updated 11 years ago
- A simple library for defining ADTs☆15Oct 10, 2023Updated 3 years ago
- Efficient parsing and encoding of Lisp expressions for Haskell.☆26Feb 13, 2020Updated 6 years ago
- Uranium: a build system for python, in python.☆23May 21, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A PureScript, browser-based implementation of simple linear regression.☆19Dec 6, 2022Updated 3 years ago
- url shortener☆10Dec 3, 2019Updated 6 years ago
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 years ago
- Comments as GitHub pull requests for Jekyll (and other static site generator) websites.☆16Dec 15, 2018Updated 7 years ago
- the ever-shifting depths of the Underworld are not as once they were...☆18Sep 29, 2026Updated last week
- Fork from https://github.com/robbyrussell/oh-my-zsh/blob/master/plugins/colored-man-pages/colored-man-pages.plugin.zsh☆17Dec 22, 2016Updated 9 years ago
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago