Multi platform setup for Rocq, Rocq libraries and tools
Repository Index
47,133 repositories indexed
121–144 of 206 · Most stars
Auditable code review skill for Claude Code and Codex: four independent probes, evidence-backed findings, and a JSON-derived merge gate.
- agent-skills
- ai-code-review
- claude-code
- code-review
PostgreSQL Management Appliance
- postgres
- postgresql
- elephant-shed
- credativ
A powerful testing framework for ZSH projects
Complete Terraform documentation (core + all official providers) as PDF files. Not updating nightly anymore.
- terraform-docs
- documentation
- terraform
Boost your "productivity" to the max! A fun project made for slackers by slackers.
debmatic is a project to install the Homematic OCCU on Debian based systems (Debian, Ubuntu, Raspbian, Armbian)
- homematic
- occu
- rpi-rf-mod
- hm-mod-rpi-pcb
Advanced .bashrc and .bash_profile coming together with colorful output.
- bash-script
- bash-profile
- bash-alias
- bash-configuration
Color, ASCII-only Git prompt for zsh, bash, ksh93, mksh, pdksh, oksh, dash, yash, busybox ash, and osh
- prompt
- bash-prompt
- ksh
- mksh
Start a private VPN server in the cloud.
A minimalistic terminal theme (prompt) for sexy terminals that works in bash, fish and zsh
- zsh-theme
- bash-prompt
- bash-theme
- fish-theme
ModelSphere is an open-source LLM inference infrastructure designed to make production-grade model serving simple, efficient, and continuously optimized.
A progress spinner for ZSH scripts
A script that creates human readable symlinks for Proton game prefix (Steam Deck / SteamOS)
Real-time P2P messenger using go-ipfs pubsub. TUI. End-to-end encrypted texting & file-sharing. NAT traversal.
Prefetch any fetcher function call, e.g. a package source
📦➔🦋 Store and retrieve files on the ATmosphere
- atproto
- bluesky
- file-hosting
Minimal Fedora Hyprland install based on Omarchy
HorneroConfig is a comprehensive dotfiles framework, tailored for seamless customization of diverse window management setups across various operating systems. Just like the skilled hornero bird meticulously shapes its nest, HorneroConfig empowers you to craft a digital environment that's robust, uniquely yours, and beautifully organized!
Opinionated CachyOS/Hyprland Setup
php2shell (CVE-2026-109618 & CVE-2026-109619) security patches for EOL PHP 5.4–8.1. Official & enhanced backports for vanilla php.net and Remi Collet trees. Restores safe file uploads & progress bars without RCE. Fleet-tested on OpenCart, WordPress, HestiaCP, aaPanel.
- cve
- hestiacp
- opencart
- php
Claude Code skill for naming products, SaaS, and brands. Metaphor-driven naming that avoids AI slop.
- ai-skill
- branding
- claude
- claude-code
Alf is an out of this world super fast and configurable framework for zsh; it's modeled after Prezto and Antigen while utilizing Oh My Zsh under the covers; and offers standard defaults, aliases, functions, auto completion, automated updates and installable prompt themes and plugins.
Bash script to export android content providers data to csv