Configuration files for common *nix tools
☆20May 13, 2026Updated 3 weeks 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.☆10Oct 20, 2023Updated 2 years ago
- Renovate configuration presets☆19Jun 5, 2026Updated last week
- Golang API Client for https://goauthentik.io☆21Jun 3, 2026Updated last week
- A Home Assistant Authentication Provider that can use Open ID☆22Nov 23, 2025Updated 6 months ago
- My customized version of tmux, built with Nix.☆16Nov 6, 2025Updated 7 months 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.
- My personal monorepo, containing my dotfiles and related infrastructure☆13Updated this week
- Moved to https://codeberg.org/KaOS/live-uefi☆12Nov 15, 2024Updated last year
- My NixOS wayland dotfiles☆74Jun 3, 2026Updated last week
- ☆12Jun 3, 2026Updated last week
- ☆10Jun 1, 2023Updated 3 years ago
- ☆22Apr 4, 2017Updated 9 years ago
- A DCPU-16 emulator and DASM (dis)assembler with a library interface☆12Feb 5, 2017Updated 9 years ago
- Neovim colorscheme based on pywal☆10Feb 5, 2024Updated 2 years ago
- ☆11May 22, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- octostore.io☆49Updated this week
- Korora packaging tool☆11May 7, 2018Updated 8 years ago
- Various tools and scripts used by the Numix Project☆13Jul 11, 2020Updated 5 years ago
- Gruvbox+ dark theme for GTK2 and GTK3☆13Apr 15, 2024Updated 2 years ago
- VKCapture with KMSGrab included☆12Sep 9, 2024Updated last year
- The glue that helps maintain a Kubernetes Home Lab☆12Jan 14, 2023Updated 3 years ago
- NadyMainJade Theme for Hexo☆10Oct 22, 2014Updated 11 years ago
- Alertmanager Middleware for Uptime Kuma Push monitor☆19May 26, 2026Updated 2 weeks ago
- Qt platform theme plugin, unified style.☆14May 23, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- my configuration files☆16Mar 26, 2026Updated 2 months ago
- Scripts to automate IPv6 maintenance on RouterOS, and more☆16May 14, 2026Updated 3 weeks 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
- Individual JSON Schemas for Flux CRDs☆48Oct 6, 2025Updated 8 months ago
- A kubectl plugin for allowing kubectl plugin completions☆15Jun 7, 2022Updated 4 years ago
- Metamath logic game☆10Apr 21, 2026Updated last month
- 🧊 TeX-подібна система верстки наукових праць☆20Mar 23, 2026Updated 2 months ago
- Lean 3 web editor☆12Oct 25, 2023Updated 2 years ago
- Gruvbox Plus theme for KDE Plasma☆27Nov 19, 2025Updated 6 months 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.
- A community opinionated template for deploying Kubernetes clusters on-prem and in AWS using Pulumi, SOPS, Sealed Secrets, GitHub Actions,…☆17Sep 17, 2025Updated 8 months ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Install, configure and run dehydrated Let's Encrypt client☆11May 14, 2024Updated 2 years ago
- SQLite bindings for Lean☆44May 28, 2026Updated 2 weeks ago
- A repository for (mostly) everything that starts with a dot on my Arch Linux systems.☆21Apr 13, 2023Updated 3 years ago
- New icon theme for Linux with dualtone☆11Jun 30, 2023Updated 2 years ago
- Experiments with some ways of automating reasoning in lean 4☆18Apr 20, 2024Updated 2 years ago