Configuration files for common *nix tools
☆20Jul 17, 2026Updated 2 months 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:
- A collection of basic Rust projects for learning the language.☆11Oct 20, 2023Updated 2 years ago
- Renovate configuration presets☆19Sep 14, 2026Updated last week
- Golang API Client for https://goauthentik.io☆21Updated this week
- A Home Assistant Authentication Provider that can use Open ID☆22Nov 23, 2025Updated 10 months ago
- A Nix flake ❄️ for configuring my boxen using NixOS, Home Manager, Disko, Stylix, and more. Now in dendritic-ish style!☆10Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- My home or for-home infrastructure written as code defining GitOps principles for Kubernetes clusters.☆107Updated this week
- Code and configuration used to manage the fleets of k8s and Terraform clusters managing the Waltr.Tech environment☆30Updated this week
- My personal monorepo, containing my dotfiles and related infrastructure☆14Updated this week
- My NixOS wayland dotfiles☆79Sep 3, 2026Updated 3 weeks ago
- K3S and Rancher on VirtualBox machines☆12Feb 23, 2022Updated 4 years ago
- Stable release of snapwm☆16May 20, 2020Updated 6 years ago
- ☆12Updated this week
- ☆10Jun 1, 2023Updated 3 years ago
- A DCPU-16 emulator and DASM (dis)assembler with a library interface☆12Feb 5, 2017Updated 9 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.
- Neovim colorscheme based on pywal☆10Feb 5, 2024Updated 2 years ago
- Korora packaging tool☆11May 7, 2018Updated 8 years ago
- Gruvbox+ dark theme for GTK2 and GTK3☆14Apr 15, 2024Updated 2 years ago
- Script that switches monitor profiles automatically while Nvidia is streaming through GameStream.☆14Jan 15, 2023Updated 3 years ago
- VKCapture with KMSGrab included☆12Sep 9, 2024Updated 2 years ago
- NadyMainJade Theme for Hexo☆10Oct 22, 2014Updated 11 years ago
- The glue that helps maintain a Kubernetes Home Lab☆12Jan 14, 2023Updated 3 years ago
- Qt platform theme plugin, unified style.☆14Sep 2, 2026Updated 3 weeks ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 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.
- Experimental deltachat client☆15May 11, 2024Updated 2 years ago
- Individual JSON Schemas for Flux CRDs☆49Oct 6, 2025Updated 11 months ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Greybird pack for Plasma Desktop☆12Sep 14, 2022Updated 4 years ago
- ☆16Aug 13, 2023Updated 3 years ago
- Metamath logic game☆10Aug 11, 2026Updated last month
- A community opinionated template for deploying Kubernetes clusters on-prem and in AWS using Pulumi, SOPS, Sealed Secrets, GitHub Actions,…☆17Sep 17, 2025Updated last year
- An attempt to design custom firmwares for xiaomi zigbee devices (based upon JN5169 mcu).☆13Feb 2, 2020Updated 6 years ago
- Formal grammars in Lean 3☆10Aug 14, 2023Updated 3 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.
- Experiments with some ways of automating reasoning in lean 4☆19Apr 20, 2024Updated 2 years ago
- New icon theme for Linux with dualtone☆11Aug 25, 2026Updated 3 weeks ago
- Dell XPS 13 NixOS and home-manager configuration☆39May 10, 2026Updated 4 months ago
- ☆13Jul 5, 2023Updated 3 years ago
- Create a labwc theme based on current Gtk theme☆15Feb 11, 2025Updated last year
- AnduinOS Document☆15Feb 12, 2026Updated 7 months ago
- Papirus folders with KDE Color Scheme support☆15Aug 8, 2024Updated 2 years ago