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...☆29Jul 9, 2026Updated last month
- A Dependently Timed Drum Machine Language☆11May 4, 2024Updated 2 years ago
- Efficiently recording and reproducing failures in deployed applications☆15Feb 1, 2022Updated 4 years ago
- Library of Coq proof automation☆16Apr 1, 2026Updated 4 months ago
- APRS Notification bot for various Social Media Networks☆17Nov 23, 2024Updated last year
- 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.
- Complete email addresses with nomtuch address when composing email in vim.☆20Jul 19, 2017Updated 9 years ago
- Lean Theorem Prover plugin for Vim.☆16Oct 24, 2021Updated 4 years ago
- ☆15Jun 14, 2026Updated 2 months ago
- A Coq library providing tactics to deal with hypothesis☆23Apr 13, 2026Updated 4 months ago
- My personal site.☆10Jul 7, 2026Updated last month
- Self hosted automated cloud deployment and management.☆15May 18, 2017Updated 9 years ago
- Clone of http://nsz.repo.hu/git/?p=c-standard☆24May 6, 2019Updated 7 years ago
- My custom extensions for pi agent harness☆19Jun 18, 2026Updated last month
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆11Mar 8, 2016Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Arduino IR repeater☆11Jul 15, 2019Updated 7 years ago
- ☆10May 12, 2021Updated 5 years ago
- Snipmate.vim support for BibTeX files☆14May 3, 2012Updated 14 years ago
- Simple 'dashboard' for Graphite, built on Sinatra.☆15Jun 17, 2014Updated 12 years ago
- GitHub research subagent package for pi coding agent☆25May 7, 2026Updated 3 months ago
- The anthy engine for IBus (github.com/fujiwarat/ibus-anthy:master is a devel repo)☆27Feb 22, 2026Updated 5 months ago
- Integrate Paystack APIs within your NestJs application and handle Paystack webhook events with ease☆10May 5, 2022Updated 4 years ago
- ^\..*☆21Updated this week
- A minimal, open source, offline audio recording app.☆13Apr 20, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Config files☆13Apr 27, 2024Updated 2 years ago
- Adam's emacs config☆14May 21, 2026Updated 2 months ago
- Untitled PL Card Game☆20Apr 15, 2021Updated 5 years ago
- 🐥 Gallery Viewer for Anime Girls Holding Programming Books☆12Mar 4, 2026Updated 5 months ago
- Hyprland plugin for temporarily toggling top layer plugins above fullscreen windows.☆21Jan 1, 2026Updated 7 months ago
- ☆25Dec 6, 2024Updated last year
- 🙏 pls — Portable, context-aware aliases. Keep your shell profile clean; Just say pls!☆17Jan 15, 2026Updated 7 months ago
- SIGPLAN website☆13Updated this week
- Run Dyalog APL under Docker☆12Dec 18, 2025Updated 7 months ago
- 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.
- yank history for vim via fzf☆25Jan 26, 2022Updated 4 years ago
- Homebrew tap for neovim nightly☆13Apr 26, 2024Updated 2 years ago
- rubynation talk☆16Aug 20, 2011Updated 14 years ago
- ☆12Jul 7, 2024Updated 2 years ago
- Project proposals for fundraisers and grant applications [maintainer=@fricklerhandwerk]☆14Apr 21, 2025Updated last year
- A utility to manage HTTP requests from APL☆12Jul 14, 2026Updated last month
- ☆26May 7, 2026Updated 3 months ago