XMonad/GUI dotfiles
☆22Aug 12, 2026Updated 2 weeks 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
- 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
- Automatic (re)compilation of Purescript code☆11Oct 12, 2022Updated 3 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.
- 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
- 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 last month
- A collection of scripts which output xmobar-readable information☆11Nov 13, 2021Updated 4 years ago
- ☆11Jun 11, 2016Updated 10 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.
- 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
- Install guide for Arch Linux ARM (ALARM) on the SHARP Zaurus SL-C3x00 series☆13Oct 21, 2015Updated 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'☆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
- ☆14Dec 11, 2022Updated 3 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.
- Jack Midi to OSC☆14Nov 25, 2023Updated 2 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 6 months ago
- My xmonad configuration.☆32Aug 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
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A PureScript, browser-based implementation of simple linear regression.☆19Dec 6, 2022Updated 3 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...☆17Aug 3, 2026Updated 3 weeks 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