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...☆29Aug 31, 2025Updated 7 months ago
- A Dependently Timed Drum Machine Language☆11May 4, 2024Updated last year
- Library of Coq proof automation☆16Apr 1, 2026Updated 2 weeks ago
- ☆15Dec 12, 2025Updated 4 months ago
- 🙏 pls — Portable, context-aware aliases. Keep your shell profile clean; Just say pls!☆17Jan 15, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- APRS Notification bot for various Social Media Networks☆16Nov 23, 2024Updated last year
- Complete email addresses with nomtuch address when composing email in vim.☆20Jul 19, 2017Updated 8 years ago
- ☆22Updated this week
- Arduino IR repeater☆11Jul 15, 2019Updated 6 years ago
- Lean Theorem Prover plugin for Vim.☆16Oct 24, 2021Updated 4 years ago
- A Coq library providing tactics to deal with hypothesis☆23Updated this week
- My personal site.☆10Apr 7, 2026Updated last week
- Clone of http://nsz.repo.hu/git/?p=c-standard☆23May 6, 2019Updated 6 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Mar 8, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Learn nix by example☆11Aug 11, 2022Updated 3 years ago
- Snipmate.vim support for BibTeX files☆14May 3, 2012Updated 13 years ago
- A supercharged, QML-based Window Switcher/Exposé for Hyprland powered by Quickshell.☆69Dec 12, 2025Updated 4 months ago
- The anthy engine for IBus (github.com/fujiwarat/ibus-anthy:master is a devel repo)☆26Feb 22, 2026Updated last month
- ^\..*☆21Apr 1, 2026Updated 2 weeks ago
- Integrate Paystack APIs within your NestJs application and handle Paystack webhook events with ease☆10May 5, 2022Updated 3 years ago
- Config files☆13Apr 27, 2024Updated last year
- Adam's emacs config☆14Mar 31, 2026Updated 2 weeks ago
- ☆25Dec 6, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Untitled PL Card Game☆20Apr 15, 2021Updated 5 years ago
- Translate Python code to Hy code☆20Jan 14, 2026Updated 3 months ago
- The reddit open source fork powering SaidIt☆15Jul 19, 2023Updated 2 years ago
- A minimal, open source, offline audio recording app.☆12Apr 20, 2022Updated 3 years ago
- sitemap-generator is a Rails plugin that makes it easy to generate sitemaps.☆53Oct 10, 2011Updated 14 years ago
- Run Dyalog APL under Docker☆12Dec 18, 2025Updated 3 months ago
- ☆10May 12, 2021Updated 4 years ago
- SIGPLAN website☆13Apr 6, 2026Updated last week
- Simple TUI client for Gmail, using the Gmail API☆26Feb 24, 2021Updated 5 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.
- Ruby and Rails core extensions used by GitHub.☆50Dec 20, 2013Updated 12 years ago
- .files☆31Apr 5, 2026Updated last week
- ☆12Jul 7, 2024Updated last year
- A utility to manage HTTP requests from APL☆12Updated this week
- An Image Dictionary for Co-dfns☆15Jun 16, 2017Updated 8 years ago
- Project proposals for fundraisers and grant applications [maintainer=@fricklerhandwerk]☆15Apr 21, 2025Updated 11 months ago
- Spin-off book for tmuxp's documentation of "The Tao of Tmux"☆15Nov 15, 2023Updated 2 years ago