Configuration files for common *nix tools
☆20Sep 30, 2026Updated last month
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 3 years ago
- Renovate configuration presets☆19Oct 23, 2026Updated last week
- Multi-host Nix/NixOS configuration with home-manager and impermanence.☆15Dec 20, 2025Updated 10 months ago
- A Home Assistant Authentication Provider that can use Open ID☆22Nov 23, 2025Updated 11 months ago
- A Nix flake ❄️ for configuring my boxen using NixOS, Home Manager, Disko, Stylix, and more. Now in dendritic-ish style!☆13Updated this week
- 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.
- ☆11Apr 12, 2025Updated last year
- My customized version of tmux, built with Nix.☆14Jul 28, 2026Updated 3 months ago
- Like Tanka, but for KCL☆12Jul 3, 2024Updated 2 years ago
- 🛜 Bash script for connecting to DTUsecure on campus and setting up eduroam.☆20Oct 25, 2026Updated last week
- K3S and Rancher on VirtualBox machines☆12Feb 23, 2022Updated 4 years ago
- ☆10Jun 1, 2023Updated 3 years ago
- Moved to https://codeberg.org/KaOS/live-uefi☆12Nov 15, 2024Updated last year
- A colorful Design circle icon theme for linux desktops☆11Oct 2, 2021Updated 5 years ago
- Korora packaging tool☆11May 7, 2018Updated 8 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.
- A DCPU-16 emulator and DASM (dis)assembler with a library interface☆12Feb 5, 2017Updated 9 years ago
- The HomeAssiatant custom component. Allows you to manage the following devices connected to the XiaomiGateway: - Lamp "Aqara LED Light B…☆16Oct 31, 2020Updated 6 years ago
- Make a fresh Debian Gnome installation to look like the Ubuntu Desktop☆11Aug 12, 2025Updated last year
- The glue that helps maintain a Kubernetes Home Lab☆12Jan 14, 2023Updated 3 years ago
- Automated scripts to install arch linux on macbook pro 11,4.☆28Oct 25, 2020Updated 6 years ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- ☆12Oct 27, 2026Updated last week
- d77void iso creator☆15Oct 23, 2026Updated last week
- Create a labwc theme based on current Gtk theme☆15Feb 11, 2025Updated last year
- 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.
- ☆17Aug 13, 2017Updated 9 years ago
- ☆22Apr 4, 2017Updated 9 years ago
- Lean implementations of things found in Certified Programming with Dependent Types☆15Jun 5, 2022Updated 4 years 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 3 years ago
- Распознавание русской речи в командной строке: GigaAM v3, ONNX int8, на процессоре, без интернета☆29Oct 16, 2026Updated 2 weeks ago
- Linux-only CLI for viewing and changing settings on compatible Tamron lenses.☆25Sep 12, 2026Updated last month
- A kubectl plugin for allowing kubectl plugin completions☆15Jun 7, 2022Updated 4 years ago
- Gruvbox+ dark theme for GTK2 and GTK3☆14Apr 15, 2024Updated 2 years ago
- Floating rotation board overlay for Wuthering Waves☆33Oct 7, 2026Updated 3 weeks 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.
- Install, configure and run dehydrated Let's Encrypt client☆11May 14, 2024Updated 2 years ago
- 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
- NadyMainJade Theme for Hexo☆10Oct 22, 2014Updated 12 years ago
- Makes Qt apps at home in Cutefish: dark mode, system fonts and icons, the Cutefish file chooser, consistent touchpad scrolling, and SVG/H…☆14Oct 19, 2026Updated 2 weeks ago
- Kubernetes operator configuring out of cluster databases☆18Mar 31, 2025Updated last year
- my configuration files☆16Sep 13, 2026Updated last month
- Sokoban implementation in lean for proving solvability / unsolvability☆14Apr 21, 2021Updated 5 years ago