Awesome-WM powerarrow theme
☆79Jul 19, 2016Updated 9 years ago
Alternatives and similar repositories for powerarrow
Users that are interested in powerarrow are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Powerarrow-Dark version☆15Jan 24, 2014Updated 12 years ago
- Use your vim settings anywhere☆163Oct 27, 2014Updated 11 years ago
- An autocomplete component for Om☆60Oct 16, 2017Updated 8 years ago
- An pack of advanced themes for Awesome WM☆39Jan 11, 2015Updated 11 years ago
- Spacemacs contribution layer for Crystal☆12Oct 11, 2016Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- native clojure MPD client☆11Nov 5, 2018Updated 7 years ago
- Awesome WM widgets☆147Nov 28, 2016Updated 9 years ago
- This project automates setup of Cost and Usage Reports (CUR) in a billing account with an Athena table enabling querying of the latest da…☆13Apr 8, 2026Updated last week
- ☆17Jun 19, 2015Updated 10 years ago
- vimrcfu - Share your best vimrc snippets☆48Jan 16, 2025Updated last year
- Save and load your dotfiles☆24Mar 22, 2016Updated 10 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- A Windows port of hdni's flat theme for GNOME 3.10☆14Apr 5, 2014Updated 12 years ago
- Show build output from CircleCI builds inside Emacs☆18May 22, 2020Updated 5 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.
- Lymchat on Exponent☆26Nov 14, 2016Updated 9 years ago
- Repo containing the game for the Minetest Engine.☆14Mar 22, 2016Updated 10 years ago
- dmenu with pango and imlib support☆12Aug 1, 2016Updated 9 years ago
- A small library to help rewrite / modify the AST of a Go (golang) program☆17Mar 21, 2015Updated 11 years ago
- ☆12Jun 19, 2014Updated 11 years ago
- imdone npm package has been archived☆28Feb 24, 2019Updated 7 years ago
- Formalization of Mathematics using Type Theory of Agda Programming Language☆11Jan 3, 2018Updated 8 years ago
- https://kritzcreek.github.io/posts/2016-07-05-purescript-electron.html☆12Jul 6, 2016Updated 9 years ago
- MEML is a simple LISP-like markup language that translates into HTML/CSS☆13May 4, 2021Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Library for Classical Propositional Logic in Agda☆16Nov 19, 2019Updated 6 years ago
- Random (silly) name generator for Golang☆20Oct 16, 2019Updated 6 years ago
- ☆11Jul 25, 2018Updated 7 years ago
- An album art displayer for mpd☆13May 15, 2019Updated 6 years ago
- ☆14Nov 5, 2015Updated 10 years ago
- streamcurse is a curses stream launcher, inspired by gapatos livestreamer-curses☆13Mar 11, 2022Updated 4 years ago
- Congruence Closure Procedure in Cubical Agda☆19Aug 19, 2020Updated 5 years ago
- The automated download script for e621.net. Originally by @wwyaiykycnf.☆11Jul 15, 2020Updated 5 years ago
- My modular dotfiles with an emphasis on neovim, zsh & git , plus easy ruby install + updating.☆64Updated this week
- 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.
- A Campfire to IRC bridge☆128Aug 12, 2014Updated 11 years ago
- Haskell port of the Hashids library.☆24Dec 30, 2023Updated 2 years ago
- A Syncthing GUI for macOs. Development halted☆22Aug 6, 2016Updated 9 years ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆18Jul 30, 2020Updated 5 years ago
- Theme generator☆29Dec 3, 2017Updated 8 years ago
- A theme for GNOME 3.10 and Firefox.☆41Jan 5, 2014Updated 12 years ago
- An application to manage webhooks☆20Jul 1, 2015Updated 10 years ago