The dotfiles I infect my computers with
☆12Jan 4, 2025Updated last year
Alternatives and similar repositories for pokerus
Users that are interested in pokerus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ⚙ Here be Dots...☆30Sep 18, 2026Updated last month
- Library of Coq proof automation☆16Apr 1, 2026Updated 7 months ago
- ☆12Mar 24, 2026Updated 7 months ago
- Efficiently recording and reproducing failures in deployed applications☆15Feb 1, 2022Updated 4 years ago
- A Dependently Timed Drum Machine Language☆12May 4, 2024Updated 2 years ago
- 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.
- A Hyprland plugin to enable windowrules and IPC events for window move and resize events☆14Jan 16, 2026Updated 9 months ago
- If Sonos is playing audio, turn on my Denon amps.☆12Jun 21, 2015Updated 11 years ago
- My dotfiles☆11Apr 7, 2019Updated 7 years ago
- Complete email addresses with nomtuch address when composing email in vim.☆20Jul 19, 2017Updated 9 years ago
- APRS Notification bot for various Social Media Networks☆16Nov 23, 2024Updated last year
- Agent-aware session manager for tmux & herdr — discover projects, launch sessions, and track your AI agents work.☆23Updated this week
- ☆15Sep 6, 2024Updated 2 years ago
- A Coq library providing tactics to deal with hypothesis☆23Apr 13, 2026Updated 6 months ago
- My personal site.☆10Oct 6, 2026Updated 3 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Lean Theorem Prover plugin for Vim.☆16Oct 24, 2021Updated 5 years ago
- Find out what cron is doing.☆11Apr 29, 2016Updated 10 years ago
- ☆15Jun 14, 2026Updated 4 months ago
- ☆14Aug 5, 2026Updated 2 months ago
- Self hosted automated cloud deployment and management.☆15May 18, 2017Updated 9 years ago
- Declarative, reproducible plugin manager and curated distro for Herdr — one list, a lockfile, and a safe manage pane.☆27Oct 14, 2026Updated 3 weeks ago
- Clone of http://nsz.repo.hu/git/?p=c-standard☆25May 6, 2019Updated 7 years ago
- vim configuration files☆10Jan 19, 2024Updated 2 years ago
- My custom extensions for pi agent harness☆19Jun 18, 2026Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Adam's emacs config☆14Aug 24, 2026Updated 2 months ago
- A rails gem that allows you to briefly defer execution of tasks and return from requests faster.☆10Jul 21, 2016Updated 10 years ago
- Simple 'dashboard' for Graphite, built on Sinatra.☆15Jun 17, 2014Updated 12 years ago
- Snipmate.vim support for BibTeX files☆14May 3, 2012Updated 14 years ago
- Arduino IR repeater☆11Jul 15, 2019Updated 7 years ago
- List the current content of registers☆10Mar 1, 2022Updated 4 years ago
- Integrate Paystack APIs within your NestJs application and handle Paystack webhook events with ease☆10May 5, 2022Updated 4 years ago
- Untitled PL Card Game☆20Apr 15, 2021Updated 5 years ago
- SIGPLAN website☆13Oct 23, 2026Updated last week
- 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.
- ^\..*☆21Sep 14, 2026Updated last month
- ☆13Nov 22, 2025Updated 11 months ago
- GitHub research subagent package for pi coding agent☆26May 7, 2026Updated 5 months ago
- ☆25Dec 6, 2024Updated last year
- Config files☆13Apr 27, 2024Updated 2 years ago
- Highly reproducible Nix parodies of popular songs☆11Oct 30, 2022Updated 4 years ago
- A set of code examples for the website TechyTok!☆11Dec 23, 2021Updated 4 years ago