Repository Index

Multi platform setup for Rocq, Rocq libraries and tools

PostgreSQL Management Appliance

• postgres
• postgresql
• elephant-shed
• credativ

Run a query in psql and output the result as CSV.

• psql
• csv
• postgres
• postgresql

Quickly navigate to a parent directory via tab-completion.

• alias
• tab-completion
• shell
• navigation

Human readable conditions for bash 👌

• bash
• shell

Translated🐋 Complete guide in Russian: how to install and run DeepSeek locally (V4, R1) on PC, Mac and server — Ollama, llama.cpp, LM Studio, vLLM, Open WebUI, API, RAG, agents, fine-tuning, best tips and tricks

• ai-agents
• deepseek
• deepseek-r1
• deepseek-v4

A ready-to-use Node-RED setup for home automation

• nodered
• smarthome
• mqtt
• zigbee2mqtt

This is the Zabbix monitoring template for PostgreSQL Database.

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!

• dotfiles
• dotfiles-generator
• dotfiles-linux
• debian

Deno plugin for the asdf version manager [maintainer=LOOKING FOR A MAINTAINER! SUBMIT A PULL REQUEST TO THE INFRASTRUCTURE REPOSITORY!]

• asdf-plugin
• asdf

report top-level postgres stats

Quickly navigate GitHub from the command line.

Make MySQL behave more like newer (or older) releases

Exploring Game Boy programming techniques.

HomeServer Infrastructure and Integrated Installer

q - vim like macro registers for your bash and zsh shell!

• zsh
• vim
• shell
• registers

⚡ Quickly setup my Raspberry Pi with Ansible !

• setup
• ansible
• automation
• raspberrypi

Helmut Hoffer von Ankershoffen experimenting with auto-provisioned RPi cluster running K8S on bare-metal

• rpi
• k8s
• ansible
• kadmin

lf.sh is a Bash utility to help you quickly search arbitrary files or search text from files.

• bash
• shell-script
• search-interface
• grep

Tool for comparing Postgres database schemas

• shell
• postgresql
• schema
• comparison

autocrack adds queue support for hashcat cracking.

🧩 Template for a typical module written on Go.

• go
• golang
• module
• template

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]

• docker-image
• dockerfile
• opam
• coq

Bash implementation of semantic versioning

• semver
• bash