xmonad configuration for starter
☆18Apr 3, 2012Updated 14 years ago
Alternatives and similar repositories for xmonad-starter-kit
Users that are interested in xmonad-starter-kit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scripts for setting and visualizing pulseaudio volume with XMonad+xmobar☆18Mar 19, 2017Updated 9 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
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework☆14Oct 23, 2017Updated 8 years ago
- XMonad/GUI dotfiles☆22Updated this week
- 🌅 A Python script to set the desktop background to the top rated image of a given subreddit☆10Dec 15, 2020Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- xmonadの設定☆10Nov 12, 2018Updated 7 years ago
- My very own dotfiles (sway, neovim, zsh, wezterm). Migrated to Codeberg https://codeberg.org/vjousse/dotfiles☆43Mar 9, 2026Updated 7 months ago
- OCaml client access to Amazon services, such as S3, EC2, FPS, etc.☆14Sep 20, 2016Updated 10 years ago
- 2D game engine for Common Lisp☆12Jun 5, 2012Updated 14 years ago
- HOL Guidebook☆12Oct 11, 2024Updated 2 years ago
- My xmonad configuration☆24Aug 31, 2013Updated 13 years ago
- ☆21Aug 7, 2016Updated 10 years ago
- Google Common Lisp Style Guide in Chinese☆13Apr 4, 2019Updated 7 years ago
- Arch Linux, Xmonad, Zsh, and friends - my configuration☆32Apr 22, 2015Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Comments as GitHub pull requests for Jekyll (and other static site generator) websites.☆16Dec 15, 2018Updated 7 years ago
- My xmonad and xmobar configuration, plus necessary scripts to make things more usable.☆459Oct 4, 2023Updated 3 years ago
- zsh plugin that runs `ls` and `git status` after chpwd☆19May 26, 2015Updated 11 years ago
- A script to easily play and manage your anime/drama/series.☆17Jul 14, 2018Updated 8 years ago
- wxWidgets wrapper for Haskell☆37Apr 2, 2013Updated 13 years ago
- ☆15Jun 23, 2017Updated 9 years ago
- This repository is an mbed blinky demo with rust for K64F☆14May 6, 2015Updated 11 years ago
- ☆18Feb 20, 2024Updated 2 years ago
- asynchronous I/O in Rust☆14Jan 8, 2017Updated 9 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Pretty print markdown to terminal using terminfo database.☆17Apr 5, 2014Updated 12 years ago
- Haskell source code formatter☆24Jan 5, 2025Updated last year
- A translation of GHC's Users Guide to Japanese☆15Aug 30, 2016Updated 10 years ago
- Email address validation for Haskell☆43Sep 21, 2024Updated 2 years ago
- The Matasano Crypto Challenges in Rust http://cryptopals.com/☆11Nov 5, 2015Updated 10 years ago
- Constant Time Operations for Crypto Libraries☆10Jun 22, 2017Updated 9 years ago
- ☆16Mar 25, 2013Updated 13 years ago
- A comparison of a simple web service both written in Java and Go☆15Sep 12, 2012Updated 14 years ago
- An implementation of the Mixcoin mixing protocol☆13Nov 12, 2014Updated 11 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Oracle feeder service (presently supporting Terra)☆14Jan 23, 2023Updated 3 years ago
- ARM-based operating system - fork of http://github.com/mrd/puppy☆15Mar 23, 2015Updated 11 years ago
- low-level bindings to libseccomp☆12Mar 6, 2021Updated 5 years ago
- Google Calendar Utilities for Emacs☆14Aug 19, 2026Updated last month
- Trusted MQTT messaging.☆10Oct 6, 2017Updated 9 years ago
- This is the slides from my upcoming talk in Luxembourg. This will be the test for my PyData talk in Berlin and will influence any tutoria…☆14May 30, 2015Updated 11 years ago
- An application that helps you notify your friends and/or family if you've gone missing.☆11Jan 28, 2017Updated 9 years ago