XMonad/GUI dotfiles
☆22Jun 6, 2026Updated last month
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
- 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
- Applicative lexer☆13Nov 26, 2019Updated 6 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.
- 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
- vim google translate☆17Jan 27, 2014Updated 12 years ago
- Unicode-aware Base64 encoding and decoding☆15May 6, 2026Updated 2 months ago
- Itteco Trac Plugin☆17Jul 12, 2010Updated 16 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 4 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A collection of scripts which output xmobar-readable information☆11Nov 13, 2021Updated 4 years ago
- A plugin for circuit notation☆13Jul 12, 2026Updated last week
- streamcurse is a curses stream launcher, inspired by gapatos livestreamer-curses☆13Mar 11, 2022Updated 4 years ago
- ☆11Jun 11, 2016Updated 10 years ago
- SLiM -- Simple Login Manager -- Re-up for building of our releases UNMAINTAINED☆19Apr 13, 2016Updated 10 years ago
- An unofficial list of papers accepted to POPL 2013.☆19Jan 13, 2018Updated 8 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
- Purely functional Redux actions and reducers with PureScript.☆12Apr 19, 2016Updated 10 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.
- My xmonad configuration.☆32Aug 17, 2015Updated 10 years ago
- Web Workers support for PureScripts☆11Nov 28, 2016Updated 9 years ago
- Issue tracker for Hackage maintainance and trustee operations☆42Feb 26, 2026Updated 4 months 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
- Uranium: a build system for python, in python.☆23May 21, 2024Updated 2 years ago
- ☆12Feb 10, 2022Updated 4 years ago
- url shortener☆10Dec 3, 2019Updated 6 years ago
- Comments as GitHub pull requests for Jekyll (and other static site generator) websites.☆16Dec 15, 2018Updated 7 years ago
- 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.
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 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
- State machines with async I/O capabilities☆12Apr 13, 2023Updated 3 years ago
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- ☆21Aug 7, 2016Updated 9 years ago
- GraphQL Schema generation in Haskell☆17Mar 27, 2020Updated 6 years ago
- A phonetics encoding library for Julia☆15Jun 19, 2020Updated 6 years ago