My Linux dotfiles
☆24Mar 16, 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:
- My flake based NixOS configuration☆16Feb 13, 2026Updated 2 months ago
- dired minor mode to ignore files that are to be ignored by git☆21Jan 31, 2026Updated 3 months ago
- Nixpkgs Overlays relating to RockPRO64, Pinebook Pro and similar devices☆13Apr 6, 2022Updated 4 years ago
- ☆30Feb 22, 2022Updated 4 years ago
- Telescope extension wrapper around `:scriptnames`☆10Mar 7, 2023Updated 3 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.
- ☆24Jan 17, 2023Updated 3 years ago
- ☆15Feb 7, 2026Updated 2 months ago
- My ever-evolving Emacs config at work. Targeting emacs master build on OSX.☆17Sep 17, 2025Updated 7 months ago
- Alternative firmware for the misfit flash☆18Jul 3, 2016Updated 9 years ago
- Rick and Morty☆15Aug 11, 2022Updated 3 years ago
- A Graphical add-on for Blender for Creating and Loading AMBF Models☆16Apr 22, 2025Updated last year
- An implementation of scoped algebraic effects and handlers in Agda.☆15Mar 11, 2021Updated 5 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Opa port of the TodoMVC app☆24Mar 11, 2012Updated 14 years ago
- 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.
- RofikKernel for LG V60 V600 TM/EU/USA/VZN/JP/KOREA for a11-a13 | STOCK + KERNELSU | Release Build at https://www.pling.com/p/1858015☆14Nov 14, 2023Updated 2 years ago
- Dr460nixed NixOS 🐉❄️☆59Updated this week
- Unison syntax highlighting for VS code☆10Jul 13, 2022Updated 3 years ago
- Small Anime Widget For Neovim ☄️☆13Feb 17, 2023Updated 3 years ago
- Yixe is an experimental interface to declarative build environments.☆22Apr 1, 2025Updated last year
- Library for proving propositions quantified over finite sets☆14Sep 21, 2022Updated 3 years ago
- ☆21May 22, 2025Updated 11 months ago
- A modular emacs config based on the straight package manager☆11Jul 19, 2022Updated 3 years ago
- Library classes for the Twelf Proof System☆23Jun 16, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Configuration files for my workstations using nixos, nix-darwin and home-manager.☆14Oct 6, 2022Updated 3 years ago
- The implementation of an SMTLib dialect for xDSL☆18Apr 16, 2026Updated 2 weeks ago
- My NiriWM dotfiles☆33Jul 30, 2025Updated 9 months ago
- Automatically fix Nix/NixOS error `SQLite statement 'delete from ValidPaths where path = *;': constraint failed`☆13Mar 17, 2025Updated last year
- Clone ELPA archive☆11Feb 26, 2026Updated 2 months ago
- ☆30Apr 25, 2026Updated last week
- JSDoc extension for coc.nvim that generates detailed JSDoc comments for TypeScript/JavaScript files.☆17Mar 26, 2026Updated last month
- My personal NixOS configs☆13Updated this week
- NixOS configuration for all my machines☆30Apr 24, 2026Updated last week
- 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.
- Meta-programming utilities for Agda.☆20Apr 24, 2026Updated last week
- ☆11Feb 19, 2026Updated 2 months ago
- Code to make it easier to manage many prompts in GPTel☆87Mar 25, 2026Updated last month
- An agda2hs-compatible library for well-scoped syntax☆11Apr 15, 2026Updated 2 weeks ago
- clap coc.nvim☆71Sep 18, 2021Updated 4 years ago
- Generate Terraform files from DRY Nix expressions☆14Apr 12, 2024Updated 2 years ago
- A personal MobileNixos adventure☆23Sep 27, 2022Updated 3 years ago