☆19Jun 6, 2025Updated 8 months ago
Alternatives and similar repositories for dotfiles
Users that are interested in dotfiles are comparing it to the libraries listed below
Sorting:
- Heartland's node.js SDK for connecting to our Portico Payment Gateway.☆12Feb 25, 2025Updated last year
- A chrome extension that notifies when ChatGPT is done speaking☆11Aug 9, 2024Updated last year
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- ☆14Feb 25, 2026Updated last week
- Template for new Workers☆144Feb 20, 2026Updated last week
- Emulate the AWS IoT Button on a Raspberry Pi with a simple push button using this C++ sample☆10Sep 16, 2016Updated 9 years ago
- Sample Ansible RPC playbook☆11Oct 30, 2021Updated 4 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- Toy distributed PostgreSQL by implementing SQL over KV☆11Jan 14, 2026Updated last month
- ☆13Feb 3, 2026Updated last month
- Build TypeScript functions that are durable by default; no PhD required.☆15Apr 3, 2025Updated 11 months ago
- ☆14Updated this week
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- ☆10Nov 6, 2024Updated last year
- Semantic analysis engine for detecting vulnerability fixes in Windows kernel driver patches — 58 YAML rules, Ghidra decompilation, reacha…☆49Updated this week
- ☆13Jun 22, 2020Updated 5 years ago
- ☆16Nov 20, 2024Updated last year
- A predictable event emitter for pragmatists, written in TypeScript.☆11Dec 20, 2025Updated 2 months ago
- ☆13Jul 10, 2024Updated last year
- Context Logger for Golang☆23Oct 31, 2025Updated 4 months ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- Lightweight client-side router that supports history and hash routing plus web components☆10Jan 20, 2025Updated last year
- A baseline UI as Mixins, Custom Elements, React Components, etc.☆10Oct 13, 2025Updated 4 months ago
- Raspberry Pi 5 with Arch Linux ARM and encrypted root☆14Jul 20, 2024Updated last year
- Framework agnostic, zero dependency, client-side web component router.☆19Apr 9, 2025Updated 10 months ago
- A simple CLI utility to import songs from a text or CSV file into your Spotify playlist or library☆12Jun 17, 2023Updated 2 years ago
- Detect and remove unused dependencies for Python projects☆18Apr 5, 2025Updated 10 months ago
- Streamline Rete.js-based application development☆19Jan 9, 2026Updated last month
- MCP is a command-line tool and local UI for discovering, installing and managing Model Context Protocol servers.☆14Dec 28, 2024Updated last year
- JCS (JSON Canonicalization Scheme), JSON digests, and JSON Merkle hashes☆16Mar 10, 2024Updated last year
- Best Material You Design music player for Android☆12Jul 24, 2024Updated last year
- Official codebase for our NeurIPS paper, Symmetry-Informed Governing Equation Discovery.☆11Nov 13, 2024Updated last year
- show flycheck errors in the frame title☆10Mar 21, 2021Updated 4 years ago
- A terminal wrapper for Claude Code that monitors output with regex patterns and triggers notifications/commands. No more missed prompts!☆25Jul 17, 2025Updated 7 months ago
- ☆18Nov 5, 2025Updated 3 months ago
- An example of using Octave on mybinder.org☆15Apr 25, 2025Updated 10 months ago
- A little Rails app to help manage your finances☆12Apr 24, 2017Updated 8 years ago
- USP Game Development Kit or USPGameDev Kit =D☆18Jun 15, 2018Updated 7 years ago
- Apple's AirPods status indicator for elementary OS Wingpanel☆12Feb 18, 2025Updated last year