my dotfiles managed with stow, for macos, nvim, terminal and more
☆24Mar 13, 2026Updated last week
Alternatives and similar repositories for dotfiles
Users that are interested in dotfiles are comparing it to the libraries listed below
Sorting:
- Create persistent virtual notes / comments in neovim☆22Feb 13, 2026Updated last month
- An example of parallax scrolling on Windows Phone 8☆10Mar 19, 2014Updated 12 years ago
- ☆25Feb 19, 2026Updated last month
- Dialouge template☆17Feb 4, 2025Updated last year
- Gui framework inspired by druid and flutter☆17Sep 14, 2022Updated 3 years ago
- Neovim plugin that helps manage python requirements.☆30Jan 14, 2026Updated 2 months ago
- Draw or animate with a mouse in your terminal☆10Feb 25, 2023Updated 3 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- ☆15Oct 8, 2024Updated last year
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆17Dec 8, 2023Updated 2 years ago
- Make a truth table in Typst☆14May 11, 2025Updated 10 months ago
- Figuring out the best words to use for the first guess in WORDLE☆12Jan 4, 2023Updated 3 years ago
- a python code runner for Quartz static site generator☆11Aug 15, 2025Updated 7 months ago
- A terminal interface for your AI terminal assistant.☆19May 30, 2025Updated 9 months ago
- A comprehensive Message Control Protocol (MCP) server for Kafka Schema Registry.☆31Mar 11, 2026Updated last week
- 🍏 A music player app in the style of old iOS (mostly versions 4, 5 & 6).☆14Mar 21, 2023Updated 3 years ago
- A minimal browser start page built around vim-inspired mnemonic shortcuts☆10Updated this week
- ☆14May 10, 2023Updated 2 years ago
- ☆24Jan 11, 2026Updated 2 months ago
- toy implementation of Hindley-Milner type system that prints out inference steps☆17Oct 26, 2025Updated 4 months ago
- 📜 Syntax highlighting and auto indentation for clingo/gringo.☆13Jul 22, 2022Updated 3 years ago
- Qute: a dependency learning QBF solver.☆15Mar 11, 2026Updated last week
- A command line tool to setup, register and maintain your SKALE node. Written in Python.☆21Mar 6, 2026Updated 2 weeks ago
- Sensitive-rs is a Rust library for finding, validating, filtering, and replacing sensitive words. It provides efficient algorithms to han…☆22Mar 11, 2026Updated last week
- Rust crate that generates clear releases based on milestones.☆13Jan 2, 2025Updated last year
- A regex crate using Brzozowski derivatives.☆28Apr 24, 2025Updated 10 months ago
- Single assignment and lazy maps☆20Sep 25, 2025Updated 5 months ago
- A tool for explainability and debugging in Answer Set Programming.☆15Mar 25, 2025Updated 11 months ago
- A skhd alternative☆18Aug 8, 2025Updated 7 months ago
- An textbook about Ordinary Differential Equations targeted towards an active-learning class☆19Jan 17, 2026Updated 2 months ago
- A Casper handshake peer aware of its own identity☆15Nov 24, 2025Updated 3 months ago
- A shell script that configures glfw, glad, cglm and sokol for ARM-based Macs and provides a basic project structure with a starting sourc…☆21Oct 29, 2025Updated 4 months ago
- ☆17May 31, 2025Updated 9 months ago
- Save money by booking split-tickets with Deutsche Bahn☆26Aug 12, 2025Updated 7 months ago
- A VS Code extension that enhances the quick open functionality with file previews, similar to Telescope in Neovim.☆19Nov 16, 2025Updated 4 months ago
- Byte-level byte pair encoding (BPE) in Haskell☆17May 27, 2024Updated last year
- AST export from Lean 4☆17Jul 25, 2024Updated last year
- Bindings to libclingo for the lean4 prover and programming language!☆21Nov 27, 2024Updated last year
- Monadic Constraint Programming framework☆28May 9, 2018Updated 7 years ago