XMonad/GUI dotfiles
☆22Sep 8, 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:
- 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
- Astview is a graphical viewer for abstract syntax trees☆25Mar 26, 2022Updated 4 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- xmonad configuration for starter☆18Apr 3, 2012Updated 14 years ago
- The most complete bot for moderation, utility, and fun in Reddit Chat.☆14Jan 9, 2022Updated 4 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.
- Applicative lexer☆13Nov 26, 2019Updated 6 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 4 months 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
- Generate audiory stimuli☆14Feb 3, 2024Updated 2 years ago
- A collection of scripts which output xmobar-readable information☆11Nov 13, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A plugin for circuit notation☆13Sep 2, 2026Updated 2 weeks ago
- ☆11Jun 11, 2016Updated 10 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
- Impulse Measurement Tools for Julia☆12Apr 3, 2020Updated 6 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'☆15Oct 21, 2022Updated 3 years ago
- Defer multiple 𝚜𝚕𝚒𝚌𝚎 calls on 𝙰𝚛𝚛𝚊𝚢.☆13Jul 10, 2020Updated 6 years ago
- Purely functional Redux actions and reducers with PureScript.☆12Apr 19, 2016Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 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 6 months ago
- My xmonad configuration.☆31Aug 17, 2015Updated 11 years ago
- A simple library for defining ADTs☆15Oct 10, 2023Updated 2 years ago
- Efficient parsing and encoding of Lisp expressions for Haskell.☆26Feb 13, 2020Updated 6 years ago
- ☆12Feb 10, 2022Updated 4 years ago
- url shortener☆10Dec 3, 2019Updated 6 years ago
- 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
- 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.
- 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
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- GraphQL Schema generation in Haskell☆17Mar 27, 2020Updated 6 years ago