this repo contains dotfiles of my setups
☆56May 14, 2021Updated 5 years ago
Alternatives and similar repositories for dotfiles
Users that are interested in dotfiles 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 Arch Linux dotfiles.☆17Nov 24, 2021Updated 4 years ago
- Load environment variables from files and directories using fish shell, like envdir☆26May 18, 2022Updated 4 years ago
- bitmap font☆14Jun 17, 2020Updated 6 years ago
- Bachelor's thesis 2019☆12Jun 3, 2023Updated 3 years ago
- Contains dotfiles for my linux systems☆12Oct 5, 2026Updated last week
- 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.
- ELTE Final Exam☆11Jan 26, 2020Updated 6 years ago
- A blog about Coq☆11Mar 21, 2021Updated 5 years ago
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- ☆12Apr 1, 2026Updated 6 months ago
- 📄 Personal Curiculum Vitae. Based on moderncv LaTeX package.☆18Jan 6, 2026Updated 9 months ago
- Quick selection widget for Markdown notes, inspired by terminal_velocity☆13Jul 2, 2020Updated 6 years ago
- A simple grayscale vim color scheme with a little touch of red☆10Dec 10, 2019Updated 6 years ago
- A terminal animation made in bash☆12Feb 27, 2019Updated 7 years ago
- A collection of my dotfiles☆10Nov 2, 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.
- ☆14Nov 3, 2018Updated 7 years ago
- My personal configuration files and scripts. Managed with yadm. Supports MacOS, Ubuntu and WSL☆14Sep 25, 2026Updated 3 weeks ago
- just another prompt☆15Jan 19, 2021Updated 5 years ago
- Notch's Herp Fortress☆30Jun 2, 2012Updated 14 years ago
- ☆25Mar 28, 2023Updated 3 years ago
- My dotfiles for Arch-based Linux. Vim, i3-gaps, Rofi, Polybar, Dunst, Wpgtk...☆20May 11, 2019Updated 7 years ago
- Dotfiles of my last wm, managed by GNU stow.☆814Sep 29, 2026Updated 2 weeks ago
- Ansible role to install Check_MK RAW Edition☆12Nov 18, 2025Updated 10 months ago
- NX Kvantum theme☆11Jul 8, 2022Updated 4 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.
- Pretty and minimal ZSH theme☆13Dec 10, 2020Updated 5 years ago
- Experiments in formalizing refinement type systems in Coq☆18Feb 7, 2016Updated 10 years ago
- N0tes to the rescue!☆11Mar 1, 2019Updated 7 years ago
- vim, zsh, tmux dotfiles☆11Nov 30, 2025Updated 10 months ago
- An api server that exports a subset of rrdtool commands over http.☆15Jun 9, 2022Updated 4 years ago
- A Firefox WebExtension Experiment addon to provide unrestricted legacy addon functionality to WebExtension addons.☆12Mar 19, 2019Updated 7 years ago
- The official Github Repo and Download for the FNAF Mod☆10Nov 10, 2015Updated 10 years ago
- Oh-My-ZSH prompt inspired by robbyrussell theme + pure prompt☆14Dec 23, 2017Updated 8 years ago
- Some functions for AHK ListBoxes.☆20Aug 19, 2020Updated 6 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.
- ☆14May 10, 2023Updated 3 years ago
- Configuration files for arch linux and macOS☆237Nov 6, 2024Updated last year
- My custom userChrome.css for use with Firefox Quantum and wpg☆13Aug 31, 2020Updated 6 years ago
- All in one media Converter / Muxer / Demuxer / Renamer for Multiple files☆17May 18, 2023Updated 3 years ago
- A Firefox userChrome for FF Quantum v57+☆12Oct 26, 2019Updated 6 years ago
- Autoupdate plugin for zgen☆21May 7, 2021Updated 5 years ago
- Various reuseable files for developing a plasma widget.☆15Aug 6, 2024Updated 2 years ago