~anish [local config] • powered by https://github.com/anishathalye/dotbot 🏠
☆83Oct 6, 2026Updated this week
Alternatives and similar repositories for dotfiles-local
Users that are interested in dotfiles-local are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ~anish • powered by https://github.com/anishathalye/dotbot 💾☆756Aug 26, 2026Updated last month
- A template for structuring dotfiles (using Dotbot as an installer) 📜☆207Aug 3, 2025Updated last year
- Tools for reasoning about circuits in Rosette/Racket 🔌☆20Feb 1, 2025Updated last year
- A macro system for hubot 💨☆16Mar 5, 2023Updated 3 years ago
- Solo Man Addon☆10Aug 31, 2015Updated 11 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 tool that bootstraps your dotfiles ⚡️☆8,016Jul 12, 2026Updated 3 months ago
- Quickly get your dotfiles up and running☆256Oct 5, 2020Updated 6 years ago
- Indexing/curating/documenting Siri Shortcuts on RoutineHub.☆18Oct 29, 2022Updated 3 years ago
- An example project to demonstrate the new scripting capabilities of Shortcuts For Mac.☆25Jun 29, 2021Updated 5 years ago
- No more custom backup scripts please ...☆10Oct 25, 2017Updated 8 years ago
- Library of Coq proof automation☆16Apr 1, 2026Updated 6 months ago
- Assorted stuff about iOS shortcuts. Initially forked from and inspired by @ActuallyZach/Shortcuts.☆14Nov 12, 2022Updated 3 years ago
- 💻Personal dotfiles for mac and wsl☆32Jun 16, 2026Updated 3 months ago
- A tool for formally verifying constant-time software against hardware 🕰️☆17Feb 1, 2025Updated last year
- 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.
- My iOS Shortcuts☆21Nov 9, 2018Updated 7 years ago
- /etc/skel with super cool confs for tmux, psql, inputrc, git, bash, dircolors, and more.☆26Nov 23, 2018Updated 7 years ago
- A simple progress / loading bar for your Bash scripts☆58Jul 28, 2013Updated 13 years ago
- Shell dotfiles, conf.d stype, for multiple shells (bash, zsh)☆71May 3, 2017Updated 9 years ago
- My MEng thesis code - verifying a security property for an SoC with Rosette☆18Jun 9, 2021Updated 5 years ago
- Get the URL from a web shortcut file☆15Aug 14, 2021Updated 5 years ago
- My humble list of ~/.dotfiles: an opinionated attempt for a cross-shell setup.☆105Apr 16, 2018Updated 8 years ago
- Can it be... that we can really maintain a public archive of installable Shortcuts files once again?☆36Jan 28, 2023Updated 3 years ago
- Analyze and visualize your You Need A Budget (YNAB) data. YNAB meets R programming language.☆12Jan 19, 2023Updated 3 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.
- 0-100 macOS bootstrap and topical setup maintained with a simple Makefile☆48Sep 24, 2026Updated 2 weeks ago
- An ongoing, (hopefully) complete, collaborative list of all Mastodon apps on iOS.☆38May 11, 2024Updated 2 years ago
- Open the URL from a web shortcut file☆17Nov 3, 2021Updated 4 years ago
- Thoughts and resources for Simplified Contract English: a controlled natural language for writing contracts☆11Aug 1, 2016Updated 10 years ago
- Open the URL from a web shortcut file in the browser☆20Nov 3, 2021Updated 4 years ago
- Sample notebooks for Juno☆11Mar 1, 2025Updated last year
- Automated Mass Exploiter☆12Apr 14, 2019Updated 7 years ago
- scripts for bill of materials generation from kicad☆13Aug 22, 2023Updated 3 years ago
- Patterns in NYT production from 1987 to 2007☆11Nov 6, 2017Updated 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.
- This is the Starter Pack for Genie games. Containing everything a games developer might need to start building a game using the Genie fra…☆16Aug 7, 2024Updated 2 years ago
- Session notes, data, instructions and examples for a hands-on workshop on using a diverse set of tools and practices for journalistic dat…☆14Aug 2, 2016Updated 10 years ago
- A list of awesome comparison projects☆14Mar 13, 2018Updated 8 years ago
- A docker image allowing you to manage your domains and certificates and automatically renews them.☆13Jun 5, 2018Updated 8 years ago
- Configuration repository containing most customized home folder dotfiles.☆54Jul 29, 2022Updated 4 years ago
- Get the URL from a web shortcut file☆17Aug 14, 2021Updated 5 years ago
- Rust library for program synthesis of string transformations from input-output examples 🔮☆28Feb 1, 2025Updated last year