A collection of the dotfiles I use
☆44May 18, 2026Updated this week
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:
- These are Lean translations of Ninety-Nine Haskell Problems (WIP)☆16Feb 28, 2025Updated last year
- Master's thesis - Immutable package management for Linux☆22Jul 12, 2023Updated 2 years ago
- 3D Fishing Game☆35Sep 9, 2024Updated last year
- maze game encoded in Lean 4 syntax☆70Jul 2, 2025Updated 10 months ago
- Kuroshimu is a procedural black box investigation game: guess what happened to 6 persons trapped by a cute journalist dog in an endlessly…☆10May 20, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- My dotfiles☆47May 7, 2026Updated 2 weeks ago
- A compact C library to parse SDLang (http://sdlang.org/) text.☆13Jun 8, 2020Updated 5 years ago
- Lean4 bindings for raylib☆24Apr 25, 2026Updated 3 weeks ago
- A wrapper for `fzf` written in rust, for rust☆10Jul 29, 2024Updated last year
- Theme generator☆29Dec 3, 2017Updated 8 years ago
- A minimalist, multithreaded X window manager with a plugin architecture (WIP)☆11Sep 24, 2017Updated 8 years ago
- Send emails right from the terminal using Rust!☆10Mar 8, 2022Updated 4 years ago
- Convert SSH Ed25519 keys to age keys. This is useful for usage in sops-nix and sops.☆20Jun 7, 2025Updated 11 months ago
- Settings used for CachyOS Qtile☆11Sep 29, 2025Updated 7 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- My rices are here.☆22Jul 12, 2025Updated 10 months ago
- ☆13Dec 31, 2023Updated 2 years ago
- Full-featured terminal in Emacs☆21Sep 30, 2025Updated 7 months ago
- @fdehau does dotfiles☆14Oct 1, 2025Updated 7 months ago
- A pseudo terminal scroller for st☆11Apr 29, 2017Updated 9 years ago
- LINEBot☆13Apr 7, 2025Updated last year
- Packages Search for Nixos/Nixpkgs☆35Jul 22, 2025Updated 10 months ago
- Data oriented application framework written in Zig (ECS). Very similar API to Bevy☆33Updated this week
- vague2k's arch linux dotfiles☆19Jun 1, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Chess in Lean 4☆31Feb 14, 2026Updated 3 months ago
- A CLI tool that creates gradient ASCII art from text with FIGlet and style.☆10Mar 7, 2023Updated 3 years ago
- watchmenu - dmenu script to effortlessly watch your media collection☆12Dec 10, 2024Updated last year
- Obsidian plugin for publishing articles to forums built with Discourse. obsidian插件, 用于把文章发布到使用discourse搭建的论坛.☆12Feb 11, 2026Updated 3 months ago
- animal crossing new horizons critter calculator☆12Jul 9, 2025Updated 10 months ago
- ☆33Dec 13, 2025Updated 5 months ago
- CLI tool to analyze node_modules sizes☆18May 7, 2025Updated last year
- A delightful audio player for Android.☆12Mar 2, 2025Updated last year
- Open, Free, Modern, HTML-based Window Manager for the Modern Web and Apps☆12Jun 4, 2019Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- This will export ProseMirror content state to HTML, Plain Text, or Markdown☆20Jun 1, 2017Updated 8 years ago
- My personal NixOS configuration☆18Apr 12, 2025Updated last year
- lightweight & automatic tag-based time-tracking program☆15Apr 9, 2026Updated last month
- My NixOS configurations and packages☆17May 5, 2026Updated 2 weeks ago
- Dotfiles bare repo☆21Feb 8, 2026Updated 3 months ago
- Shows consolidated Tailwind CSS styles applied to the element under the cursor.☆33Feb 28, 2026Updated 2 months ago
- home-manager on Gentoo + Void Linux, NixOS - with Emacs (vanilla + doom), herbstluftwm, i3, and other tools☆34Updated this week