XMonad/GUI dotfiles
☆22Jun 6, 2026Updated 2 months ago
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:
- 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
- Automatic (re)compilation of Purescript code☆11Oct 12, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- purescript wrapper for Uber's deck.gl library☆11Mar 8, 2023Updated 3 years ago
- ☆11Nov 5, 2015Updated 10 years ago
- Unicode-aware Base64 encoding and decoding☆15May 6, 2026Updated 3 months ago
- vim google translate☆17Jan 27, 2014Updated 12 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18May 14, 2015Updated 11 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 4 years ago
- My self-built emacs configuration☆11Jul 23, 2026Updated 2 weeks ago
- A collection of scripts which output xmobar-readable information☆11Nov 13, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A plugin for circuit notation☆13Jul 12, 2026Updated 3 weeks ago
- ☆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 2 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Defer multiple 𝚜𝚕𝚒𝚌𝚎 calls on 𝙰𝚛𝚛𝚊𝚢.☆13Jul 10, 2020Updated 6 years ago
- An unofficial list of papers accepted to POPL 2013.☆19Jan 13, 2018Updated 8 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.
- ☆14Dec 11, 2022Updated 3 years ago
- Web Workers support for PureScripts☆11Nov 28, 2016Updated 9 years ago
- An example for a blogpost about gluing Terraform and Nix flakes together☆21Dec 7, 2022Updated 3 years ago
- Issue tracker for Hackage maintainance and trustee operations☆42Feb 26, 2026Updated 5 months ago
- My xmonad configuration.☆32Aug 17, 2015Updated 10 years ago
- Efficient parsing and encoding of Lisp expressions for Haskell.☆26Feb 13, 2020Updated 6 years ago
- ☆12Feb 10, 2022Updated 4 years ago
- Uranium: a build system for python, in python.☆23May 21, 2024Updated 2 years ago
- url shortener☆10Dec 3, 2019Updated 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.
- A PureScript, browser-based implementation of simple linear regression.☆19Dec 6, 2022Updated 3 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
- 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
- State machines with async I/O capabilities☆12Apr 13, 2023Updated 3 years ago
- ☆21Aug 7, 2016Updated 10 years ago