Everything is now in nix (see x-zvf/nix)
☆53Jan 7, 2024Updated 2 years ago
Alternatives and similar repositories for dotfiles-legacy
Users that are interested in dotfiles-legacy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Python library to query APT repositories☆13Aug 6, 2024Updated last year
- i3lock fork with option to execute script on failed authorization (unmaintained)☆11Jul 26, 2019Updated 6 years ago
- Tool to analyse the import structure of lean projects.☆20Apr 17, 2026Updated 2 weeks ago
- A very very simple sinatra app for shortening URLs.☆53Apr 10, 2009Updated 17 years ago
- find quickly font awesome characters☆12Mar 27, 2019Updated 7 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.
- ROS interfaces for the ZED ROS Wrapper☆15Jan 22, 2026Updated 3 months ago
- ☆14May 19, 2019Updated 6 years ago
- Ridiculously simple and compact personal URL shortener, powered by Bottle.☆12Dec 16, 2011Updated 14 years ago
- AST export from Lean 4☆17Jul 25, 2024Updated last year
- Config files for wm and terminal apps☆16Oct 21, 2025Updated 6 months ago
- A simple task list☆12Oct 4, 2017Updated 8 years ago
- Bash scripts for doing installations in one go.☆16Mar 29, 2020Updated 6 years ago
- Interfacing with Large Language Models (remote and local) from Lean.☆28Jul 15, 2024Updated last year
- 📝 A powerful, portable utility for production screenplays and manuscripts☆19Feb 21, 2026Updated 2 months 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.
- A colorful and intuitive syntax theme for Atom☆17Oct 24, 2019Updated 6 years ago
- my phork of elkowar's phork of phocus.☆11Jul 11, 2022Updated 3 years ago
- 🐧 ➜ ~☆10Dec 10, 2023Updated 2 years ago
- Personal website☆13May 5, 2024Updated last year
- cursor location indicator for x11☆17Aug 18, 2020Updated 5 years ago
- exerl☆16Feb 12, 2025Updated last year
- material ocean theme for Gnome and GTK based DE's☆13Sep 5, 2020Updated 5 years ago
- Simple, suckless-style color grabber☆24Jan 17, 2021Updated 5 years ago
- Configuration file for linux distro☆37Nov 8, 2020Updated 5 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.
- Over 230 terminal color schemes/themes for iTerm/iTerm2. Includes ports to Terminal, Konsole, PuTTY, Xresources, XRDB, Remmina, Termite, …☆10Jun 10, 2021Updated 4 years ago
- A simple script to install chaotic AUR in arch linux or arch based distros!☆12Nov 26, 2025Updated 5 months ago
- XBMC repository for my skin mods☆18Mar 31, 2026Updated last month
- X Resouce Database Manager☆68Mar 7, 2020Updated 6 years ago
- Various command line scripts that make my life easier.☆17Jan 19, 2026Updated 3 months ago
- ☆16Apr 13, 2025Updated last year
- My AwesomeWM configuration. [Mirror]☆10Aug 15, 2025Updated 8 months ago
- ☁️A Tiny Cloud Service to Build Image Datasets with Instagram 📸☆11Apr 30, 2019Updated 7 years ago
- A macro impl and discussion about named & default args in Rust.☆18Dec 20, 2018Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- [UR 2023] Robust Route Planning with Distributional Reinforcement Learning in a Stochastic Road Network Environment☆22Jun 19, 2024Updated last year
- Make Gedit use the dark version of your GTK+ theme☆10Dec 9, 2023Updated 2 years ago
- Docker container for use with Multi-layer Recurrent Neural Networks (LSTM, GRU, RNN) for character-level language models in Torch☆10Jan 19, 2019Updated 7 years ago
- A library and command line tool to control the Ikea Tradfri smart home gateway and bulbs.☆11Jun 19, 2020Updated 5 years ago
- Firefox themes based on the Pop!_OS style guide.☆15Dec 7, 2022Updated 3 years ago
- This an android app aimed to assist those who wish to improve in Super Smash Bros. Melee☆24Dec 12, 2018Updated 7 years ago
- Color scheme editor for Gedit☆15Nov 21, 2018Updated 7 years ago